From grlmc at grlmc.com Mon May 1 00:46:34 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 01 May 2017 00:46:34 +0200 Subject: DeepLearn 2017: early registration May 19 Message-ID: <545102060a010b00015e510500005a52545101540608005155510e005502060200540d0e0b5c040452020453545154@grlmc_ip-zone_com-6> DeepLearn 2017: early registration May 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: May 19, 2017 ---   ********************************************************   SCOPE:   DeepLearn 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 deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 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, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners 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, 3-4 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:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/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 comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From griggio at fbk.eu Tue May 2 09:19:52 2017 From: griggio at fbk.eu (Alberto Griggio) Date: Tue, 02 May 2017 09:19:52 +0200 Subject: Call for Papers: HVCS'17 - 4th Workshop on Horn Clauses for Verification and Synthesis Message-ID: <20170502071952.8F20F161349@kyrene.fbk.eu> (apologies for multiple copies) Call for Papers 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with CADE 2017 August 7, 2017 - Gothenburg, Sweden http://software.imdea.org/Conferences/hcvs17 Invited speakers: - Christoph Weidenbach, Max-Planck-Institut fuer Informatik - Arie Gurfinkel, University of Waterloo Submission deadlines: - Paper submission: June 11, 2017 - Paper notification: July 3, 2017 - Workshop: August 7, 2017 Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis. Horn clauses for verification and synthesis have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences. The workshop follows three previous meetings: HCVS 2016 in Eindhoven, The Netherlands (w/ETAPS), HCVS 2015 in San Francisco, CA, USA (w/CAV), and HCVS 2014 in Vienna, Austria (w/VSL). Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: - Analysis and verification of programs and systems of various kinds (e.g., imperative, object-oriented, functional, logic, higher-order, concurrent) - Program synthesis - Program testing - Program transformation - Constraint solving - Type systems - Case studies and tools - Challenging problems We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Program Committee: - Nikolaj Bjorner (Microsoft Research) - Mats Carlsson (SICS) - Grigory Fedyukovich (University of Washington) - Fabio Fioravanti (University of Chieti-Pescara) - John Gallagher (Roskilde University) - Pierre Ganty (IMDEA Software Institute) - Alberto Griggio (Fondazione Bruno Kessler - chair) - Gopal Gupta (U.T. Dallas) - Manuel V. Hermenegildo (T.U. Madrid and IMDEA Software Institute - chair) - Michael Leuschel (University of D�sseldorf) - Pedro Lopez-Garcia (CSIC) - David Monniaux (University of Grenoble) - Jorge A. Navas (SRI International) - Maurizio Proietti (IASI-CNR) - Philipp Ruemmer (Uppsala University) - Andrey Rybalchenko (Microsoft Research) - Valerio Senni (ALES - UTRC) Submission has to be done in one of the following formats: - Regular papers (up to 12 pages plus bibliography, typeset in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. - Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions. - Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format, and will not be included in the workshop post-proceedings. All submitted papers will be refereed by the program committee and will be selected for inclusion in accordance with the referee reports. Accepted regular papers and extended abstracts will be published electronically as a volume in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series, see http://www.eptcs.org/ Authors of accepted papers are required to ensure that at least one of them will be present at the workshop. Papers must be submitted through the EasyChair system using the web page: https://easychair.org/conferences/?conf=hcvs2017. From rl.stpuu at gmail.com Tue May 2 14:28:35 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 2 May 2017 14:28:35 +0200 Subject: CfP: LACompLing2017 Extended Deadline: * May 10 (any time on Earth), 2017 * Message-ID: CALL FOR PAPERS Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August 16-19, 2017 http://staff.math.su.se/rloukanova/LACompLing17.html * Extended submission deadline for regular papers * ** May 10 (any time on Earth), 2017 ** ================================================ Affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017 Stockholm, 20--26 August 2017 Co-located with: Logic in Stockholm 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ================================================= DESCRIPTION == Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress. -------------------------------- SCOPE == The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches. The topics of LACompLing2017 include, but are not limited to: - Computational theories of human language - Computational syntax - Computational semantics - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Computational grammar - Logic and reasoning systems for linguistics - Type theories for linguistics - Models of computation and algorithms for linguistics - Language processing - Parsing algorithms - Generation of language from semantic representations - Large-scale grammars of natural languages - Multilingual processing - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language theories based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES == Submission deadline for regular papers: ** May 10 (any time on Earth), 2017 ** Notification of paper acceptance: May 31, 2017 Abstracts of short presentations: June 4, 2017 Notifications for short presentations: June 12, 2017 Deadline for final submissions: June 25, 2017 Workshop: August 16-19, 2017 SUBMISSION INSTRUCTIONS == - Regular papers: between 10-15 pages, including figures and references, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - Abstracts of short presentations: not more than 1 page, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - We invite original papers that are not submitted concurrently to another conference or for publication elsewhere - The submissions of proposed papers and abstracts of short presentations have to be in pdf - The camera-ready submissions require the pdf of the papers and their LaTeX sources The submissions are via the EasyChair management system of LACompLing2017: https://easychair.org/conferences/?conf=lacompling2017 PUBLICATIONS == - The proceedings of LACompLing2017 will be published digitally by the DiVA system of Stockholm University: http://su.diva-portal.org - Improved and extended versions of selected papers, which have been presented at the workshop LACompLing2017, will be published by the Journal of Logic, Language and Information, JoLLI, after the workshop. FEATURED INVITED SPEAKERS == Robin Cooper, University of Gothenburg, Sweden Ann Copestake, University of Cambridge, UK Lars Hellan, Norwegian University of Science and Technology, Norway Lucas Champollion, New York University, USA Nikola Kompa, University of Osnabrück, Germany Louise McNally, Universitat Pompeu Fabra, Spain Joakim Nivre, Uppsala University, Sweden Mila Vulchanova, Norwegian University of Science and Technology, Norway Markus Werning, Ruhr University Bochum, Germany and more ... ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Valeria de Paiva, Nuance Communications, USA Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Reinhard Muskens, Tilburg University, The Netherlands CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Valeria de Paiva (valeria.depaiva at gmail.com) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fscozzari at unich.it Wed May 3 10:22:34 2017 From: fscozzari at unich.it (Francesca Scozzari) Date: Wed, 3 May 2017 10:22:34 +0200 Subject: NSAD 2017 - Extended deadlines Message-ID: Numerical and Symbolic Abstract Domains (NSAD 2017) 7th International Workshop New York City, NY, USA - August 29, 2017 https://www.sci.unich.it/nsad2017/ ****** EXTENDED DEADLINES ****** Abstract submission: May 10, 2017 (AoE) --- EXTENDED Full paper submission: May 15, 2017 (AoE) --- EXTENDED ************************************ SCOPE Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. Many abstract domains have been designed so far: numerical domains (intervals, congruences, polyhedra, polynomials, etc.), symbolic domains (shape domains, trees, etc.), but also domain operators (products, powersets, completions, etc.), and have been applied to several kinds of static analyses (safety, termination, probability, etc.). The 7th International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field. TOPICS The program of NSAD 2017 will consist mainly of presentations of refereed papers. Contributions are welcomed on all aspects of abstract domains, including, but not limited to: numeric abstract domains symbolic abstract domains extrapolations and accelerations compositions and operations on abstract domains data structures and algorithms for abstract domains novel applications of abstract domains implementations practical experiments and comparisons implementations VENUE NSAD 2017 is co-located with SAS 2017 and takes place in the Forbes Building of the New York University. PUBLICATION NSAD 2017 proceedings will be published electronically in a volume of the Electronic Notes in Theoretical Computer Science series by ScienceDirect©, Elsevier. IMPORTANT DATES --- EXTENDED --- Abstract submission: May 10, 2017 (AoE) Full paper submission: May 15, 2017 (AoE) Notification: June 26, 2017 Final version: July 10, 2017 Workshop day: August 29, 2017 PROGRAM CHAIR Francesca Scozzari (Università di Chieti-Pescara, Italy) PROGRAM COMMITTEE Gianluca Amato (Università di Chieti-Pescara, Italy) Roberto Bagnara (University of Parma and BUGSENG, Italy) Arlen Cox (IDA Center for Computing Sciences, USA) Laure Gonnord (University of Lyon, France) Denis Gopan (GrammaTech, USA) Andy King (University of Kent, UK) Jorge A. Navas (SRI International, USA) Thomas Reps (University of Wisconsin-Madison and GrammaTech, USA) Axel Simon (Google, USA) LOCAL CHAIR Patrick Cousot (New York University, USA) SUBMISSION Submitted papers should not exceed 12 pages including bibliography, and follow the ENTCS guidelines. Submitted papers may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion. Papers must be written and presented in English, and describe original work that does not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. All submitted papers will be peer-reviewed by the program committee. Submission website: https://easychair.org/conferences/?conf=nsad2017 From riccardo.zese at unife.it Wed May 3 15:44:42 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Wed, 3 May 2017 15:44:42 +0200 Subject: CFP: PLP 2017 - Probabilistic logic programming 2017 Message-ID: * Please accept our apologies if you receive multiple copies of this call * PLP-2017: The Fourth Workshop on Probabilistic Logic Programming ------------------------------ ---------------------------------- A workshop of the 27th International Conference on Inductive Logic Programming 7 September 2017 Orléans, France http://stoics.org.uk/plp/plp2017/ Deadline for submissions: 11 June 2017 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After three successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, the fourth edition of PLP is held at the ILP conference in Orléans. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Sun, 11th June 2017 Notification to authors: Tue, 11th July 2017 Camera ready version due: Tue, 25th July 2017 Workshop data: Thu, 7th September 2017 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- To be announced Programme Committee ----- Christian Theil Have (Copenhagen University, Denmark) [co-chair] Riccardo Zese (University of Ferrara, Italy) [co-chair] Samer Abdallah (University College London) Elena Bellodi (University of Ferrara, Italy) Fabio Cozman (University of Sao Paulo, Brasil) Yoshitaka Kameya (Meijo University, Japan) Matthias Nickles (NUI Galway, Ireland) Aline Paes (Universidade Federal Fluminense, Brazil) Taisuke Sato (NII/SONAR, Japan) Herbert Wiklicky (Imperial College London, UK) Theresa Swift (CENTRIA, Portugal) Senior Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Riccardo Zese, PhD ENDIF - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From adrianrp at unimelb.edu.au Thu May 4 09:31:49 2017 From: adrianrp at unimelb.edu.au (Adrian Pearce) Date: Thu, 4 May 2017 07:31:49 +0000 Subject: Call For Papers: IJCAI-17 Workshop on Impedance Matching in Cognitive Partnerships (Papers due June 1, 2017) Message-ID: Call For Papers: IJCAI-17 Workshop on Impedance Matching in Cognitive Partnerships (Papers due June 1, 2017) https://sites.google.com/view/ijcai-17cognitivepartnerships/home Impedance Matching in Cognitive Partnerships will be hosted as an IJCAI-17 workshop, and will take place in Melbourne, Australia, August 21, 2017. Important Dates June 1, 2017 - Paper Submission Deadline (Extended) Monday August 21, 2017 - Workshop Date Overview Human-Autonomy Teaming (HAT) describes situations where people cooperate with artificially intelligent autonomous agents to perform some function. Cognitive partnerships describe situations where humans and technical artefacts work together to solve problems or conduct research (Nersessian, Kurz-Milcke, Newstetter, & Davies, 2003). In a general sense, we can envision heterogeneous teams composed of autonomous participants each using either human or artificial intelligence. These relationships can take on different structures depending on the level of supervision the humans can exert and the level of intelligence and autonomy provided by the non-human agents. This workshop will explore cognitive partnerships among heterogeneous autonomous team members, whether they be human or artificial. People often struggle to work through the impedance mismatches caused by varying backgrounds, professional fields, and goals. The mismatches between human and technological artifacts bring their own challenges. These challenges are a critical area of research for the field of Artificial Intelligence (AI). Impedance mismatches affect such aspects of teamwork as trust mechanisms, cooperative learning, understanding the division of cognitive labour, alignment of goals, adaptability of policies and plans, the granularity of policies and plans, and team roles. We invite papers targeting any areas of impedance mismatch between humans and autonomous AI. Topics Some of the specific topics of interest include, but are not limited to the following: Exchange of goals, domain knowledge, and beliefs about the current situation * Trust and transparency in decision making * Communication and planning at differing levels of abstraction * Activity Recognition and Task Models * Process Mining and Learning about Teammates * Roles, strategies, and the division of labour * Joint adaptation and the effects of adaptation on partnership Other relevant areas of interest include: * Machine learning and other AI techniques supporting HAT and Cognitive Partnerships. * Architecture and models supporting HAT and Cognitive Partnerships. * Multi-agent systems supporting HAT and Cognitive Partnerships. Organizing Committee Douglas S. Lange (Space and Naval Warfare Systems Center, Pacific) Luke B. Marsh (Defence Science and Technology Group) Adrian R. Pearce (The University of Melbourne) From geoff at cs.miami.edu Thu May 4 15:14:00 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Thu, 4 May 2017 09:14:00 -0400 (EDT) Subject: GCAI 2017 in Miami - Call for Papers Message-ID: <20170504131400.4143F12152C@mcclellan.cs.miami.edu> The 3rd Global Conference on Artificial Intelligence (GCAI 2017) Miami, USA, 18-22 October 2017 http://easychair.org/smart-program/GCAI2017/ (Abstracts: 30 June, Papers: 7 July) The 3rd Global Conference on Artificial Intelligence (GCAI 2017) will be held in Miami, USA, at the Courtyard Marriott hotel in Coconut Grove, 18-22 October 2017. The conference, which addresses all aspects of artificial intelligence, is being organized by LRG (http://www.lrg.global) and the University of Miami. The program chairs are Christoph Benzmueller, Christine Lisetti and Martin Theobald. The conference chair is Geoff Sutcliffe. SUBMISSION Submissions in all areas of artifical intelligence are welcome. Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Affective computing + Robotics Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and Machine Ethics + Mathematics and the Sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education DATES + Abstract registration: 30 June, 2017 + Submission: 7 July, 2017 + Notification: 11 August, 2017 + Final version: 25 August, 2017 + Early registration deadline: tab + Workshops: 18 October 2017 + Conference: 19-22 October, 2016 SUBMISSION and PUBLICATION Submission is via EasyChair at https://easychair.org/conferences/?conf=gcai2017 The proceedings will be published by EasyChair Publications in the EPiC Series in Computing. The volume will be open access and authors will retain copyright. INVITED SPEAKERS + Guy van den Broeck, UCLA, USA + Marijn Heule, University of Texas at Austin, USA + tba PROGRAMME COMMITTEE Jose Julio Alferes (Universidade NOVA de Lisboa) Serge Autexier (DFKI) Peter Baumgartner (National ICT Australia) Christoph Benzmueller (Freie Universitaet Berlin) - chair Philippe Besnard (CNRS / IRIT) Richard Booth (Cardiff University) James Delgrande (Simon Fraser University) Wolfgang Faber (University of Huddersfield) Gerhard Friedrich (Alpen-Adria-Universitaet Klagenfurt) Thom Fruehwirth (University of Ulm) Daniel Garijo (UCLA) Ernesto Jimenez-Ruiz (University of Oxford) Gabriele Kern-Isberner (Technische Universitaet Dortmund) Roman Kontchakov (Birkbeck, University of London) Tim Landgraf (Freie Universitaet Berlin) Jerome Lang (CNRS, LAMSADE, Universite Paris-Dauphine) Sanjiang Li (University of Technology Sydney) Christine Lisetti (Florida International University) - chair Ana Gabriela Maguitman (Universidad Nacional del Sur) George Metcalfe (University of Bern) Angelo Montanari (University of Udine) Till Mossakowski (University of Magdeburg) Xavier Parent (University of Luxembourg) Radu-Emil Precup (Politehnica University of Timisoara) Dumitru Roman (SINTEF / University of Oslo) Marco Roveri (FBK-irst) Steven Schockaert (Cardiff University) Magy Seif El-Nasr (Northeastern University) Thomas Stuetzle (Universite Libre de Bruxelles (ULB)) Martin Theobald (Universite du Luxembourg) - chair Juergen Umbrich (Vienna University of Economy and Business (WU)) *** further PC members will be added *** From Tomasz.Kucner at oru.se Thu May 4 17:33:38 2017 From: Tomasz.Kucner at oru.se (Tomasz Kucner) Date: Thu, 4 May 2017 15:33:38 +0000 Subject: [meetings] CFP: IROS 2017 Workshop on "Introspective Methods for Reliable Autonomy" (IMRA-2017) Message-ID: <5AF1BDBDD103AC4EA70A706E0EAE3E70314F6B35@mailboxo02.orunet.oru.se> ============================================================ Call for papers IROS 2017 Workshop on "Introspective Methods for Reliable Autonomy" (IMRA-2017) http://mrolab.eu/imra.html http://www.iros2017.org/ September 24, 2017 Vancouver, Canada Submission deadline: July 15, 2017 ============================================================ As humans, understanding our own limitations, failures and shortcomings is a key for improvement and development. Correspondingly, equipping robots with a set of skills that allows them to assess the quality of their sensory data, internal models, used methods and state of the hardware is expected to greatly improve the overall performance of an autonomous system. The aim of this workshop is to discuss the following research question: How to assess the quality of internal models, methods and sensor data, used by robots and how to to respond to the this assessment? In other words, how to improve robots' introspective abilities? Research on introspection directly or indirectly relates to other research topics such as safety, active perception and mapping. Accordingly, development of introspection in robotics is expected to have a direct impact on a large variety of application areas (most notably service robots in long-term operation, and search and rescue robots). Introspection has a number of benefits for robotics: (i) can be used to estimate the likelihood of failure and prevent the failure, (ii) improves safety by assessing the internal state of the robot, (iii) can speed up the recovery and/or repair process by providing detailed information to a human operator or be a part of self-repair process, (iv) it is crucial to make decisions if it is safe to execute the assigned mission. ============================================================ Topics of interest Topics of contribution that are relevant to this workshop include, but are not limited to: 1) Internal assessment * Map quality assessment * Perception quality assessment * Classification quality assessment 2) Analysis * Failure analysis * Execution monitoring 3) Introspection-related actions * Active learning * Failure recovery * Reconfigurable robots * Planning with uncertainty ============================================================ Paper submission Unpublished original contributions may be submitted to the workshop. The criteria for acceptance is the work's relation to the topics of the workshop and technical quality. We also encourage submission of position papers that address the challenge(s) of introspection methods for reliable autonomy. Papers can be submitted until the submission deadline (see below) via EasyChair (https://easychair.org/conferences/?conf=imra2017). Submissions, to be uploaded as a PDF file, should be no longer than eight pages, including references. Papers should be formatted with the IEEE Conference Latex or Word style (http://ras.papercept.net/conferences/support/support.php). All papers will go through a single-blind peer review with at least two reviewers. Accepted papers will be presented during the workshop and published on the workshop website. ============================================================ Important Dates - Paper submission deadline: July 15, 2017 - Author notification: August 21, 2017 - Camera-ready submission: September 15, 2017 - Workshop date: September 24, 2017 ============================================================ List of invited speakers Martial Hebert - Carnegie Mellon University - USA (Confirmed) Rudolph Triebel - German Aerospace Center (DLR) - Germany (Confirmed) Leon Kester - TNO - Netherlands (Confirmed) Ingmar Posner - University of Oxford - UK (Confirmed) Andreas Birk - Jacobs University - Germany (Confirmed) Michael Ruhnke - Marble Robot Inc. - USA (Confirmed) Raymond Sheh - Curtin University - Australia (Confirmed) Nick Hawes - University of Birmingham - UK ============================================================ Workshop organisers Tomasz Piotr Kucner AASS Research Centre, School of Science and Technology, Orebro University Soren Schwertfeger STAR Lab, School of Information Science and Technology of ShanghaiTech University Martin Magnusson AASS Research Centre, School of Science and Technology, Orebro University Achim J. Lilienthal AASS Research Centre, School of Science and Technology, Orebro University -- ///////////////////////// Tomasz Piotr Kucner PhD Student AASS Research Centre, Dept. of Computer Science, Örebro University, SE - 70182 Örebro, Sweden Room: T1105, Phone: (+46/0) 19 - 30 1482 Email: tomasz.kucner at oru.se -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Thu May 4 18:18:42 2017 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Thu, 4 May 2017 18:18:42 +0200 Subject: ESSLLI 2018: Logic, Language & Information, Sofia (Bulgaria), 6-17 Aug 2018 Message-ID: <38217053-2f7f-4e7d-7792-f903d1213977@in.tu-clausthal.de> ******************************************************************** * *** Call for Course and Workshop Proposals *** * * * * 30th European Summer School in Logic, Language and Information * * ESSLLI 2018 * * 6-17 August, 2018, Sofia, Bulgaria * * http://esslli2018.folli.info/ * ******************************************************************** IMPORTANT DATES 15 June 2017: Proposal submission deadline 15 September 2017: Notification SUBMISSION PORTAL Please submit your proposals here: https://easychair.org/conferences/?conf=esslli2018 TOPICS AND FORMAT Proposals for courses and workshops at ESSLLI 2018 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI programme committee reserves the right to accept just one of the two proposals. All instructional and organizational work at ESSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel and accommodation expenses up to a level to be determined and communicated with the proposal notification. ESSLLI can only guarantee reimbursement for at most one course/workshop organizer, and can not guarantee full reimbursement of travel costs for lecturers or organizers from outside of Europe. The ESSLLI organizers would appreciate any help in controlling the School's expenses by seeking complete coverage of travel and accommodation expenses from other sources. The organizers want to point at the possibility of an EACSL sponsorship, mentioned at the end of this call CATEGORIES Each proposal should fall under one of the following categories. * FOUNDATIONAL COURSES * Such courses are designed to present the basics of a research area, to people with no prior knowledge in that area. They should be of elementary level, without prerequisites in the course's topic, though possibly assuming a level of general scientific maturity in the relevant discipline. They should enable researchers from related disciplines to develop a level of comfort with the fundamental concepts and techniques of the course's topic, thereby contributing to the interdisciplinary nature of our research community. * INTRODUCTORY COURSES * Introductory courses are central to ESSLLI's mission. They are intended to introduce a research field to students, young researchers, and other non-specialists, and to foster a sound understanding of its basic methods and techniques. Such courses should enable researchers from related disciplines to develop some comfort and competence in the topic considered. Introductory courses in a cross-disciplinary area may presuppose general knowledge of the related disciplines. * ADVANCED COURSES * Advanced courses are targeted primarily to graduate students who wish to acquire a level of comfort and understanding in the current research of a field. * WORKSHOPS * Workshops focus on specialized topics, usually of current interest. Workshops organizers are responsible for soliciting papers and selecting the workshop programme. They are also responsible for publishing proceedings if they decide to have proceedings. PROPOSAL GUIDELINES Course and workshop proposals should follow closely the following guidelines to ensure full consideration. Course and Workshop proposals can be submitted by no more than two lecturers/organizers and they are presented by no more than these two lecturers/organizers. All instructors and organizers must possess a PhD or equivalent degree by the submission deadline. Course proposals should mention explicitly the intended course category. Proposals for introductory courses should indicate the intended level, for example as it relates to standard textbooks and monographs in the area. Proposals for advanced courses should specify the prerequisites in detail. Proposals must be submitted in PDF format via: https://easychair.org/conferences/?conf=esslli2018 and include all of the following: a. Personal information for each proposer: Name, affiliation, contact address, email, homepage (optional) b. General proposal information: Title, category c. Contents information: Abstract of up to 150 words Motivation and description (up to two pages) Tentative outline Expected level and prerequisites Appropriate references (e.g. textbooks, monographs, proceedings, surveys) d. Practical information: Relevant preceding meetings and events, if applicable Potential external funding for participants EACSL SPONSORSHIP The EACSL offers to act as a sponsor for one course or workshop in the areas of Logic and Computation covered by the Computer Science Logic (CSL) conferences. This course or workshop will be designated an EACSL course/workshop. If you wish to be considered for this, please indicate so on your proposal. PROGRAMME COMMITTEE Chair: Laura Kallmeyer (Heinrich-Heine-Universitaet Duesseldorf, Germany) Local co-chair: Galia Angelova (IICT-BAS, Sofia, Bulgaria) Language and Computation: Noah Goodman (Stanford University, USA) Barbara Plank (University of Groningen, The Netherlands) Language and Logic: Márta Abrusán (CNRS, IRIT Toulouse & IJN Paris, France) Robert Levine (Ohio State University, USA) Logic and Computation: Wojciech Jamroga (Polish Academy of Sciences, Warsaw, Poland) Elena Ravve (Ort Braude College, Karmiel, Israel) FURTHER INFORMATION: Please send any queries you may have to laura dot kallmeyer at gmail dot com, or to the relevant Area Chairs. -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From pokahr at informatik.uni-hamburg.de Fri May 5 16:25:43 2017 From: pokahr at informatik.uni-hamburg.de (Alexander Pokahr) Date: Fri, 5 May 2017 16:25:43 +0200 Subject: CFP: Joint MATES and WI PhD Mentoring track (German Conference on Multiagent System Technologies 2017 and IEEE/WIC/ACM Conference on Web Intelligence 2017) Message-ID: <953fea86-eaf9-f8f5-3974-553f408a1cc1@informatik.uni-hamburg.de> [Apologies if you receive this more than once] Please forward this CFP to anyone who might be interested. ======================================================================== Call for papers for the Joint PhD Mentoring track IEEE/WIC/ACM International Conference on Web Intelligence 2017 (WI'17) 15th German Conference on Multiagent System Technologies (MATES'17) August 23-26, 2017, Leipzig, Germany Conference Websites: http://webintelligence2017.com/ http://mates2017.uni-trier.de ======================================================================== WI SPONSORS ========================= Association for Computing Machinery (ACM) IEEE Computer Society Web Intelligence Consortium (WIC) IMPORTANT DATES ========================= Submission of PhD Mentoring Papers: May 14, 2017 Notification of PhD Mentoring Papers acceptance: Jun. 02, 2017 Camera-Ready Papers: Jun. 18, 2017 Main conference: Aug. 23-26, 2017 AIMS AND SCOPE ========================= The WI/MATES PhD mentoring (doctoral consortium) is meant to support PhD students working in the area of web intelligence and/or multi-agent system technologies. It offers a platform to researchers in all stages of their PhD studies to present and discuss their ideas in a professional academic environment. The program provides an opportunity to PhD students to interact with their peers as well as with experienced researchers in the field, and to receive valuable feedback on their work and advice for their future careers. In particular, each student will be assigned an experienced researcher in the relevant field who will be available for personal interactions during the day of the WI/MATES PhD mentoring track. More information is to be found on the WI or MATES homepages. The main goals of the PhD mentoring session are - to give PhD researchers an opportunity to get feedback and suggestion on their work from experienced researchers and their peers. - to interact with other PhD researchers and to get an overview of the field of multi-agent systems. - to get advice for their (academic) career. - to provide networking opportunities. SPECIAL PANEL DISCUSSION ========================= In addition to individual mentoring this year's PhD mentoring will offer for all participants a plenary session. All participants will have the possibility to discuss with well-recognized researchers a current topic fundamental to virtually all fields of computer science, but also currently for a large number of other disciplines: -- REPRODUCABILITY: A PROBLEM FOR AI RESEARCH? -- While at the first hand reproducibility does not seem to be an big issue in IT; as computers are deterministic machines, reproducing results from a calculation seems to be an rather easy issue. However, anyone who tried to re-implement an algorithm from a paper knows some of the difficulties. Often descriptions are abstract, and relevant parts have been omitted. Or our research is based on data sources. Often it is not clear, if the data really represents the total population, or is biased to one sub-group. Thus, even if, methods are well known, and can be re-implemented, using the same data set might be dangerous, as a conclusion might be induced by some bias in the available data. These and other question we will put at our panel, and discuss if with them, how proper research can look like in our fields. TOPICS of WEB INTELLIGENCE ========================= Track-1: Collective Intelligence Track-2: Data Science Track-3: Human-Centric Computing Track-4: Knowledge Management Track-5: Network Science For more detailed information see: http://webintelligence2017.com/participants/submissions/ TOPICS of MATES ========================= MATES 2017 covers all areas of intelligent agents and multiagent system technologies. For more detailed information see: http://mates2017.uni-trier.de/ PhD-Paper Submission: ========================= Submissions to the PhD mentoring session (PhD short papers) should provide information on the following aspects of the PhD work: - Motivation - State of the Art - Methodical approach - Preliminary results/findings (optional - Affiliation and contact details of the PhD supervisor PhD papers can be up to 6 pages long, written in English and formatted according to the Springer LNCS style (see below). The selection process takes into account the quality of the submitted PhD short paper which will be peer-reviewed by members of the MATES PhD mentoring program committee. The PhD short papers must be submitted electronically via e-mail to PhDChair at webintelligence2017.com Presentation and Publication: ============================= All accepted PhD short papers will be assigned a slot for oral presentation during the WI/MATES PhD mentoring session. In addition, a selected set of these accepted papers describing original, unpublished work mature enough for publication will be included in the WI resp. MATES proceedings. Doctoral Consortium chairs: =========================== Alexander Pokahr (Universität Hamburg, DE) René Schumann (HES-SO Valais Wallis, CH) From grlmc at grlmc.com Sun May 7 21:56:59 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 07 May 2017 21:56:59 +0200 Subject: AlCoB 2017: call for participation Message-ID: <545102060a010b000255560b0f0a5a51010454585604060504560c08520e5a055707510e0b58015052035651505653@grlmc_ip-zone_com-6> AlCoB 2017: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 4th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2017 Aveiro, Portugal June 5-6, 2017 Organized by: Center for Research & Development in Mathematics and Applications (CIDMA) Institute of Electronics and Informatics Engineering of Aveiro (IEETA) University of Aveiro Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/AlCoB2017/ ********************************************************************************** PROGRAM Monday, June 5 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Michael Biehl: Biomedical Applications of Prototype Based Classifiers and Relevance Learning - Invited lecture 10:30 - 11:00    Coffee break 11:00 - 11:50 Stefano Beretta, Paola Bonizzoni, Luca Denti, Marco Previtali and Raffaella Rizzi: Mapping RNA-seq Data to a Transcript Graph via Approximate Pattern Matching to a Hypertext Alessio Conte, Roberto Grossi, Andrea Marino, Lorenzo Tattini and Luca Versari: A Fast Algorithm for Large Common Connected Induced Subgraphs 11:50 - 12:05    Break 12:05 - 12:55 Javlon E. Isomurodov, Alexander A. Loboda and Alexey A. Sergushichev: Ranking Vertices for Active Module Recovery Problem John L. Pfaltz: Computational Processes that Appear to Model Human Memory 12:55 - 14:25    Lunch 14:25 - 15:15 Philip J. Gerrish and Nick Hengartner: Inferring the Distribution of Fitness Effects (DFE) of Newly-arising Mutations Using Samples Taken from Evolving Populations in Real Time Jesper Jansson, Ramesh Rajaby and Wing-Kin Sung: An Efficient Algorithm for the Rooted Triplet Distance between Galled Trees 15:15 - 15:30    Break and Group photo 15:30 - 16:20    Benedict Paten: Describing the Local Structure of Sequence Graphs - Invited lecture 16:20 - 16:35    Break 16:35 -    18:05    Poster presentations Martin Ayling and Richard Leggett. MetaCortex: Assembling Variation in Metagenomics Gregory Farrant, Hoebeke Mark, Frédéric Partensky, Gwendoline Andrès, Erwan Corre and Laurence Garczarek. WiseScaffolder: An Algorithm for the Semi-automatic Scaffolding of Next Generation Sequencing Data Daniel Figueiredo and Eugénio Rocha. sDL: A Prover for Hybrid Systems César González, Mariano Pérez-Martínez, Juan M. Orduña, Javier Chaves-Martinez and Ana Barbara Garcia-Garcia. On the Use of Bit Arrays in the Detection of DNA Regions with Methylated Cytosines Morteza Hosseini, Diogo Pratas and Armando J. Pinho. Quantifying Inverted Repeats in DNA Sequences Haneen Najjar, Nagam Khoury and Alexander Bolshoy. Quasi-omnipresent N-grams in M Prokaryotic Genomes John Santerre, James Davis, Fangfang Xia and Rick Stevens. Machine Learning for the Phenotype to Genotype Problem Antonio J. Tallón-Ballesteros and María Rodríguez-Romero. Multilayer Perceptron Based on Hyperbolic Tangent Hidden Nodes. An Experimental Study Antonio J. Tallón-Ballesteros, Luis Rus-Pegalajar, María Rodríguez-Romero and Jonathan E. Benavides-Vallejo. Ranking-based Feature Selection in Microarray Problems 18:15 - 19:15    Touristic visit --- Tuesday, June 6 09:00 - 09:50    Marie-France Sagot: Algorithmically Exploring and Exploiting Interspecific Interactions - Invited lecture 09:50 - 10:20    Coffee break 10:20 - 11:10 Alex Ozdemir, Michael Sheely, Daniel Bork, Ricson Cheng, Reyna Hulett, Jean Sung, Jincheng Wang and Ran Libeskind-Hadas: Clustering the Space of Maximum Parsimony Reconciliations in the Duplication-Transfer-Loss Model T.M. Rezwanul Islam and Ian McQuillan: CSA-X: Modularized Constrained Multiple Sequence Alignment 11:10 - 11:25    Break 11:25 - 12:15 Ozan Kahramanogullari: Quantifying Information Flow in Chemical Reaction Networks Gabriel H.G. Silva, Edans F.O. Sandes, George Teodoro and Alba C.M A. Melo: Parallel Biological Sequence Comparison in Linear Space with Multiple Adjustable Bands 12:15 - 12:25    Closing 12:25 -        Lunch -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From owre at csl.sri.com Mon May 8 02:04:15 2017 From: owre at csl.sri.com (Sam Owre) Date: Sun, 07 May 2017 17:04:15 -0700 Subject: AFM 2017 call for registration Message-ID: Registration is open for AFM 2017 (http://fm.csl.sri.com/AFM17). AFM has a workshop on May 19 at SRI International, and a day of tutorials on May 20 at Menlo College. The cost of registration is $50 a day (+ 3% for credit card payments). Note that we do not have hotel arrangements. Breakfast, lunch, and breaks are included. Payment will be accepted at the meetings. The sixth Automated Formal Methods (AFM) workshop will be held during May 19-20, 2017, at SRI International and Menlo College in Menlo Park. The earlier workshops were AFM06, AFM07, AFM08, AFM09, and AFM10. The 2017 workshop immediately follows the NASA Formal Methods (NFM) 2017 symposium. It consists of both invited talks and contributed papers on May 19, and tutorials covering recent progress in tools such as PVS, SAL/SALLY/HybridSAL, Yices, SeaHorn, Radler, and Bixie. AFM functions both as a user's meeting for SRI's tools such as PVS, SAL, and Yices, and as a workshop for those interested in state of the art automation for formal methods generally. Workshop Description AFM is a workshop centered around the use and integration of highly automated formal verification tools for specification, interactive theorem proving, satisfiability (SAT) and satisfiability modulo theories (SMT), model checking, program verification, static analysis, runtime verification, code generation, and testing, as well as interfaces, documentation, and education. This workshop was originally initiated as a users' group meeting for the SRI formal verification tools, which now include PVS, SAL, HybridSAL, SALLY, Yices, NL-Yices, Joogie, Bixie, and SeaHorn, together with technologies under development, such as ARSENAL, Radler, Occam, PCE, and ETB. However, topics are not restricted to these tools: we welcome contributions on all aspects of state of the art automation. The proceedings of the workshop will be published through the ACM Digital Library. Workshop Program The program includes contributed papers and invited talks selected by the international program committee on May 19, and a series of tutorials on May 20, 2017. Program Committee Saddek Bensalem (Verimag) Matthew Bolton (Buffalo) Maria Paola Bonacina (Verona) Alessandro Coglio (Kestrel Institute) Bruno Dutertre (SRI, co-Chair) Leonard Gerard (SRI) Stephane Graham-Lengrand (Ecole Polytechnique) Arie Gurfinkel (U. of Waterloo) Liana Hadarean (Synopsys) Ben Hocking (Dependable Computing) Susmit Jha (SRI) Dejan Jovanovic (SRI) Temesghen Kahsai (CMU West) Aditya Kanade (IISc, Bangalore) Wenchao Li (Boston University) Paolo Masci (Queen Mary) Mariano Moscato (NIA) Cesar Munoz (NASA Langley) Anitha Murugesan (Honeywell Research) Jorge Navas (SRI) Natasha Neogi (NIA) Sam Owre (SRI) Lee Pike (Galois) Elvinia Riccobene (Milan) Kristin Rozier (Iowa) John Rushby (SRI) Martin Schaef (SRI) Natarajan Shankar (SRI, co-Chair) Wilfried Steiner (TTTech) Ashish Tiwari (SRI) Alan Wassyng (McMaster University) From asdm at fi.upm.es Mon May 8 16:39:48 2017 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Mon, 8 May 2017 16:39:48 +0200 (CEST) Subject: Twelfth Madrid UPM Advanced Statistics and Data Mining Summer School (June 26th - July 7th, 2017) - Early registration deadline Message-ID: <1635546341.13.1494254388214.JavaMail.bmihaljevic@morelia> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school finishes on June 5th. The summer school will be held in Boadilla del Monte, near Madrid, from June 26th to July 7th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. For the second time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/1TweJjj Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Alberto Ogbechie. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 26th - June 30th, 2017) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 3rd - July 7th, 2017) * 1st session: 9:45-12:45 Course 7: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From valentin.goranko at philosophy.su.se Tue May 9 17:22:57 2017 From: valentin.goranko at philosophy.su.se (Valentin Goranko) Date: Tue, 9 May 2017 15:22:57 +0000 Subject: Two-year postdoctoral research fellowship at Stockholm University Message-ID: <3ce23c800f19426689d137483b013748@ebox-prod-srv07.win.su.se> ================================================================ Two-year postdoctoral research fellowship at Stockholm University, Sweden, on “Dynamical multi-agent systems: modelling, algorithmic verification and synthesis’’ Ref. No. SU FV-1480-17 ================================================================ This postdoctoral fellowship is funded by the Swedish Research Council (Vetenskaprådet) as part of the research project “Dynamical multi-agent systems: modelling, algorithmic verification and synthesis’’ with principal investigator Prof. Valentin Goranko. The project is officially hosted at the Department of Philosophy at Stockholm University, Sweden. Brief project description: A multi-agent system consists of several 'agents' (software, computers, robots, market investors, institution employees, etc.) that act autonomously and intelligently in a common environment, in pursuit of individual or collective goals, communicating and interacting with the environment and with each other, planning and executing actions and strategies. Most multi-agent systems have dynamical nature: agents can enter or leave the system and can change their internal states, roles, functionalities, abilities to act and interact, goals, etc. within the system. These dynamic features make it quite challenging to properly design, formally specify and verify the behaviour of such systems. The main aim of the project is to undertake these challenges and develop methodology for resolving them. The main research activities on the project include: development of a generic framework for modelling of dynamical multi-agent systems, design of suitable formal logical languages for their specification and of practically implementable logic-based algorithmic methods for solving the general problem of `dynamical verification’, which subsumes both model checking and model synthesis as extreme cases, as well as controller synthesis. The project aims both to develop a general theory and methodology and to design and implement algorithmic solutions for some more specific cases. Main responsibilities: The postdoctoral fellow will be expected to produce high-quality research on the project, individually and in close collaboration with the principal investigator. The fellow will be expected to publish the results of his/her research in authoritative international journals and conferences and to disseminate them via international conferences, workshops, seminars and other suitable events. Also, the position may also involve software implementation of some algorithmic methods developed in the project. The fellow will also assist with some administrative work related to the project, such as organising related conferences, workshops, and seminars, as well as preparing reports. No teaching duties are involved in the fellowship. Qualification requirements: Applications are invited by highly motivated and competent individuals with a recent doctoral degree in computer science or related field, with research experience and expertise relevant to the project. Applicants should be able to demonstrate their ability to produce high-quality research, as evidenced by their doctoral thesis and publications, conference presentations, and references. The main criteria in the selection process will be the research expertise, potential, and attitude of the applicants. Applicants are expected to hold a Swedish doctoral degree or an equivalent degree from another country. The degree should have been completed no more than three years before the deadline for applications. An older degree may be acceptable under special circumstances. The position does not require knowledge of Swedish, as the research on the project will be conducted and published in English. Terms of employment: The position involves full-time employment for a maximum of two years. The start date is negotiable, but should be not later than January 1, 2018. Application procedure: The full text of the announcement and instructions on the application procedure are available here: in English: http://www.su.se/english/about/vacancies/vacancies-new-list?rmpage=job&rmjo b=3375&rmlang=UK in Swedish: http://www.su.se/om-oss/lediga-anställningar/lediga-jobb-ny-lista?rmpage=jo b&rmjob=3351&rmlang=SE Closing date: 04/06/2017 Contact and enquiries: Further information about the position can be obtained from Valentin Goranko by email to: valentin.goranko at philosophy.su.se, with subject line “VR post-doctoral position". From s.linker at liverpool.ac.uk Wed May 10 15:22:31 2017 From: s.linker at liverpool.ac.uk (Sven Linker) Date: Wed, 10 May 2017 14:22:31 +0100 Subject: Second Call for Papers -- FVAV 2017 - Workshop on Formal Verification of Autonomous Vehicles 2017 Message-ID: (Apologies for duplicates) ================================================================== 2nd Call for Papers ================================================================== Workshop on Formal Verification of Autonomous Vehicles https://sites.google.com/site/fvav2017/ 19th September 2017 University of Turin, Italy (co-located with iFM 2017, http://ifm2017.di.unito.it/) ================================================================== ------------------------------------------------------------------ Important Dates: - Paper Submission: Monday, 18th June 2017 - Notification: Monday, 10th July 2017 - Workshop: Tuesday, 19th September 2017 ------------------------------------------------------------------ Objectives and Scope: Current technology is at reach to develop road vehicles that can act fully autonomously. One of the recognised major difficulties is to make the systems safe, as autonomy requires not only avoidance of misbehaviour but also assurance of availability and reliability. This fact has been acknowledged both within the academic society, in the form of an increasing interest in this topic, and within industry, by generally agreeing that these vehicles adhere to the highest levels of international standards, e.g., SIL3/SIL4 for IEC 61508, and ASIL D for ISO 26262. These levels imply the consideration of various formal methods in the development, including static code analysis, model checking, and formal specification and verification. However, incorporating formal methods into the design of autonomous vehicles presents significant new challenges, particularly due to the complex integration of discrete and continuous controllers. The main challenges associated with the formal design of autonomous vehicles includes modelling, specification, verification and synthesis. The aim of this workshop is to bring together researchers from the formal verification community that are developing formal methods for autonomous vehicles and industrial researchers working, e.g., in the area of control theory or robotics, interested in applying verification techniques for designing and developing of autonomous vehicles. Topics of interest of the workshop include, but are not limited to: * formal models for autonomous systems * languages and logics for specification and verification * interactive and automated theorem proving * model checking * agent programming languages * real-time and hybrid systems * program synthesis * quantitative and probabilistic verification * requirement analysis * verification for learning approaches * run-time verification * applications, implementations and case studies ------------------------------------------------------------------ Submission Guideline: Accepted papers will appear in the conference proceedings published in the Electronic Proceedings in Theoretical Computer Science (EPTCS) and must be prepared according to the EPTCS guidelines for authors (see http://info.eptcs.org/). Papers must be original work and not be submitted for publication elsewhere. Papers must be written in English and submitted electronically (in PDF format) using the EasyChair submission page: https://easychair.org/conferences/?conf=fvav2017 The page limitations mentioned below include all text, figures and references. At least one author of each accepted paper must attend FVAV 2017 to present. There are two categories of papers which can be submitted: regular and short papers. Papers in each category will be reviewed by at least 3 members of the Programme Committee. * *Regular Papers* (up to 15 pages, including references) should present original unpublished results. We welcome theoretical papers, applications of formal methods in industrial practise, system descriptions and case studies within the context of autonomous vehicles. * *Short Papers* (up to 7 pages, including references) may present novel but not necessarily thoroughly worked out ideas, and problem statements. ------------------------------------------------------------------ Invited Speaker: Werner Damm (OFFIS Oldenburg, Germany) (https://www.offis.de/en/offis/person/werner-damm.html) ------------------------------------------------------------------ Organisation: Programme Committee: * Matthias Althoff (Technische Universität München, Germany) * Mikael Asplund (Linköping University, Sweden) * Georgios Fainekos (Arizona State University, US) * Michael Fisher (University of Liverpool, UK) * Christoph Gladisch (Bosch, Germany) * Cornel Izbasa (Opensynergy, Germany) * Owen McAree (Sheffield University, UK) * Helen Monkhouse (Horiba-Mira, UK) * Ernst-Rüdiger Olderog (Carl von Ossietzky University Oldenburg, Germany) * Patrizio Pelliccione (Chalmers University of Technology, Sweden) * S. Ramesh (General Motors, US) * Nick Reed (TRL, UK) * Shinichi Shiraishi (Toyota Info Technology Center, US) Programme Chairs: * Lukas Bulwahn (BMW Car IT GmbH, Germany) * Maryam Kamali (University of Liverpool, UK) * Sven Linker (University of Liverpool, UK) From rrc2soft at gmail.com Fri May 12 12:11:54 2017 From: rrc2soft at gmail.com (Rodrigo Roman) Date: Fri, 12 May 2017 12:11:54 +0200 Subject: CFP SPIFEC 2017 (ESORICS workshop): 1st European Workshop on Security and Privacy in Fog and Edge Computing Message-ID: *** Apologies for multiple copies *** ============================================================================== C a l l F o r P a p e r s SPIFEC 2017: 1st European Workshop on Security and Privacy in Fog and Edge Computing (In conjunction with ESORICS 2017) Oslo, Norway, September 14, 2017 Website: https://www.nics.uma.es/pub/spifec ============================================================================== Overview The main goal of Fog Computing and other related Edge paradigms, such as Multi-Access Edge Computing, is to decentralize the Cloud and bring some of its services closer to the edge of the network, where data are generated and decisions are made. Cloud-enabled edge platforms will be able to cooperate not only with each other but with the cloud, effectively creating a collaborative and federated environment. This paradigm shift will fulfill the needs of novel services, such as augmented reality, that have particularly stringent requirements like extremely low latency. It will also help improve the vision of the Internet of Things by improving its scalability and overall functionality, among other benefits. To enable this vision, a number of platforms and technologies need to securely coexist, including sensors and actuators, edge-deployed systems, software-defined networks, hardware virtualization, data mining mechanisms, etc. However, this paradigm shift calls for new security challenges and opportunities to leverage services for new scenarios and applications. The field of edge computing security is almost unexplored, and demands further attention from the research community and industry in order to unleash the full potential of this paradigm. Topics This workshop expects original research papers on, but not limited to, the topics described below: • Edge devices security • Attacks and Countermeasures to Edge computing platforms • Authentication and Access control in Edge computing • Accountability and Accounting in Edge computing • Identity management systems in Edge computing • Secure federation of Edge computing devices • Secure Orchestration and Management of Edge devices • Secure Software-Defined Networking for Edge computing • Secure Virtualization in Edge Computing • Secure Migration of resources in Edge Computing • Data and Computation integrity in Edge Computing • Trust and Reputation Management in Edge computing • Privacy in Edge Computing • Intrusion Detection and Prevention systems for Edge computing • Digital Forensics in Edge Computing • Risk Analysis in Edge Computing • Incident Management in Edge Computing Important dates: - Submission deadline: 30th June 2017 - Authors’ notification: 30th July 2017 - Camera ready version: 27th August 2017 Paper Submission Guidelines: Submissions must be made through EasyChair at: https://easychair.org/conferences/?conf=spifec2017 Submitted papers must not substantially overlap with papers that have been published or submitted to another conference or journal. Papers must be written in English and they must adhere to the LNCS template from the time they are submitted. Submitted papers should be at most 16 pages (using 10-point font), excluding the bibliography and well-marked appendices, and at most 18 pages total. Only PDF format is accepted. Revised accepted papers will be published as a joint post-proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series with other ESORICS Workshops (confirmed). Authors of accepted papers must guarantee that their papers will be presented at the conference. Papers must be received by the aforementioned dates, 11:59 p.m. American Samoa time (UTC-11) Organisation Committee PC Chairs - Rodrigo Roman University of Malaga, Spain - Chunming Rong University of Stavanger, Norway General Chair - Ruben Rios University of Málaga, Spain Program Committee (More to be added) - Ketan Bhardwaj Georgia Tech, USA - Egemen K. Çetinkaya Missouri University of Science and Technology, USA - Xiaofeng Chen Xidian University, China - Nathan Clarke Plymouth University, UK - Mauro Conti University of Padova, Italy - Jose M. De Fuentes University Carlos III Madrid, Spain - Roberto Di Pietro Nokia Bell Labs, France - Martin G. Jaatun SINTEF, Norway - Donghyun Kim Kennesaw State University, USA - Costas Lambrinoudakis University of Piraeus, Greece - Qun Li College of William and Mary, USA - Kaitai Liang Manchester Metropolitan University, UK - Flavio Lombardi Roma Tre University of Rome, Italy - Javier López University of Malaga, Spain - Masahiro Mambo Kanazawa University, Japan - Haralambos Mouratidis University of Brighton, UK - Abderrahmen Mtibaa New Mexico State University, USA - Jose A. Onieva University of Malaga, Spain - Fernando M.V. Ramos University of Lisbon, Portugal - Pierangela Samarati Università degli Studi di Milano, Italy - Juan E. Tapiador University Carlos III Madrid, Spain For any inquiries please contact the PC Chairs at: spifec2017 at nics.uma.es From Wiebe.Van-Der-Hoek at liverpool.ac.uk Fri May 12 14:53:03 2017 From: Wiebe.Van-Der-Hoek at liverpool.ac.uk (Van Der Hoek, Wiebe) Date: Fri, 12 May 2017 12:53:03 +0000 Subject: Extended call for papers Strategic Reasoning Message-ID: ************************************************************ EXTENDED DEADLINE for expository and novel-research and INVITED SPEAKERS ************************************************************ ************************************************************ Abstract and paper submission: May 17, 2017 (AoE) 5th International Workshop on Strategic Reasoning SR 2017 --http://sr2017.csc.liv.ac.uk/ Liverpool, UK, July 26-27, 2017 ************************************************************ Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversaries, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behaviour of adversaries. The international workshop on strategic reasoning aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view. SR 2017 will be co-located with TARK 2017, which will be held in Liverpool on July 24-26, 2017. LIST OF TOPICS The topics covered by the workshop include, but are not limited to, the following: Logics for reasoning about strategic abilities; Logics for multi-agent mechanism design, verification, and synthesis; Logical foundations of decision theory for multi-agent systems; Strategic reasoning in formal verification; Automata theory for strategy synthesis; Strategic reasoning under perfect and imperfect information; Applications and tools for cooperative and adversarial reasoning; Robust planning and optimisation in multi-agent systems; Risk and uncertainty in multi-agent systems; Quantitative aspects in strategic reasonings. SUBMISSION Extended abstracts should be submitted not exceeding 10 pages (plus references) in the EPTCS format. If necessary, the work may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the program committee. Submissions must be in PDF format and will be handled via EasyChair: https://easychair.org/conferences/?conf=sr2017 Two types of submission are invited: contributions reporting on novel research; expository contributions reporting on published work. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience and all contributions should be written so that they are accessible to such an audience. Novel research abstracts will be held to the usual high standards of research publications. In particular, they should contain enough information to enable the program committee to identify the main contribution of the work, explain the significance of the work, its novelty, its relevance to the strategic reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature. Expository abstracts, which will be evaluated using similar high standards, may survey an area or report on more specific previously published work. Submissions from PC members are also allowed. Note that, since the workshop will have informal proceedings, extended versions of the accepted papers can also be submitted elsewhere. IMPORTANT DATES (AoE) May 17, 2017: New submission deadline (Abstract and Paper) June 16, 2017: Acceptance notification June 30, 2017: Camera-ready deadline July 26-27, 2017: Workshop INVITED SPEAKERS Joe Halpern, Cornell University Wojciech Penczek, ICS PAS (Warsaw) and UPH (Siedlce) Hans van Ditmarsch, LORIA, France (TARK public lecture) Barteld Kooi, University of Groningen (TARK public lecture) PROCEEDINGS The workshop proceedings will be available as a single PDF file from the workshop website. As in previous editions, extended and revised versions of the best papers presented at the SR workshop will be invited to a special issue of Information & Computation (in process). COMMITTEES Workshop co-Chairs Wiebe van der Hoek, University of Liverpool Bastien Maubert, University of Naples "Federico II" Aniello Murano, University of Naples "Federico II" Sasha Rubin, University of Naples "Federico II" Program Committee Thomas Ågotnes, University of Bergen Natasha Alechina, University of Nottingham Benjamin Aminof, Technical University of Vienna Nicholas Asher, CNRS & IRIT, Université Paul Sabatier Dietmar Berwanger, CNRS & LSV, ENS Cachan Catalin Dima, LACL, Université Paris Est - Créteil Emmanuel Filiot, Université Libre de Bruxelles Bernd Finkbeiner, Saarland University Dimitar Guelev, Bulgarian Academy of Sciences Paul Harrenstein, University of Oxford Andreas Herzig, IRIT-CNRS Orna Kupferman, Hebrew University Stephane Le Roux, Universite libre de Bruxelles Nicolas Markey, CNRS & IRISA, Université de Rennes 1 Ron van der Meyden, University of New South Wales Marco Montali, KRDB Research Centre, Free University of Bozen-Bolzano Pavel Naumov, Vassar College Giuseppe Perelli, University of Oxford R. Ramanujam, Institute of Mathematical Sciences, Chennai Ocan Sankur, CNRS & IRISA, Université de Rennes 1 Dominik Wojtczak, University of Liverpool Local Arrangements Committee Davide Grossi, University of Liverpool Wiebe van der Hoek, University of Liverpool ------------------------------------------------------------------------------------------------------ Prof. Wiebe van der Hoek Head of School of EEE&CS University of Liverpool http://www.csc.liv.ac.uk/~wiebe/ tel (+44) 7970247480 wiebe at liverpool.ac.uk From newsletter at saso-conference.org Sat May 13 23:30:55 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Sat, 13 May 2017 23:30:55 +0200 Subject: =?utf-8?b?Q2FsbCBmb3IgV29ya3Nob3AgUGFwZXJzOiBTQVNPIDIwMTcgLSBJRUVF?= =?utf-8?b?IEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBTZWxmLUFkYXB0aXZl?= =?utf-8?b?IGFuZCBTZWxmLU9yZ2FuaXppbmcgU3lzdGVtcywgU2VwdGVtYmVyIDE4?= =?utf-8?b?LTIyLCBUdWNzb24sIEFyaXpvbmEg?= Message-ID: ************************************************************************* CALL FOR WORKSHOP PAPERS The Eleventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2017) University of Arizona, Tucson, AZ; 18-22 September 2017 https://saso2017.telecom-paristech.fr/ Workshops at SASO 2017: - SASO^ST: 5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems - QA4SASO: 4th IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems - ECAS: 2nd eCAS Workshop on Engineering Collective Adaptive Systems - DSS: 3rd International Workshop on Data-driven Self-regulating Systems - InSeCo: International Workshop on Industrial Self-Coordination ************************************************************************* 5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST) http://sasost.socioaware.net/ Submission deadline: July 7, 2017 Organisation * Jean Botev, University of Luxembourg, Luxembourg * Markus Esch, University of Applied Sciences Saarbrücken (htw saar), Germany * Ingo Scholtes, ETH Zürich, Switzerland The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. This aspect is becoming more and more evident with the increasing popularity of social network applications on the internet. This workshop will address all social aspects that influence the design of technical systems, covering different perspectives of this exciting research area from the computational modelling of social systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols. ************************************************************************* 4th IEEE Workshop on Quality Assurance for Self-adaptive, Self-organising Systems (QA4SASO) http://qa4saso.isse.de/ Submission deadline: July 7, 2017 Organisation * Benedikt Eberhardinger, University of Augsburg, Germany * Franz Wotawa, Technical University Graz, Austria * Hella Seebach, University of Augsburg, Germany Developing self-adaptive, self-organising systems (SASO) that fulfil the requirements of different stakeholders is no simple matter. Quality assurance is required at each phase of the entire development process, starting from requirements elicitation, system architecture design, agent design, and finally in the implementation of the system. The quality of the artefacts from each development phase affects the rest of the system, since all parts are closely related to each other. Furthermore, the shift of adaptation decisions from design-time to run-time - necessitated by the need of the systems to adapt to changing circumstances - makes it difficult, but even more essential, to assure high quality standards in these kind of systems. Accordingly, the analysis and evaluation of these self-* systems has to take into account the specific operational context to achieve high quality standards. The necessity to investigate this field has already been recognized and addressed in different communities but there exists so far no platform to bring all these communities together. Therefore, the workshop provides within its third edition an established open stage for discussions about the different aspects of quality assurance for self-adaptive, self-organising systems. ************************************************************************* 2nd eCAS Workshop on Engineering Collective Adaptive Systems (ECAS) http://apice.unibo.it/xwiki/bin/view/ECAS2017 Submission deadline: July 3, 2017 Organisation * Antonio Bucchiarone, Fondazione Bruno Kessler, Trento, Italy * Kyle Usbeck, Raytheon BBN Technologies, USA Modern software systems are becoming more and more collective, composed of many distributed and heterogeneous entities. These systems operate under continuous perturbations making manual adjustments infeasible. For a collective system to be resilient, adaptation must be collective, that is multiple entities must adapt in a way that addresses critical runtime conditions while preserving the benefits of the collaborative interdependencies. Decision-making in such systems is distributed and possibly highly dispersed, and interaction between the entities may lead to the emergence of unexpected phenomena. In such systems, a new approach for adaptation is needed to allow (i) multiple entities to collectively adapt with (ii) negotiations to decide which collective changes are best. Collective adaptation also raises a second important challenge: which parts of the system (things, services, people) should be engaged in an adaptation? This is not trivial, since multiple solutions to the same problem may be generated at different levels. The challenge here is to understand these levels and create mechanisms to decide the right scope for an adaptation for a given problem. This workshop solicits papers that address new methodologies, theories and principles that can be used in order to develop a better understanding of the fundamental factors underpinning the operation of such systems, so that we can better design, build, and analyze them, as well as case studies and applications showing such approaches in action Interdisciplinary work is particularly welcomed. ************************************************************************* 3rd International Workshop on Data-driven Self-regulating Systems (DSS) http://dss2017.inn.ac/ Submission deadline: July 17, 2017 Organisation * Evangelos Pournaras - ETH Zurich, Switzerland * Akshay Uttama Nambi S.N. - Microsoft Research Lab India * Stefan Bosse - University of Bremen, Germany The emergence of pervasive and ubiquitous technologies together with social media has resulted in unprecedented opportunities to reason about the complexity of our society based on magnitudes of data. Embedded ICT technologies mandate the functionality and operations of several techno-socio-economic systems such as traffic systems, transportation systems, Smart Grids, power/gas/water networks, etc. It is estimated that over 50 billion connected smart devices will be online by the year 2020. Moreover, social media provide invaluable insights about the complexity of social interactions and how these interactions influence the sustainability of several ICT-enabled techno-socio-economic systems. These observations show that regulating online the complex systems of our nowadays digital society is a grand challenge. Regulation concerns trade-offs such as the alignment of technical requirements, e.g. robustness, fault-tolerance, safety and security, with social or environmental requirements, for instance, fairness in the utilization of energy resources. The scale of nowadays data cannot tackle the challenge by itself as data may convey ungrounded correlations and biased predictions. Smart, autonomic and self- regulating mechanisms are required for filtering data streams in real-time and transform them to valuable information based on which intelligent adaptive decisions can be made in a decentralized fashion under a plethora of operational scenarios. The aim of the 3rd International Workshop on Data-driven Self-regulating Systems is to foster interactions between researchers of different disciplines working on challenges about the self- organization and self-adaptation of complex techno-socio-economic systems. ************************************************************************* International Workshop on Industrial Self-Coordination (InSeCo) https://easychair.org/cfp/InSeCo-2017 Submission deadline: July 7, 2017 Organisation * David Sanderson - University of Nottingham, United Kingdom * Mariusz Nowostawski - Norwegian University of Technology, Norway Smart manufacturing, Industry 4.0, Industrial IoT and smart supply chain management systems are some of the core trends that are reshaping the way manufacturing and businesses operate. These technological developments have the potential to significantly improve automation and information exchange in manufacturing. At the same time, researchers and business practitioners are investigating modular structured smart factories to monitor physical processes and to make decentralised decisions. Smart, Industrial Internet of Things systems provide data, for data-driven self-organizing cyber-physical systems, that communicate and cooperate with each other and with humans in real time. The Internet of Services, in both, internal and cross-organizational services are offered and used by participants of the value chain. At the same time, technologies such as those offered by the Distributed Ledger technologies, Smart Contracts and the blockchain concept provide mechanisms for coordination and trust without the need for Trusted Third Parties. In this workshop we combine broader concepts related to value chains, supply management and manufacturing, with the focus on the blockchain and other emerging technologies for decentralised coordination in the cyber-physical realm. From grlmc at grlmc.com Sun May 14 22:32:44 2017 From: grlmc at grlmc.com (GRLMC) Date: Sun, 14 May 2017 22:32:44 +0200 Subject: SLSP 2017: 3rd call for papers Message-ID: <545102060a010b00025f540101075a51545054500b0804590a550057525353525c545456065b075503035006570b51@grlmc_ip-zone_com-6> SLSP 2017: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   5th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2017   Le Mans, France   October 23-25, 2017   Organized by:   Computer Science Lab (LIUM) University of Le Mans   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/SLSP2017/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large, well-known conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between subdomains and people will hopefully happen. In SLSP 2017, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2017 will take place in Le Mans, in the region Pays de la Loire, a city with well-preserved Gallo-Roman remnants. The venue will be:   Claude Chappe Informatics Institute University of Le Mans Avenue Laënnec 72085 Le Mans Cedex 9   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2017 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS: (to be completed)   Bhiksha Raj (Carnegie Mellon University), An Introduction to Neural Networks   Paolo Rosso (Technical University of Valencia), Author Profiling in Social Media: The Impact of Emotions in Discourse Analysis   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Laurent Besacier (Grenoble Informatics Laboratory, FR) Paul Buitelaar (National University of Ireland, Galway, IE) Felix Burkhardt (Telekom Innovation Laboratories, DE) Xavier Carreras (Xerox Research Centre Europe, FR) Francisco Casacuberta (Technical University of Valencia, ES) Ciprian Chelba (Google, US) Eng Siong Chng (Nanyang Technological University, SG) Jennifer Chu-Carroll (Elemental Cognition, US) Doug Downey (Northwestern University, US) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National University of Distance Education, ES) Keikichi Hirose (University of Tokyo, JP) Gerhard Jäger (University of Tübingen, DE) Gareth Jones (Dublin City University, IE) Joseph Keshet (Bar-Ilan University, IL) Tomi Kinnunen (University of Eastern Finland, FI) Lun-Wei Ku (Academia Sinica, TW) Kong Aik Lee (Institute for Infocomm Research, SG) Elizabeth D. Liddy (Syracuse University, US) Xunying Liu (Chinese University of Hong Kong, HK) Suresh Manandhar (University of York, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Ruslan Mitkov (University of Wolverhampton, UK) Marie-Francine Moens (KU Leuven, BE) Seiichi Nakagawa (Toyohashi University of Technology, JP) Preslav Nakov (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Cécile Paris (CSIRO, AU) Fuchun Peng (AISense Inc., US) Pascal Perrier (Grenoble Institute of Technology, FR) Leon Rothkrantz (Delft University of Technology, NL) Horacio Saggion (Pompeu Fabra University, ES) Murat Saraçlar (Boğaziçi University, TR) Holger Schwenk (Facebook, FR) Brad Story (University of Arizona, US) Karin Verspoor (University of Melbourne, AU) Xiaojun Wan (Peking University, CN) Phil Woodland (University of Cambridge, UK) Chuck Wooters (Semantic Machines, US) François Yvon (LIMSI-CNRS, FR)   ORGANIZING COMMITTEE:   Walid Aransa (Le Mans) Adrien Bardet (Le Mans) Abdessalam Bouchekif (Le Mans) Fethi Bougares (Le Mans) Nathalie Camelin (Le Mans) Yannick Estève (Le Mans, co-chair) Mercedes García Martínez (Le Mans) Sahar Ghannay (Le Mans) Anthony Larcher (Le Mans) Antoine Laurent (Le Mans) Carlos Martín-Vide (Tarragona, co-chair) Salima Mdhaffar (Le Mans) Manuel J. Parra Royón (Granada) Simon Petitrenaud (Le Mans) David Silva (London) Natalia Tomashenko (Le Mans) Kévin Vythelingum (Le Mans)   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, graphics, 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=slsp2017   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of Computer Speech and Language (Elsevier, JCR 2015 impact factor: 1.324) 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/SLSP2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 11, 2017 Notification of paper acceptance or rejection: July 11, 2017 Final version of the paper for the LNCS/LNAI proceedings: July 21, 2017 Early registration: July 21, 2017 Late registration: October 9, 2017 Submission to the journal special issue: January 25, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 at yahoo.com   POSTAL ADDRESS:   SLSP 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Université du Maine Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cie2017 at abo.fi Mon May 15 09:00:02 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 15 May 2017 10:00:02 +0300 Subject: Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: <8aa699bc-7140-a153-a803-98eb45bb766b@abo.fi> *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (CiE) 2017“. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA (the actual birthday date is March 14). Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas as well as well-known books about theoretical computer science and natural computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Speakers: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland – “Why P vs. NP is so hard that even magicians failed to solve it“ • Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations“ • Moshe Vardi, Rice University, USA – “The Automated-Reasoning Revolution: From Theory to Practice and Back“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cie2017 at abo.fi Mon May 15 09:09:17 2017 From: cie2017 at abo.fi (CIE2017) Date: Mon, 15 May 2017 10:09:17 +0300 Subject: Symposium honouring Grzegorz Rozenberg on the occasion of his 75th birthday Message-ID: <340aabe1-8908-adb2-0bcb-05f62f20a366@abo.fi> *Magic in Science*, June 17, 2017, Turku, Finland http://combio.abo.fi/rozenberg75/ This symposium will be co-located with “Computability in Europe (CiE) 2017“. It takes place on June 17, 2017, immediately after CiE. The symposium celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of Leiden, the Netherlands and University of Colorado at Boulder, USA (the actual birthday date is March 14). Grzegorz Rozenberg is one of the world leaders in research on Theoretical Computer Science and Natural Computing. As a matter of fact, he is often called the guru of Natural Computing, having started promoting it as a coherent scientific discipline already from the 1970s – he gave this area its name and defined its scope. He played a central role in the development of theoretical computer science in Europe. His research is very broad in scope and it is a prime example of interdisciplinary research. He has authored exceptionally many research papers opening new vistas as well as well-known books about theoretical computer science and natural computing. He supervised numerous Ph.D. students, many of whom have become known scientists. He serves or has served the international computer science community in numerous roles, including: president of the European Association for Theoretical Computer Science (EATCS); cofounder and president of the International Society for Nanoscale Science, Computation, and Engineering (ISNSCE); chair of the steering committee of the DNA Computing Conference; cofounder and chair of the steering committee of the International Conference on Application and Theory of Petri Nets; chair of the steering committee of the European Educational Forum; cofounder and chair of the steering committee of the International Conference on Developments in Language Theory; co-chair of the steering committee of the International Conference on Unconventional Computation and Natural Computation; and director of European Molecular Computing Consortium. He also served on the editorial boards of many international journals and book series. He is the editor-in-chief and either the founder or a cofounder of some very well-known journals and book series: the journal Natural Computing, the journal Theoretical Computer Science C (Theory of Natural Computing), the book series Monographs and Texts in Theoretical Computer Science, the book series Natural Computing, and the book series Advances in Petri Nets. For over 20 years, he was the editor of the Bulletin of the European Association for Theoretical Computer Science. He edited four handbooks: on formal languages, on graph grammars and computing by graph transformations, on membrane computing, and on natural computing. G. Rozenberg is a Foreign Member of the Finnish Academy of Sciences and Letters, a member of Academia Europaea, and the holder of Honorary Doctorates of the University of Turku, Finland, the Technical University of Berlin, Germany, the University of Bologna, Italy, the Åbo Akademi University in Turku, Finland, the Warsaw University of Technology, Poland, and the University of Bucharest, Romania. He has received the Distinguished Achievements Award of the European Association for Theoretical Computer Science “in recognition of his outstanding scientific contributions to theoretical computer science”. He is an ISI highly cited researcher. He has also a very active and creative life outside science. For example, he is a performing magician, which is also reflected in his research. His very impressive numerous scientific results are somehow sprinkled with a touch of magic: this explains the title of the symposium. Also, he is an expert in paintings of Dutch painter Hieronymus Bosch. The talks given at the symposium will have an overview character and together they will cover a broad range of topics reflecting Grzegorz Rozenberg’s broad research interests. Among the topics covered are: P vs NP, stochastic search, natural computing, biologically-inspired models of computation, reaction systems, chemical reaction networks, membrane computing, graph isomorphism, graph polynomials, matroids, synthesis of concurrent systems, Petri nets, formal language theory and combinatorics on words, DNA rearrangements in ciliates, patterns in genomes, smart textiles, smart drones, magic squares, wonder cubes, and odor reproduction. Speakers: • David Harel, Weizmann Institute of Science in Israel – “On odor reproduction and how to test for it“ • Hendrik Jan Hoogeboom, University of Leiden, the Netherlands – “From DNA rearrangements in ciliates to elegant graph problems“ • Juraj Hromkovic, Swiss Federal Institute of Technology Zurich, Switzerland – “Why P vs. NP is so hard that even magicians failed to solve it“ • Natasha Jonoska, University of South Florida, USA – “Patterns emerging from a scrambled ciliate genome“ • Juhani Karhumäki, University of Turku, Finland – “Combinatorics on words and k-abelian equivalence“ • Jetty Kleijn, Leiden University, the Netherlands – “The spellbinding simplicity of complex reaction systems“ • Maciej Koutny, Newcastle University, UK – “Regions: the magic ingredient in synthesis of concurrent systems“ • Hermann Maurer, Academia Europaea and Graz University of Technology, Austria – “Some unusual applications of computer science“ • Giancarlo Mauri, University of Milano-Bicocca, Italy – “Modelling and simulation of biochemical reaction systems“ • George Paun, Institute of Mathematics of the Academy of Romania – “Borderlines or limits? (in Natural Computing)“ • Azaria Paz, Technion, Israel – “Linked magic squares on a cube. Theme and variations“ • Moshe Vardi, Rice University, USA – “The Automated-Reasoning Revolution: From Theory to Practice and Back“ • Erik Winfree, Caltech, USA – “Chemical reaction networks and stochastic local search“ Important dates: • Registration deadline: June 5, 2017 • Symposium: June 17, 2017 Registration and fees: • The registration can be done at http://combio.abo.fi/rozenberg75/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From wjamroga at in.tu-clausthal.de Tue May 16 19:59:22 2017 From: wjamroga at in.tu-clausthal.de (Wojtek Jamroga) Date: Tue, 16 May 2017 14:59:22 -0300 Subject: Student Grants: 19th European Agent Systems Summer School (EASSS-2017) In-Reply-To: <08139296-2AAD-460E-AC3A-FC8A595F3AD7@ut-capitole.fr> References: <08139296-2AAD-460E-AC3A-FC8A595F3AD7@ut-capitole.fr> Message-ID: *********************************************************************** 19th European Agent Systems Summer School (EASSS-2017) to be held at the University of Gdańsk, Poland 7-11 August 2017 http://easss2017.ipipan.waw.pl/ ********************************************************************** A limited number of *student grants* are available for participants to the 19th European Agent Systems Summer School, in the form of fee waivers. Applications should be sent to easss2017 at ipipan.waw.pl containing: - a cv of the applicant - a recommendation letter by the supervisor. The deadline for application is 5 June 2017. Notifications will be sent to applicants by 15 June 2017. Student accommodation will also available on campus, details will soon be published on the conference webpage. *********************************************************************** ABOUT EASSS-2017 The 19th European Agent Systems Summer School will be held at the University of Gdansk, Poland, from the 7th to the 11th of August 2017. As was the case with the earlier editions, EASSS-2017 will offer a rich programme of both introductory and advanced courses on a broad range of topics in the area of Autonomous Agents and Multi-Agent Systems. The courses are aimed at advanced Master’s students, PhD students, and other young researchers, and will be taught by leading researchers in the field. EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems (http://www.euramas.org/). TUTORIAL PROGRAM Assignment Problems: From Classical Mechanism Design to Multi-Agent Systems Aris Filos-Ratsikas (University of Oxford) Automated Security Analysis for Multi-agent Systems Alessandro Bruni and Carsten Schürmann (IT University of Copenhagen) Constraints and Changes in Argumentation: State of the Art and Challenges of Argumentation Dynamics Sylvie Doutre and Jean-Guy Mailly (Université Toulouse 1 Capitole – IRIT / Université Paris Descartes – LIPADE) Cooperative Games in Structured Environments Georgios Chalkiadakis (Technical University of Crete), Gianluigi Greco (University of Calabria), and Evangelos Markakis (Athens University of Economics and Business) Decision Making for Artificial Intelligence Paolo Turrini (Imperial College London) Dynamic Epistemic Logic and Its Applications to Plan/Protocol Synthesis Sophie Pinchinat (Université de Rennes) and François Schwarzentruber (École normale supérieure de Rennes) Engineering Machine Ethics Marija Slavkovik (University of Bergen) Game Theory Ulle Endriss (University of Amsterdam) Introduction to Judgment Aggregation Umberto Grandi (Université Toulouse 1 Capitole - IRIT) Modelling and Analysis of Cyber-Social Systems Christian W. Probst (Technical University of Denmark) Multi-Agent Reinforcement Learning and Dynamics of Learning Daan Bloembergen (University of Liverpool) Predicting Human Decision-Making: Tools of the Trade Ariel Rosenfeld (Bar-Ilan University) Probabilistic Model Checking Marta Kwiatkowska (University of Oxford) Specification and Verification of Multi-Agent Systems Wojciech Penczek and Michal Knapik (Polish Academy of Sciences) IMPORTANT DATES Applications for student grants: 5 June 2017 Notification of grant approval: 15 June 2017 Early registration: 20 June 2017 Late registration: 25 July 2017 Summer school: 7-11 August, 2017 REGISTRATION FEES Early registration: 320 EUR Regular registration: 360 EUR On-site registration: 390 EUR The fee covers participation in the courses, coffee breaks, and online access to the materials. It also includes the lunch on Monday, Tuesday and Wednesday. The lunch on Wednesday and Friday, as well as the social event on Wednesday evening, will be included in the fee if the funds allow. ABOUT GDANSK Gdansk is a lively city in the North of Poland, on the coast of the Baltic Sea. It is one of the country’s main academic centres, as well as one of the top tourist destinations. Highlights include the medieval Hanseatic old town, a beautiful beach on the Balt ic, the early 1900s spa resort of Sopot, and the Solidarity museum in the former Gdansk shipyard. The city has direct flight connections from many destinations in Europe, including cheap flights by Ryanair and Wizzair. The summer school will take place at the Oliwa Campus of the University of Gdansk. SCIENTIFIC COMMITTEE – Umberto Grandi, IRIT – Université Toulouse 1 Capitole, France – Wojtek Jamroga, Polish Academy of Sciences, Poland – Brian Logan, University of Nottingham, UK MORE INFO & CONTACT The most up-to-date information about the summer school is available at the EASSS’17 website: http://easss2017.ipipan.waw.pl/ . Should you have any questions, please contact us at easss2017 at ipipan.waw.pl . -- Prof. Dr. Wojciech Jamroga Associate Professor Institute of Computer Science, Polish Academy of Sciences http://krak.ipipan.waw.pl/~wjamroga/ From r.s.miller at ucl.ac.uk Wed May 17 00:04:43 2017 From: r.s.miller at ucl.ac.uk (Miller, Rob) Date: Tue, 16 May 2017 22:04:43 +0000 Subject: Commonsense-2017: Preliminary Call for Papers Message-ID: Preliminary Call for Papers Thirteenth International Symposium on Commonsense Reasoning (Commonsense-2017) We invite submissions to Commonsense-2017, to be held in London, November 6-8, 2017. Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. Commonsense knowledge and reasoning are relevant for many applications of current interest. Examples include robot and human collaboration, transparent machine-learning systems that can explain their conclusions, social media and story understanding software, and dialogue systems. The recent resurgence of interest in commonsense reasoning reflects a wider societal reaction to current technological advances, such as the fact that “next year a law will come into operation in [EU] member states which gives everyone a right to an explanation of any decision affecting them that has been reached algorithmically” [Guardian newspaper, 14 April 2017]. Approaches to acquiring commonsense knowledge and performing commonsense reasoning may incorporate semantics-based representation and inference, machine learning, natural language processing, computer vision, and/or cognitive science. The symposium aims to encourage cross-fertilization between these and other techniques. The synthesis of multiple approaches is challenging, but could jump-start progress on many outstanding problems of commonsense reasoning. We welcome a wide variety of submissions, including formal results, experimental results, demos, surveys, evaluations and comparisons of different approaches, and papers on methodological issues. While mathematical logic has traditionally been the primary lingua franca of the Symposium, we welcome all relevant and rigorous approaches to automating commonsense knowledge and reasoning. Topics of interest include, but are not limited to: * Semantics-based representations for specific commonsense domains, such as: - Time, change, action, causality - Commonsense physical and spatial reasoning - Legal, biological, medical, and other scientific reasoning incorporating elements of common sense - Mental states such as beliefs, intentions, and emotions - Social activities and relationships * Inference methods for commonsense reasoning, such as: - Logic programming - Probabilistic, heuristic, and approximate reasoning - Nonmonotonic reasoning, belief revision and argumentation - Abductive and inductive reasoning - Textual Entailment * Methods for creating commonsense knowledge bases, such as: - Statistical and corpus-based techniques, including both traditional machine learning and deep learning - Crowdsourcing - Hand-crafting domain theories - Hybrid methods * Applications of commonsense reasoning, especially interdisciplinary research in the following areas: - Natural language understanding (understanding discourse, question answering, semantic parsing) - Image understanding - Cognitive robotics and planning - Web-based applications (search, internet of things) - Support technologies (computer-aided instruction, home automation) * Discussions of the science of commonsense reasoning research, including: - Meta-theorems about commonsense theories and techniques - Relation to other fields, such as philosophy, linguistics, cognitive psychology, game theory, and economics - Challenge problem sets and benchmarking By default accepted papers will be published shortly after the symposium in the CEUR Workshop Proceedings series. Authors may however opt out of publishing in CEUR, e.g. if they wish to publish their paper at another venue. All accepted papers will be made available on the commonsensereasoning.org website for the duration of the symposium. The publication of a journal special issue which would include selected and extended papers from Commonsense-2017 is currently under consideration; later versions of this call for papers will have more information on this subject. Important Dates - Submissions due: August 4, 2017 - Submission notification date: September 8, 2017 - Camera-ready versions due: September 22, 2017 - Symposium: November 6-8, 2017 Submissions - Submissions will be made through EasyChair, at: https://easychair.org/conferences/?conf=commonsense2017 - Papers are limited to 6 pages, prepared in IJCAI or AAAI format, using Letter or A4 sized paper, plus one additional page for references. Review Process Each paper will receive three blind peer reviews. Selection criteria include novelty, technical accuracy and rigor, significance and generalizability, relevance, and quality of writing. Program Chairs - Andrew S. Gordon, University of Southern California - Rob Miller, University College London - Gyorgy Turan, University of Illinois at Chicago and University of Szeged Program Committee - To be announced Website: http://commonsensereasoning.org From Natasha.Alechina at nottingham.ac.uk Wed May 17 11:17:14 2017 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Wed, 17 May 2017 09:17:14 +0000 Subject: second call for papers, LAMAS 2017 Message-ID: <0CC9EFB8-EA88-4CA7-AA76-C8733D64A9C6@exmail.nottingham.ac.uk> Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017) 25 August 2017, Stockholm Webpage: http://www.cs.nott.ac.uk/~psznza/lamas17/ Affiliated with the 26th EACSL Annual Conference on Computer Science Logic CSL'2017 Call for Papers The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The topics of the workshop include, but are not limited to: - Logical systems for specification, analysis, and reasoning about MAS - Logic-based modeling of MAS - Dynamical MAS - Deductive systems and decision procedures for logics for MAS - Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS - Logic-based tools for MAS - Applications of logics in MAS Submissions for workshop presentations Extended abstracts of 2-5 pages reporting either original, ongoing, or recently published work in the area of the workshop. Submissions are not anonymous and will be subjected to light reviewing. Abstracts have to be submitted via Easychair: https://easychair.org/conferences/?conf=lamas2017. Invited speakers: Hans van Ditmarsch, LORIA, Nancy Wojtek Jamroga, Polish Academy of Sciences Important dates submission: June 4 2017 notification: June 15 2017 early registration: June 20 2017 late registration: August 8 2017 workshop: August 25 2017 Workshop proceedings and post-proceedings Accepted abstracts of presentations will be made available on the workshop website. Depending on the number and quality of the submissions, we also intend to organise workshop post-proceedings as a journal special issue. The submissions to that special issue will be subject to a proper reviewing process. Organisers and contacts Natasha Alechina natasha.alechina at nottingham.ac.uk Mika Cohen Valentin Goranko This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation. From newsletter at saso-conference.org Wed May 17 23:20:10 2017 From: newsletter at saso-conference.org (Markus Esch) Date: Wed, 17 May 2017 23:20:10 +0200 Subject: =?utf-8?b?IENmRFM6IFNBU08gMjAxNyAtIElFRUUgSW50ZXJuYXRpb25hbCBDb25m?= =?utf-8?b?ZXJlbmNlIG9uIFNlbGYtQWRhcHRpdmUgYW5kIFNlbGYtT3JnYW5pemlu?= =?utf-8?b?ZyBTeXN0ZW1zLCBTZXB0ZW1iZXIgMTgtMjIsIFR1Y3NvbiwgQXJpem9u?= =?utf-8?b?YQ==?= Message-ID: ==== Call For Doctoral Symposium Submissions ==== Foundations and Applications of Self* Systems (FAS*) is the umbrella for two closely related but independent conferences, the International Conference on Self-Adaptive and Self-Organizing Systems (SASO) and the International Conference on Cloud and Autonomic Computing (ICCAC). The FAS* Doctoral Symposium provides an international forum for PhD students working in research areas addressed by FAS*. In this forum, PhD students will get unique opportunities to subject their research to the scrutiny of external experts, gain experience in the presentation of research, connect to peers and experts addressing similar problems, and get advice from a panel of internationally leading researchers. Different from the technical tracks of the conference, the FAS* Doctoral Symposium focuses on the specific needs of young researchers at the beginning of their career. As such, emphasis will be placed on a critical and constructive feedback that shall help participants to successfully conclude their PhD studies. PhD students working in any area addressed by the FAS* conferences are invited to submit a Doctoral Symposium paper in which they describe the key motivation and objectives of their research project, and reflect on the methodology as well as the current status of their PhD studies. Complementing the thematic focus of FAS*, we particularly solicit contributions in the following areas: - Engineering of self-organizing and self-adaptive systems - Complex cyber-physical and socio-technical systems - Self-* approaches in massive-scale decentralized systems - Application of self-* in robotics and spatial computing - Autonomic and cloud computing - Scalable and applied machine learning / data mining ==== Submission Instructions ==== Submissions should have a length of max. two pages (not including references) and be formatted according to the IEEE Computer Society Press proceedings style guide. Authors should submit their papers using the EasyChair installation of the main conference, which is available at: https://easychair.org/conferences/?conf=saso2017 Please note that only single-author submissions are accepted, which focus on the topic of the doctoral work. The name of the supervisor should be clearly marked below the author’s name in the paper. Submissions should further adhere to the following structure: - Motivation: motivate the open problem that you want to address and briefly summarize existing approaches along with their deficiencies. - Objectives: describe the key objectives of your PhD project and argue how achieving them will solve the open problem outlined in the motivation. - Methodology: outline what methodology you will adopt to meet the objectives of your project. Clearly state on what existing works your work will build. - Research Plan: describe what preliminary results – if any – you have already achieved and summarize your plans for future work. Please add a rough schedule that allows to judge whether your research plan is feasible. Authors of accepted papers shall prepare a final, camera ready version of the paper, taking into account all feedback from reviewers, and formatted according to the IEEE Computer Society Press proceedings style guide. Doctoral Symposium papers will be advertised in the final program, and will be submitted to IEEE Xplore as part of the SASO proceedings. Papers will also be made available in the IEEE Digital Library. ==== Review Process==== Each submission will be reviewed by at least two Doctoral Symposium experts that cover the different areas of interest of the conference. Submissions will be evaluated based on their relevance, the motivation and quality of the proposed research, as well as the suitability of the chosen methodology. Authors of accepted papers will have different opportunities to present their project at the conference. Besides a full presentation during the PhD Symposium session, an “Elevator Pitch Session” will be organized during the main conference, where authors get the chance to briefly showcase their research. In addition, the Best Doctoral Symposium paper will be selected and the award will be presented during the main conference. Finally, selected authors will have the additional chance to present their work via a poster in the poster session of the main conference. ==== Important Dates ==== Submission deadline: June 10, 2017 Notifications due: July 1, 2017 Camera-ready copy due: July 12, 2017 Conference date: September 18-22, 2017 ==== Contact Information ==== Any inquiries related to the Doctoral Symposium should be directed to: Jean Botev (jean.botev at uni.lu) https://saso2017.telecom-paristech.fr/committees.html From fabrizio.riguzzi at unife.it Thu May 18 08:49:59 2017 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Wed, 17 May 2017 23:49:59 -0700 Subject: AI*IA Outgoing Mobility Grants 2017 Message-ID: =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Outgoing Mobility Grants 2017 Call for research visits Deadline for applications: June 20th, 2017 https://sites.google.com/a/aixia.it/italiano/premi/outgoing-mobility =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the AI*IA Outgoing Mobility Grants for 2017. Applications are solicited for funding a research visit abroad of a PhD student enrolled at an Italian University. AI*IA will cover the travel costs and living expenses (up to 2,000 euros) of successful applicants. The funding will be provided as a reimburswement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these long visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal ( http://www.iospress.nl/journal/intelligenza-artificiale/). Applications can be made by students enrolled full-time in a PhD programme at an Italian University. The applicant must be a member of the Association for 2017. If she/he is not a member for 2017 she/he must register before applying. Funding is available for 2 students. The visit should start between the 15th of July 2017 and the 30th of June 2018. Deadline for applications: June 20th, 2017 Notification of grants: July 4th, 2017 The information required in the application are: 1. name of the Italian PhD student who will go abroad; 2. name of the foreign researcher who will host the student; 3. name and address of the foreign Lab/Department and University; 4. a short (max 2 pages) resume/CV of the Italian student; 5. a short (max 2 pages) resume/CV of the foreign researcher; 6. a short (max 2 pages) description of the research that will be carried out during the visit; 7. a budget of the foreseen expenses; 8. declaration of the foreign host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research; 9. expected visit dates. The applications must be sent by email to outgoing at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dilian at csc.kth.se Thu May 18 17:50:41 2017 From: dilian at csc.kth.se (Dilian Gurov) Date: Thu, 18 May 2017 17:50:41 +0200 Subject: CSL 2017: Call For Oral Presentations In-Reply-To: <086cfe46-b3d4-1719-0d55-7900f8d63be9@csc.kth.se> References: <086cfe46-b3d4-1719-0d55-7900f8d63be9@csc.kth.se> Message-ID: ================================================================= CALL FOR ORAL PRESENTATIONS 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) August 20-24, 2017, Stockholm, Sweden https://www.csl17.conf.kth.se/ ================================================================= AIM AND SCOPE Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science. CSL 2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL 2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC 2017). There will be a joint session of CSL 2017 and LC 2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26. ----------------------------------------------------------------------- The paper submissions deadline has already passed. We hereafter invite submissions of abstracts for short oral presentations only. SUBMISSION INSTRUCTIONS: Authors are invited to submit short abstracts in English, up to 4 pages (including references) in LIPIcs style, describing work fitting the scope of the conference. The LIPIcs style files and instructions for authors can be found here: https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors. The submissions must be done via the EasyChair page for the conference: https://easychair.org/conferences/?conf=csl2017 , under the category "abstract for oral presentation", by June 4, 2017. They will NOT be included in the proceedings. DEADLINES: Submission: June 4, 2017 Notification: June 14, 2017 TOPICS OF INTEREST for CSL 2017 include (but are not limited to): ----------------------------------------------------------------- • automata and games, game semantics • automated deduction and interactive theorem proving • bounded arithmetic and propositional proof complexity • categorical logic and topological semantics • computational proof theory • constructive mathematics and type theory • decision procedures • domain theory • equational logic and rewriting • finite model theory • higher-order logic • lambda calculus and combinatory logic • linear logic and other substructural logics • logic programming and constraints • logical aspects of computational complexity • logical aspects of quantum computing • logic in database theory • logical foundations of programming paradigms • logical foundations of cryptography and information hiding • logics for multi-agent systems • modal and temporal logic • model checking and logic-based verification • nonmonotonic reasoning • SAT solving and automated induction • satisfiability modulo theories • specification, extraction and transformation of programs • verification and program analysis ----------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------- CSL invited highlight speakers for the LC-CSL joint session on August 20: • Phokion Kolaitis, University of California Santa Cruz and IBM Research - Almaden • Wolfgang Thomas, RWTH Aachen CSL plenary speakers: • Laura Kovács, Vienna University of Technology • Stephan Kreutzer, Technische Universität Berlin • Meena Mahajan, Institute of Mathematical Sciences, Chennai • Margus Veanes, Microsoft Research ----------------------------------------------------------------- SPECIAL AND AFFILIATED EVENTS ----------------------------- In addition to the plenary and contributed talks CSL 2017, the conference will also include the following events: • Joint session of CSL 2017 and LC 2017 in the morning of August 20, consisting of four plenary highlight talks, offered by speakers from both conferences. • Presentation of the Alonzo Church award for Outstanding Contributions to Logic and Computation, • Presentation of the EACSL Ackermann award for Outstanding Dissertation on Logic in Computer Science, • CSL-affiliated workshops, to be held as CSL co-located events: • Workshop on Logical Aspects of Multi-Agent Systems LAMAS 2017 (August 25) • Workshop on Logic and Automata Theory (in memory of Zoltan Ezik) (August 25) • Workshop on Logic and Algorithms in Computational Linguistics LACompLing'17 (August 18-19) PROGRAMME COMMITTEE ------------------- • Parosh Aziz Abdulla (University of Uppsala), • Lars Birkedal (University of Aarhus), • Nikolaj Bjorner (Microsoft Research), • Maria Paola Bonacina (Università degli Studi di Verona), • Patricia Bouyer-Decitre (LSV, ENS Cachan), • Agata Ciabattoni (University of Viena), • Thierry Coquand (University of Gothenburg), • Mads Dam (KTH, Stockholm), PC co-chair • Ugo Dal Lago (University of Bologna), • Anuj Dawar (Cambridge University), • Valentin Goranko (Stockholm University), PC co-chair • Maribel Fernandez (King's College London), • Martin Grohe (RWTH Aachen), • Lauri Hella (University of Tampere), • Joost-Pieter Katoen (RWTH Aachen), • Orna Kupferman (University of Jerusalem), • Leonid Libkin (University of Edinburgh), • Angelo Montanari (University of Udine), • Catuscia Palamidessi (Paris, INRIA), • Frank Pfenning (Carnegie Mellon University, Pittsburgh) • Ram Ramanujam (Institute of Mathematical Sciences, Chennai), • Jean-Francois Raskin (University of Bruxelles), • Thomas Schwentick (TU Dortmund University), • Viorica Sofronie-Stokkermans (University of Koblenz-Landau), • Thomas Streicher (University of Darmstadt), • Jean-Marc Talbot (University of Aix-Marseille), • Luca Viganò (King's College London), • Ron van der Meyden (UNSW Australia), • Lijun Zhang (Chinese Academy of Sciences, Beijing). ORGANISING COMMITTEE -------------------- • Mads Dam (OC co-chair), Department of Theoretical Computer Science, KTH • Valentin Goranko (OC co-chair), Department of Philosophy, Stockholm University • Dilian Gurov (Workshops chair), Department of Theoretical Computer Science, KTH • Roussanka Loukanova, Department of Mathematics, Stockholm University • Peter LeFanu Lumsdaine, Department of Mathematics, Stockholm University • Anders Lundstedt, Department of Philosophy, Stockholm University • Erik Palmgren (OC co-chair), Department of Mathematics, Stockholm University • Henning Strandin, Department of Philosophy, Stockholm University CONTACTS AND ENQUIRIES ---------------------- With enquiries on organising matters, send email to: CSL 2017philosophy.su.se With enquiries on scientific and programme issues, send email to: CSL 2017easychair.org From ijcci at insticc.info Fri May 19 16:40:58 2017 From: ijcci at insticc.info (ijcci at insticc.info) Date: 19 May 2017 15:40:58 +0100 Subject: CFP IJCCI 2017 - 9th Int.l Joint Conf. on Computational Intelligence (Funchal, Madeira/Portugal) Message-ID: <20170519144109.39214.80643BE4F2FF852E@insticc.info> SUBMISSION DEADLINE 9th International Joint Conference on Computational Intelligence Submission Deadline: May 22, 2017 http://www.ijcci.org/ November 1 - 3, 2017 Funchal, Madeira, Portugal. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems In Cooperation with AIXIA, AAAI, EUSFLAT. With the presence of internationally distinguished keynote speakers: António Dourado, University of Coimbra, Portugal Emma Hart, Edinburgh Napier University, United Kingdom Paulo Novais, Universidade do Minho, Portugal Jonathan Garibaldi, University of Nottingham, United Kingdom A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, IJCCI Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From grlmc at grlmc.com Mon May 22 05:35:44 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 22 May 2017 05:35:44 +0200 Subject: TPNC 2017: 1st call for papers Message-ID: <545102060a010b0003535305020b5a52565706500209005400075b0002505b5757550002020d095709055353070651@grlmc_ip-zone_com-6> TPNC 2017: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 6th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2017   Prague, Czech Republic   December 18-20, 2017   Organized by:   Institute of Computer Science Czech Academy of Sciences   Faculty of Mathematics and Physics Charles University   Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University   http://grammars.grlmc.com/TPNC2017/ ***************************************************************************   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 2017 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 2017 will take place in Prague, whose historic centre is UNESCO World Heritage Site and which is home to famous attractions like the Prague Castle, the Charles Bridge, etc. The venue will be:   Faculty of Mathematics and Physics Charles University Ke Karlovu 3 121 16 Praha 2   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 2017 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Ajith Abraham (Machine Intelligence Research Labs, US) Gilles Brassard (University of Montréal, CA) Carlos Coello Coello (CINVESTAV-IPN, MX) Kalyanmoy Deb (Michigan State University, US) Marco Dorigo (Université Libre de Bruxelles, BE) Michel Gendreau (Polytechnique Montréal, CA) Enrique Herrera-Viedma (University of Granada, ES) Licheng Jiao (Xidian University, CN) Andrew Kusiak (University of Iowa, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Henri Prade (Paul Sabatier University, FR) Thomas Stützle (Université Libre de Bruxelles, BE) Ponnuthurai N. Suganthan (Nanyang Technological University, SG) Johan Suykens (KU Leuven, BE) Xin‐She Yang (Middlesex University, UK) Yiyu Yao (University of Regina, CA) Lotfi A. Zadeh (University of California, Berkeley, US) Anton Zeilinger (University of Vienna, AT)   ORGANIZING COMMITTEE:   Carlos Martín-Vide (Tarragona, co-chair) Roman Neruda (Prague, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London) Miguel A. Vega-Rodríguez (Cáceres)   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, graphics, 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=tpnc2017   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/TPNC2017/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: August 6, 2017 Notification of paper acceptance or rejection: September 6, 2017 Final version of the paper for the LNCS proceedings: September 16, 2017 Early registration: September 16, 2017 Late registration: December 4, 2017 Submission to the post-conference journal special issue: March 20, 2018   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   POSTAL ADDRESS:   TPNC 2017 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain   ACKNOWLEDGMENTS:   Akademie věd České republiky Univerzita Karlova v Praze Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Mon May 22 12:51:32 2017 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Mon, 22 May 2017 12:51:32 +0200 (CEST) Subject: Twelfth Madrid UPM Advanced Statistics and Data Mining Summer School (June 26th - July 7th, 2017) - Early registration deadline Message-ID: <75457651.13.1495450292413.JavaMail.bmihaljevic@morelia> Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school finishes on June 5th. The summer school will be held in Boadilla del Monte, near Madrid, from June 26th to July 7th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. For the third time in a row, INOMICS has selected our summer school as one of the world's top ten summer schools in mathematics and statistics. You can read more at http://bit.ly/2oR00GI Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larranaga, Concha Bielza, Bojan Mihaljevic and Alberto Ogbechie. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 26th - June 30th, 2017) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Training algorithms. Learning and Optimization. MLPs in practice. Deep Networks. Practical session: Python with keras and Jupyter notebooks. Course 6: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. * Week 2 (July 3rd - July 7th, 2017) * 1st session: 9:45-12:45 Course 7: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. Course 8: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization for regularized learning. Practical session: Python with scikit-learn, Jupyter notebooks. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. If you wish to stop receiving emails regarding the Madrid UPM Advanced Statistics and Data Mining summer school, please reply to this email with the title STOP. From francesco.nocera at poliba.it Tue May 23 08:40:56 2017 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Tue, 23 May 2017 06:40:56 +0000 Subject: CfP: Special issue on Software Architectures for the Web of Things ( SAWoT) Message-ID: IET Software Special Issue: Software Architectures for the Web of Things ( SAWoT) ** Call for paper ** http://digital-library.theiet.org/files/IET_SEN_CFP_SAWoT.pdf/ Engineering of the Web of Things is a cross-disciplinary research area that interests both engineers of the World Wide Web and researchers of the Internet of Things and Web of Things. Web technologies (e.g., HTML, JavaScript, Ajax, PHP, Ruby) can be used to build applications involving smart things, on the other hand well-known web mechanisms are available to interact with and share these devices. This calls for architectural styles and patterns that allow real-world objects to be part of the World Wide Web. The aim of this Special Issue is to bring together researchers, engineers and practitioners interested in architecting the Web of Things; of particular interest are contributions related to the subject at different levels, from modelling and design to engineering. Foundational contributions, as well as experiments of concrete applications, are sought. Topics of interest: - Software architectural styles and patterns for connecting objects to the World Wide Web - Engineering smart objects on the web - Semantic web and Linked open data - Web of Thing and Internet of Everything - Challenges for Big Data and Internet of Things applications - Architectures and frameworks for connection of smart devices - Survey and comparative studies - Other topics relevant to Web of Things All papers must be submitted through the journal's Manuscript Central system: http://mc.manuscriptcentral.com/iet-sen Expanded conference papers must include at least 30% new scientific material. Publication Schedule: Submission Deadline: 30 September 2017 Publication Date: June 2018 Guest Editors: o Marina Mongiello, Politecnico di Bari, Italy o Tommaso Di Noia, Politecnico di Bari, Italy o Francesco Nocera, Politecnico di Bari, Italy o Eugenio Di Sciascio, Politecnico di Bari, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dario.dellamonica at uniud.it Tue May 23 11:04:41 2017 From: dario.dellamonica at uniud.it (Dario Della Monica) Date: Tue, 23 May 2017 11:04:41 +0200 Subject: CILC 2017 call for paper: deadline approaching Message-ID: <01c478db-da5c-f3a8-6162-7a86992c8247@uniud.it> We are happy to announce the following event. Feel free to forward this message to whom it might interest. ********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 25 May 2017 Notification of acceptance: 30 June 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017 at easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ From rl.stpuu at gmail.com Wed May 24 02:30:04 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Wed, 24 May 2017 02:30:04 +0200 Subject: CfP: LACompLing2017 Extended Deadline: * June 9, 2017 * Message-ID: CALL FOR PAPERS * Extended submission deadline * *** June 9, 2017 *** for papers and abstracts (due to requests) ================================================= Workshop on Logic and Algorithms in Computational Linguistics 2017 (LACompLing2017) Stockholm, August 16-19, 2017 http://staff.math.su.se/rloukanova/LACompLing17.html ================================================ Affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017 Stockholm, 20--26 August 2017 Co-located with: Logic in Stockholm 2017 https://www.math-stockholm.se/en/konferenser-och-akti/logic-in-stockholm-2 ================================================= DESCRIPTION == Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science, logic, and many areas of mathematics - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress. -------------------------------- SCOPE == The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches. The topics of LACompLing2017 include, but are not limited to: - Computational theories of human language - Computational syntax - Computational semantics - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Computational grammar - Logic and reasoning systems for linguistics - Type theories for linguistics - Models of computation and algorithms for linguistics - Language processing - Parsing algorithms - Generation of language from semantic representations - Large-scale grammars of natural languages - Multilingual processing - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language theories based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES == Submission deadline for regular papers: ** June 9 (any time on Earth), 2017 ** Abstracts of short presentations: ** June 9 (any time on Earth), 2017 ** Notification of acceptance: June 15, 2017 Deadline for final submissions: June 25, 2017 Workshop: August 16-19, 2017 SUBMISSION INSTRUCTIONS == - Regular papers: between 10-15 pages, including figures and references, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - Abstracts of short presentations: not more than 1 page, by using LaTeX, with article.sty: \documentclass[a4paper,11pt]{article} - We invite original papers that are not submitted concurrently to another conference or for publication elsewhere - The submissions of proposed papers and abstracts of short presentations have to be in pdf - The camera-ready submissions require the pdf of the papers and their LaTeX sources The submissions are via the EasyChair management system of LACompLing2017: https://easychair.org/conferences/?conf=lacompling2017 PUBLICATIONS == - The proceedings of LACompLing2017 will be published digitally by the DiVA system of Stockholm University: http://su.diva-portal.org - Improved and extended versions of selected papers, which have been presented at the workshop LACompLing2017, will be published by the Journal of Logic, Language and Information, JoLLI, after the workshop. FEATURED INVITED SPEAKERS == Lucas Champollion, New York University, USA Robin Cooper, University of Gothenburg, Sweden Ann Copestake, University of Cambridge, UK Fredrik Engström, University of Gothenburg, Sweden Gintare Grigonyte, Stockholm University, Sweden Lars Hellan, Norwegian University of Science and Technology, Norway Valia Kordoni, Humboldt University Berlin, Germany Henriette de Swart, Utrecht Institute of Linguistics OTS - Language, logic and information, The Netherlands Nikola Kompa, University of Osnabrück, Germany Torbjörn Lager, University of Gothenburg, Sweden Staffan Larsson, University of Gothenburg, Sweden Louise McNally, Universitat Pompeu Fabra, Spain Richard Moot, CNRS, France Glyn Morrill, Universitat Politècnica de Catalunya, Spain Joakim Nivre, Uppsala University, Sweden Rainer Osswald, Heinrich-Heine-Universität Düsseldorf, Germany Peter Pagin, Stockholm University, Sweden Gerald Penn, University of Toronto, Canada Sam Sanders, Ludwig-Maximilian-University of Munich, Germany Mila Vulchanova, Norwegian University of Science and Technology, Norway Markus Werning, Ruhr University Bochum, Germany and more ... ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Valeria de Paiva, Nuance Communications, USA Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Reinhard Muskens, Tilburg University, The Netherlands CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Valeria de Paiva (valeria.depaiva at gmail.com) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From m.b.vanriemsdijk at tudelft.nl Wed May 24 15:59:40 2017 From: m.b.vanriemsdijk at tudelft.nl (Birna van Riemsdijk) Date: Wed, 24 May 2017 15:59:40 +0200 Subject: PhD and Postdoc position on Socially Adaptive Computing Message-ID: <9E70E5BB-4C1E-4566-9CDA-27A44F486EBE@tudelft.nl> 1 PhD position and 1 postdoc position on Socially Adaptive Computing Group: Interactive Intelligence, Delft University of Technology, The Netherlands Project leader: Dr. M. Birna van Riemsdijk Deadline for application: June 25th, 2017 More information: http://ii.tudelft.nl/~birna/projects/CoreSAEP.html JOB DESCRIPTION You will be working on the CoreSAEP project (Computational Reasoning for Socially Adaptive Electronic Partners), an 800K personal grant (Vidi) for Dr. M. Birna van Riemsdijk, funded by NWO. The goal of the project is to develop techniques for creating software that understands norms and values of people, which we call Socially Adaptive Computing. Through development of formal models we lay the foundations for intelligent supportive technology that can take into account social relations and human values, for example privacy, freedom and safety, when taking decisions on our behalf. Decisions may concern, e.g., which data to share with whom or who to contact if help is needed. This becomes more and more important with the rise of AI and Data Science and the increasing pervasiveness of intelligent technology in our daily lives. REQUIREMENTS The applicant has a Master's degree (and in case of applying for a postdoc also a PhD) in computer science or artificial intelligence and a good command of the English language. We are looking for candidates with expertise in formal methods, knowledge representation and reasoning, or related areas. We invite applications across the spectrum from fundamental to more applied. Some expertise in or affinity with ethics of information technology is useful. We seek candidates who have an open mind and who are inspired by the opportunity to contribute to shaping the digital society of the future. WHAT WE OFFER - a PhD position (4 years) and a postdoc position (2 years) - salary for a PhD position is EUR2222 to EUR2840 per month gross, and for a postdoc position EUR2558 to EUR4084 per month gross - conditions of employment include a customizable compensation package and discount on health insurance - enrolment in the TU Delft Graduate School (PhD position) - excellent multidisciplinairy research environment and opportunities for personal development - extensive network of national and international collaborators HOW TO APPLY Applications will be accepted until all positions have been filled. The first round of interviews will be conducted based on applications received by June 25th 2017. Informal inquiries about these positions can be sent to Birna van Riemsdijk (m.b.vanriemsdijk at tudelft.nl). PhD position (EWI2017-17): https://vacature.beta.tudelft.nl/vacaturesite/permalink/597494/?lang=en Postdoc position (EWI2017-16): https://vacature.beta.tudelft.nl/vacaturesite/permalink/597493/?lang=en To apply, please submit the following application material to Hr-eemcs at tudelft.nl and state the vacancy number in the subject line of the email: (1) Curriculum Vitae (with publications if you have any). (2) Course lists with grades and degree certificates (3) A letter of application in which you explain both your motivation and the relevance of your skills and experience for this research project. The motivational letter should be on-topic, generic letters will cause your application to be rejected immediately. (4) A list of 3 (academic) references that we can contact (5) When applying for a PhD position: your MSc thesis in English (or alternatively if your MSc thesis is not in English, a 5-page summary of your MSc thesis in English). When applying for the postdoc position: your PhD thesis (or a draft thereof) and a detailed list of your publications. ----------------------------- Dr. M. Birna van Riemsdijk assistant professor Interactive Intelligence Group Department of Intelligent Systems Faculty of Electrical Engineering, Mathematics and Computer Science Delft University of Technology Mekelweg 4 2628 CD Delft The Netherlands Room: HB 12.040 Telephone: +31 (0)15 2786331 Website: http://ii.tudelft.nl/~birna/ Twitter: @mbirna From ta10 at tu-clausthal.de Wed May 24 17:22:41 2017 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Wed, 24 May 2017 17:22:41 +0200 Subject: WFLP 2017 Call for Papers Message-ID: ====================================================================== CALL FOR PAPERS WFLP 2017 25th International Workshop on Functional and Logic Programming 31st Workshop on (Constraint) Logic Programming part of Declare 2017 - Conference on Declarative Programming September 19-22, 2017, Wuerzburg, Germany http://www-ps.informatik.uni-kiel.de/wflp2017/ ====================================================================== GENERAL WFLP 2017 is the combination of two workshops of a successful series of annual workshops on declarative programming. The international workshops on functional and logic programming aim at bringing together researchers interested in functional programming, logic programming, as well as their integration. The workshops on (constraint) logic programming serve as the scientific forum of the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence, and operations research. In this year both workshops will be jointly organized and collocated with the 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017) and the Summer School on Advanced Concepts for Databases and Logic Programming under the umbrella of the conference on Declarative Programming (Declare 2017) in order to promote the cross-fertilizing exchange of ideas and experiences among researchers and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. ---------------------------------------------------------------------- TOPICS The topics of interest include (but are not limited to): * Functional programming * Logic programming * Constraint programming * Deductive databases, data mining * Extensions of declarative languages, objects * Multi-paradigm declarative programming * Foundations, semantics, nonmonotonic reasoning, dynamics * Parallelism, concurrency * Program analysis, abstract interpretation * Program transformation, partial evaluation, meta-programming * Specification, verification, declarative debugging * Knowledge representation, machine learning * Interaction of declarative programming with other formalisms (e.g., agents, XML, Java) * Implementation of declarative languages * Advanced programming environments and tools * Software technique for declarative programming * Applications The primary focus is on new and original research results but submissions describing innovative products, prototypes under development, application systems, or interesting experiments (e.g., benchmarks) are also encouraged. ---------------------------------------------------------------------- IMPORTANT DATES Submission of papers: June 24, 2017 Notification of acceptance: July 14, 2017 Camera-ready papers: August 1, 2017 Workshop: September 19-22, 2017 ---------------------------------------------------------------------- SUBMISSION GUIDELINES Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Papers can be submitted as technical papers or system descriptions. Technical papers should consist of up to 15 pages, system descriptions should be no longer than 6 pages. Formatting should follow the LNCS guidelines. The details about the procedure to submit papers electronically are described on the conference website. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. ---------------------------------------------------------------------- PROCEEDINGS All accepted papers will be published as a technical report. As for previous events, it is planned to publish selected papers as post-conference proceedings in the Springer LNCS series. Previous proceedings appeared as Springer LNCS volumes 8439 (WFLP 2013), 6816 (WFLP 2011), 6559 (WFLP 2010), 5979 (WFLP 2009), 5437 (WLP 2007), and 3392 (WLP 2004). ---------------------------------------------------------------------- PROGRAM COMMITTEE Slim Abdennadher German University in Cairo, Egypt Sergio Antoy Portland State University, USA Olaf Chitil University of Kent, UK Juergen Dix Clausthal University of Technology, Germany Moreno Falaschi Universita di Siena, Italy Michael Hanus University of Kiel, Germany (Chair) Sebastiaan Joosten University of Innsbruck, Austria Oleg Kiselyov Tohoku University, Japan Herbert Kuchen University of Muenster, Germany Dietmar Seipel University of Wuerzburg, Germany Tom Schrijvers KU Leuven, Belgium Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Hans Tompits Vienna University of Technology, Austria German Vidal Universidad Politecnica de Valencia, Spain Janis Voigtlaender University of Duisburg-Essen, Germany Johannes Waldmann HTWK Leipzig, Germany ---------------------------------------------------------------------- CONTACT Michael Hanus University of Kiel, Germany Email: mh at informatik.uni-kiel.de ---------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ta10 at tu-clausthal.de Wed May 24 17:26:49 2017 From: ta10 at tu-clausthal.de (Tobias Ahlbrecht) Date: Wed, 24 May 2017 17:26:49 +0200 Subject: MAPC 2017 Call for Participation Message-ID: ======== CALL FOR PARTICIPATION ======== MAPC 2017 Multi-Agent Programming Contest https://multiagentcontest.org/2017/ ======================================== 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. We also expect that participating at the contest helps to debug existing systems and to identify their weak and strong aspects. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then passed through four distinct phases. 2005: the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. 2006 - 2007: the "goldminers"-scenario, where we provided the environment by means of an online-architecture and automatically determined the winner. 2008 - 2010: the "cows and cowboys"-scenario, again on the online-architecture, but with a slightly changed objective. 2011 - 2014: the "agents on Mars"-scenario, where agents had to solve a different more complex problem. 3. THE FIFTH PHASE: "AGENTS IN THE CITY" After the first instance in 2016, we present an iteration on the fifth MAPC scenario: "Agents in the city". The goal is to implement a team of cooperating agents with different roles in order to complete certain jobs on realistic street graphs. The challenge of the scenario is its ever increasing complexity: agents have to reason about the quality of jobs and how to complete them. This time around, we focus even more on enforcing cooperation among agents. 4. ENROLLING AND DOWNLOAD We would like to invite potential participants to join the MAPC mailing list. https://groups.google.com/forum/#!forum/agentcontest All the important details and announcements will be sent and discussed via this list. And please do not hesitate to say hello on the list. You can download the software package here: https://multiagentcontest.org/2017/#downloads or directly from GitHub: https://github.com/agentcontest/massim/releases 5. PARTICIPATION REQUIREMENTS The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of a short team description. Thus registering to the contest officially. 3. Participation in all assigned matches in the final tournament. 4. Submitting the source-code of your application right after the tournament. 5. Submission of a paper after the tournament. 6. ROUGH TIMELINE Until 31st of July: individual testing phase. 1st - 8th of August: registration phase. 9th - 21st of August: connection testing. You will have the chance to test the connection to our servers. 4th of September: qualification phase. You have to prove that your agents' connections to our servers are stable and reliable. Week of 18th of September: tournament. After tournament: publications. 7. PUBLICATIONS After the tournament we invite each participant to submit a paper about their agent team. The papers of which the quality has been assured will be regularly published. The publication outlet will be announced as soon as possible. 8. PRIZE The winner of the contest will be awarded with a voucher for 500 EUR worth in books, thankfully provided by Springer Verlag. Requirements are the submission of a paper and the source codes of the agents. 9. PEOPLE Organizers: Tobias Ahlbrecht(Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Niklas Fiekas (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Peter Novak (Delft University of Technology) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Mon May 22 18:30:07 2017 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 22 May 2017 18:30:07 +0200 Subject: CfP: AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17) Message-ID: with apologies for multiple posting ------------------------------------------------------------- Deadline for Position Papers: ** May 31, 2017 ** NOTE: good position papers may qualify for upgrade to regular papers ------------------------------------------------------------- 2nd International Workshop on AI aspects of Reasoning, Information, and Memory 2017 (AIRIM'17) Prague, Czech Republic, 3-6 September, 2017 https://www.fedcsis.org/2017/airim ------------------------------------------------------------- SCOPE There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning. TOPICS We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, memory, and reasoning - Partiality, underspecification, vagueness, and possibilities - Detection of and reasoning with inconsistency - Logic and language --- approaches, theories, methods - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches and grammars - Logical approaches to multilingual processing - Logical and computational foundations in machine learning and information retrieval - Mathematics for linguistics and cognitive science - Reasoning, information, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to information, language, memory, and reasoning IMPORTANT (active) DATES Paper submission: expired Position paper submission: May 31, 2017 Authors notification: June 14, 2017 Final paper submission and registration: June 28, 2017 Final deadline for discounted fee: August 01, 2017 Conference dates: September 3-6, 2017 PAPER SUBMISSION and PUBLICATIONS https://www.fedcsis.org/2017/airim The publication rules, status, and the submission page for AIRIM'17 are the same as for AAIA'17 | FedCSIS: https://www.fedcsis.org/2017/instructions - Authors should submit draft papers (as Postscript, PDF of MSWord file) - The total length of a regular paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available at the websites of AIRIM'17 | AAIA'17 | FedCSIS - Position papers relate to an ongoing research or experience. Position papers must not exceed 8 pages. - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Pre-prints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database - Conference proceedings will be published in a volume with ISBN, ISSN, and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography, and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) CONTACT INFORMATION Roussanka Loukanova (rloukanova at gmail.com) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dario.dellamonica at uniud.it Fri May 26 09:54:14 2017 From: dario.dellamonica at uniud.it (Dario Della Monica) Date: Fri, 26 May 2017 09:54:14 +0200 Subject: CILC 2017: call for papers---extended deadlines Message-ID: <5e88067b-ac9c-6109-425e-48d3eaa06bb7@uniud.it> We are happy to announce extended deadlines for the following event. Feel free to forward this message to whom it might interest. ********************************************************************** CALL FOR PAPERS 32nd Italian Conference on Computational Logic (CILC 2017) -- http://cilc2017.unina.it/ Naples, Italy, September 26-29, 2017 ********************************************************************** CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. CILC 2017 is co-located with the 18th Italian Conference on Theoretical Computer Science ICTCS 2017 (http://ictcs2017.unina.it/) with which it will share part of the program. The two events will feature plenary events, on September 29, to be specified later. Contributions: -------------- The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: Logic Programming, Constraint Programming and other paradigms of declarative programming Extensions and integrations of declarative programming paradigms Analysis, transformation, validation, and verification of programs Instruments and environments for program development Implementations and benchmarking Model Checking Temporal logics Automated Theorem Proving Non-Monotonic Reasoning Answer Set Programming Knowledge representation and extraction Treatment of uncertain and incomplete knowledge Approximate Reasoning Abductive Logic Programming Model-based Reasoning Inductive Logic Programming Deductive Databases Data Mining and Data Integration Multi-agent systems Logics for strategic reasoning Semantic Web Natural Language Processing Computational logic for concurrency, coordination, mobility and objects Planning and scheduling Probabilistic Logic Programming Computational Logic and formal methods in Artificial Intelligence Applications of Computational Logic Pedagogy of Computational Logic Invited Speakers: ----------------- The invited speakers for this joint CILC/ICTCS event are: Mario Alviano, University of Calabria Laura Giordano, Università del Piemonte Orientale Alessio Lomuscio, Imperial College London Important dates: ---------------- Abstract, paper, and demo submission deadline: 7 June 2017 Notification of acceptance: 7 July 2017 Final version and early registration deadline: 24 July 2017 Conference: 26-29 September 2017 Submission instructions: ------------------------ Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc2017 Articles must not exceed 15 pages for full papers and 5 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. In particular, we invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference). Proceedings: ------------ All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication if already published. As in previous years, we plan to publish a selection of the best papers in a special issue of an international journal (to be determined). This is open to full and short papers that have not been published in a journal. General chair: -------------- Aniello Murano (University of Naples "Federico II") Program co-chairs: ------------------ Dario Della Monica (Universidad Complutense de Madrid) Luigi Sauro (University of Naples "Federico II") Program Committee: ------------------ Davide Ancona, University of Genova, Italy Paolo Baldan, University of Padova, Italy Ezio Bartocci, Vienna University of Technology, Austria Massimo Bartoletti, University of Cagliari, Italy Vittorio Bilò, University of Salento, Italy Stefania Costantini, University of L'Aquila, Italy Ugo Dal Lago, University of Bologna, Italy Pierpaolo Degano, University of Pisa, Italy Stefano Ferilli, University of Bari, Italy Fabio Fioravanti, University of Chieti-Pescara, Italy Ferdinando Fioretto, University of Michigan, USA Andrea Formisano, University of Perugia, Italy Raffaella Gentilini, University of Perugia, Italy Laura Giordano, DISIT, University of Piemonte Orientale, Italy Marco Manna, University of Calabria, Italy Marco Maratea, DIBRIS, University of Genova, Italy Viviana Mascardi, DIBRIS University of Genova, Italy Barbara Masucci, University of Salerno, Italy Paola Mello, University of Bologna, Italy Matteo Mio, CNRS/ENS-Lyon, France Fabio Mogavero, University of Oxford, UK Marco Montali, Free University of Bolzano, Italy Manuela Montangero, University of Modena and Reggio Emilia, Italy Laura Nenzi, IMT, Lucca, Italy Eugenio Omodeo, University of Trieste, Italy Fabio Patrizi, Sapienza University of Rome, Italy Giuseppe Perelli, University of Oxford, UK Adriano Peron, University of Napoli "Federico II", Italy Alberto Pettorossi, University of Roma Tor Vergata, Italy Carla Piazza, University of Udine, Italy Luca Pulina, POLCOMING, University of Sassari, Italy Fabrizio Riguzzi, University of Ferrara, Italy Gianfranco Rossi, University of Parma, Italy Guido Sciavicco, University of Ferrara, Italy Jeremy Sproston, University of Torino , Italy Tiziano Villa, University of Verona, Italy Venue: ------ The conference will take place at the "Complesso di San Giovanni a Teduccio---Complesso Napoli Est", in Corso Nicolangelo Protopisani, 70, 80146 Napoli. -------------- For more information email cilc2017 at easychair.org. -- Dario Della Monica, Postdoctoral Researcher Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI) University of Naples "Federico II" via Claudio, 21, 80125 Naples, Italy cell: (+39) 328 2477327 email: dario.dellamonica [at] unina.it skype: dariodellamonica web site: http://wpage.unina.it/dario.dellamonica/ From madeira at ua.pt Fri May 26 11:28:41 2017 From: madeira at ua.pt (Alexandre Madeira) Date: Fri, 26 May 2017 09:28:41 +0000 Subject: =?utf-8?B?V29ya3Nob3AgRGFMw60gPT09IE5ldyBkZWFkbGluZSA9PT09?= Message-ID: <5BF2E64D-06F1-4578-B7BF-86B77288A8E1@ua.pt> ==== DEADLINE EXTENSION===== Workshop DaLí – Dynamic Logic: new trends and applications Brasília, 24 September, 2017 (co-located with FROCOS TABLEAUX and ITP 2017) workshop.dali.di.uminho.pt Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was intro- duced in the 70’s by Pratt as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This leads to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic. The event is promoted by the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design (POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese Foundation for Science and Technology (http: //dali.di.uminho.pt). ***** Topics ***** We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to: - Dynamic logic,foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics ***** Submissions and publications **** Authors are invited to submit original papers (un-published and not submitted for publication elsewhere) up to 15 pages in lncs style. Accepted papers will be published in a Springer’s Lecture Notes of Computer Science volume. Submissions with work in progress (abstracts with 2-5 pag) are also welcomed for short presentations. They are subject of a light reviewing and will be available at conference in a informal booklet. Both kind of submissions should be done via the EasyChair link https://easychair.org/conferences/?conf=dali17. Extended versions of the DaLí contributions will be invited to a special issue in the Journal of Logical and Algebraic Methods in Programming, Elsevier. ***** Important Dates **** - NEW DEADLINE - June 18, 2017: Abstract deadline - NEW DEADLINE - June 18, 2017: Full paper deadline - July 14, 2017: Author notification **** Invited Speakers **** - Alexandru Baltag, UVA, NL - Edward Hermann Haeusler, PUC-Rio, BR **** PC Chairs **** - Alexandre Madeira (UM & UA, PT) - Mário Benevides (UFRJ, BR) **** Program Committee: **** - Carlos Areces (U. Cordoba, AR) - Phillippe Balbiani (U. Toulouse, FR) - Alexandru Baltag (Uva, NL) - Luís S. Barbosa (U.Minho, PT) - Johan van Benthem (U.Stanford & U.Tsinghua) - Patrick Blackburn (U. Roskilde, DK) - Stéphane Demri (CNRS, FR) - Hans van Ditmarsch (LORIA, Nancy, FR) - Francicleber M. Ferreira (UFC, BR) - Valentin Goranko (U. Stockholm, SE) - Edward H. Hauesler (PUC-Rio, BR) - Rolf Hennicker (LMU, Munchen, DE) - Andreas Herzig (Toulouse, FR) - Dexter Kozen (Cornell, USA) - Clemens Kupke (U.Strathclyde, UK) - Bruno Lopes Vieira (UFF, BR) - Paulo Mateus (IST, PT) - Manuel A. Martins (U.Aveiro, PT) - Carlos Olarte (UFRN, BR) - José N. Oliveira (U. Minho, PT) - André Platzer (CMU, USA) - Eugénio Rocha (U. Aveiro, PT) - Valéria de Paiva (NC, USA) - Regivan Santiago (UFRN, BR) - Luis Menasche Schechter (UFRJ, BR) - Tinko Tinchev (U. Sofia, BG) - Petrucio Viana (UFF, BR) - Yde Venema (ILLC, NL) - Renata Wassermann (USP, BR) From grlmc at grlmc.com Mon May 29 01:00:27 2017 From: grlmc at grlmc.com (GRLMC) Date: Mon, 29 May 2017 01:00:27 +0200 Subject: DeepLearn 2017: early registration June 16 Message-ID: <545102060a010b00045751030e0b5a0151560c58005757020103010953075007565756010b01060702025253570657@grlmc_ip-zone_com-6> DeepLearn 2017: early registration June 16*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************   INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2017   Bilbao, Spain   July 17-21, 2017   Organized by: University of Deusto Rovira i Virgili University   http://grammars.grlmc.com/DeepLearn2017/   ************************************************************   --- Early registration deadline: June 16, 2017 ---   ********************************************************   SCOPE:   DeepLearn 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 deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neuroscience, computer vision, speech recognition, language processing, drug discovery, biomedical informatics, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 4 keynote lectures, 30 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, doctoral students and postdocs will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. DeepLearn 2017 is also appropriate for more senior academics and practitioners 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, 3-4 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:   DeepLearn 2017 will take place in Bilbao, the largest city in the Basque Country, famous for its gastronomy and the seat of the Guggenheim Museum. The venue will be:   DeustoTech, School of Engineering University of Deusto Avda. Universidades, 24 48014 Bilbao, Spain   KEYNOTE SPEAKERS: (to be completed)   Richard Socher (Salesforce), Tackling the Limits of Deep Learning   PROFESSORS AND COURSES:   Narendra Ahuja (University of Illinois, Urbana-Champaign), [introductory/intermediate] Basics of Deep Learning with Applications to Image Processing, Pattern Recognition and Computer Vision   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory and Applications to the Natural Sciences   Sven Behnke (University of Bonn), [intermediate] Visual Perception using Deep Convolutional Neural Networks    Mohammed Bennamoun (University of Western Australia), [introductory/intermediate] Deep Learning for Computer Vision   Hervé Bourlard (Idiap Research Institute), [intermediate/advanced] Deep Sequence Modeling: Historical Perspective and Current Trends   Thomas Breuel (NVIDIA Corporation), [intermediate] Segmentation, Processing, and Tracking, with Applications to Video, Gaming, VR, and Self-driving Cars   George Cybenko (Dartmouth College), [intermediate] Deep Learning of Behaviors   Rina Dechter & Alexander Ihler (University of California, Irvine), [introductory] Algorithms for Reasoning with Probabilistic Graphical Models   Li Deng (Microsoft Research), tba   Jianfeng Gao (Microsoft Research), [introductory/intermediate] An Introduction to Deep Learning for Natural Language Processing   Michael Gschwind (IBM T.J. Watson Research Center), [introductory/intermediate] Deploying Deep Learning Applications at the Enterprise Scale   Yufei Huang (University of Texas, San Antonio), [intermediate/advanced] Deep Learning for Precision Medicine and Biomedical informatics   Soo-Young Lee (Korea Advanced Institute of Science and Technology), [intermediate/advanced] Multi-modal Deep Learning for the Recognition of Human Emotions in the Wild   Li Erran Li (Columbia University), [intermediate/advanced] Deep Reinforcement Learning: Recent Advances and Frontiers   Michael C. Mozer (University of Colorado, Boulder), [introductory/intermediate] Incorporating Domain Bias into Neural Networks   Roderick Murray-Smith (University of Glasgow), [intermediate] Applications of Deep Learning Models in Human-Computer Interaction Research   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Marc’Aurelio Ranzato (Facebook AI Research), [introductory/intermediate] Learning Representations for Vision, Speech and Text Processing Applications   Maximilian Riesenhuber (Georgetown University), [introductory/intermediate] Deep Learning in the Brain   Ruslan Salakhutdinov (Carnegie Mellon University), [intermediate/advanced] Foundations of Deep Learning and its Recent Advances   Alessandro Sperduti (University of Padua), [intermediate/advanced] Deep Learning for Sequences   Jimeng Sun (Georgia Institute of Technology), [introductory] Interpretable Deep Learning Models for Healthcare Applications   Julian Togelius (New York University), [intermediate] (Deep) Learning for (Video) Games   Joos Vandewalle (KU Leuven), [introductory/intermediate] Data Processing Methods, and Applications of Least Squares Support Vector Machines   Ying Nian Wu (University of California, Los Angeles), [introductory/intermediate] Generative Modeling and Unsupervised Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] Statistical Machine Learning Perspectives of Extending Deep Neural Networks: Kernels, Logics, Regularizers, Priors, and Distributed Algorithms   Georgios N. Yannakakis (University of Malta), [introductory/intermediate] Deep Learning for Games - But Not for Playing them   Scott Wen-tau Yih (Microsoft Research), [introductory/intermediate] Continuous Representations for Natural Language Understanding   Richard Zemel (University of Toronto), [introductory/intermediate] Learning to Understand Images and Text   OPEN SESSION:   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david.silva409 (at) yahoo.com by July 9, 2017.   INDUSTRIAL SESSION:   A specific session will be devoted to demonstrations of practical uses of deep learning in industrial processes. Companies/people interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration, the duration requested and the logistics necessary. At least one of the people participating in the demonstration should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   EMPLOYERS SESSION:   Firms searching for personnel well skilled in deep learning will have a space reserved for one-to-one contacts. At least one of the people in charge of the search should have registered for the event. Expressions of interest have to be submitted to david.silva409 (at) yahoo.com by July 2, 2017.   ORGANIZING COMMITTEE:   Pablo García Bringas (co-chair) José Gaviria Carlos Martín (co-chair) Manuel Jesús Parra Iker Pastor Borja Sanz (co-chair) David Silva   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2017/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 comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the website.   CERTIFICATE:   Participants will be delivered a certificate of attendance indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david.silva409 (at) yahoo.com   ACKNOWLEDGMENTS:   Universidad de Deusto Universitat Rovira i Virgili -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evert at MW-020708.clients.vu.nl Mon May 29 13:15:43 2017 From: evert at MW-020708.clients.vu.nl (Evert Haasdijk) Date: Mon, 29 May 2017 13:15:43 +0200 (CEST) Subject: [meetings] Call for Abstracts: Workshop on Social Learning and Cultural Evolution (SlaCE) at ECAL 2017 Message-ID: <20170529111543.3641E608FD4BF@MW-020708.clients.vu.nl> Dear Colleagues, This is a call for abstracts for the Second International Workshop on “Social Learning and Cultural Evolution (SlaCE)”, which will be held at ECAL 2017 in Lyon, France. Organizers: Julien Hubert, j.g.hubert at vu.nl Jacqueline Heinerman, j.v.heinerman at vu.nl Evert Haasdijk, e.haasdijk at vu.nl Chris Marriott, dr.chris.marriott at gmail.com James Borg, j.borg at keele.ac.uk Peter Andras, p.andras at keele.ac.uk Submission deadline: June 27, 2017 Notification of acceptance: July 27, 2017 Submission website: https://easychair.org/conferences/?conf=slace2017 Workshop website: http://www.climbinggiants.com/slace/2/index.html Contact e-mail: j.g.hubert at vu.nl ********* DESCRIPTION ******** In social species, learning from others, i.e. social learning, is one of the cornerstones of cognitive development. Social learning has been shown to increase the learning speed of individuals, but also enables them to reach a higher performance in comparison with learning individually. Social learning also enables local populations to develop a culture that can evolve over time. Realising social learning in artificial systems faces many challenges requiring inputs from machine learning, robotics and evolutionary biology. The aim of this workshop is to promote discussions on social learning and cultural evolution with a special emphasis on the future of of the field. Social learning has been actively studied in psychology but is still in its infancy in artificial systems. Many open questions remain, such as when is social learning advantageous, or what kind of information should be transferred. These questions have been studied but a consensus has yet to be reached, mainly because of the difficulty to compare results in social learning due to the absence of a common research framework. This workshop is devoted to discuss and establish such a framework that will push the research forward. The core of the workshop will consist of short presentations from contributors on their work in the field (current or historical), collective research goals and milestones in social learning and cultural evolution or new concepts, modelling techniques or research questions. Presenters are encouraged to address any of the following topics (though this list is not exhaustive): - Social Learning Mechanisms - Social Information Transfer - Transfer learning - The interaction between social and non social learning - The interaction between learning and evolution - Environmental Variability, Environmental Complexity, and Social Learning - Social Learning Strategies - Social Learning and Life History Evolution - Models of Learning in Nature - The Evolution of Culture - Communication - Social Networks and Social Contagion on networks - Group structure and learning bias - Social Robotics - Grounded (Animat) models of Social Learning - Do our definitions match those used in other related fields (i.e Imitation, Culture, ...) - Human Cultural Evolution (Cumulative Culture) - Co-operation - Gene-Culture Co-Evolution/ Dual Inheritance Theory - Philosophy of Culture - Memetics The workshop will conclude with a fishbowl discussion on the future of Social Learning and Cultural Evolution research in ALife. We ask potential contributors to submit an extended abstract (1 page). We are open to presenters who are contributing during the main ECAL conference to also talk about their work during the workshop in order to have additional discussions. PhD students and young career academics who are new to the field are encouraged to submit to this workshop. SLACE-2017 will be held on September 4th 2017, at ECAL 2017 Kind Regards, Julien, James, Jacqueline, Evert, Chris and Peter From serge.autexier at dfki.de Mon May 29 18:57:59 2017 From: serge.autexier at dfki.de (Serge Autexier) Date: Mon, 29 May 2017 18:57:59 +0200 (CEST) Subject: Call for Submissions to the Doctoral Programme - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Deadline: June 5th, 2017 Message-ID: <20170529165759.9F7D313C9F02@gigondas-5.fritz.box> Call for Submissions to the Doctoral Programme 10th Conference on Intelligent Computer Mathematics - CICM 2017 - July 17-21, 2017 University of Edinburgh, Scotland http://www.cicm-conference.org/2017 ---------------------------------------------------------------------- * Submission deadline (Abstract + CV): 5. June 2017 * Notification of acceptance: 8. June 2017 Further information see below NEWS: Invited Speakers at CICM 2017 - Alan Bundy (University of Edinburgh) - Przemysław Chojecki (Polish Academy of Sciences) - Grant Olney Passmore (University of Cambridge) ---------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value. The Conference on Intelligent Computer Mathematics (CICM) offers a venue for discussing and developing solutions to the great challenges posed by the integration of these diverse areas. CICM has been held annually as a joint meeting since 2008, co-locating related conferences and workshops to advance work in these subjects. Previous meetings have been held in Birmingham (UK 2008), Grand Bend (Canada 2009), Paris (France 2010), Bertinoro (Italy 2011), Bremen (Germany 2012), Bath (UK 2013), Coimbra (Portugal 2014), Washington DC (USA 2015) and Bialystok (Poland 2016). This is a call for papers for CICM 2017, which will be held in Edinburgh, Scotland, July 17-21, 2017. CICM 2017 also invites work-in- progress papers. The principal tracks of the conference are: * Track: Calculemus (chair: Matthew England) * Track: Digital Mathematical Libraries (DML) (chair: Olaf Teschke) * Track: Mathematical Knowledge Management (MKM) (chair: Florian Rabe) * Track: Systems & Data (chair: Osman Hasan) * Track: Doctoral Programme (chair: Adnan Rashid) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements are coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. CICM is also an excellent opportunity for graduate students to meet established researchers from the areas of computer algebra, automated deduction, and mathematical publishing. The Doctoral Programme provides a dedicated forum for PhD students to present and discuss their ideas, ongoing or planned research, and achieved results in an open atmosphere. It will consist of presentations by the PhD students to get constructive feedback, advice, and suggestions from the research advisory board, researchers, and other PhD students. Each PhD student will be assigned to an experienced researcher from the research advisory board who will act as a mentor and who will provide detailed feedback and advice on their intended and ongoing research. Submission to the doctoral programs are possible until 5. June, details of the submission process are given below. *Important Dates* - Submission deadline (Abstract + CV): 5. June 2017 - Notification of acceptance: 8. June 2017 *Submission* - Submission by e-mail to the DP chair Adnan Rashid Email: adnan.rashid at seecs.edu.pk Web: http://save.seecs.nust.edu.pk/adnanrashid/ More details on the conference are available from http://www.cicm-conference.org/2017 From icaart at insticc.info Mon May 29 19:27:24 2017 From: icaart at insticc.info (icaart at insticc.info) Date: 29 May 2017 18:27:24 +0100 Subject: CFP ICAART 2018 - 10th Int.l Conf. on Agents and Artificial Intelligence (Funchal, Madeira/Portugal) Message-ID: <20170529172726.53804.9AA9BCC0826B69C5@insticc.info> SUBMISSION DEADLINE 10th International Conference on Agents and Artificial Intelligence Submission Deadline: July 31, 2017 http://www.icaart.org/ January 16 - 18, 2018 Funchal, Madeira, Portugal. ICAART is organized in 2 major tracks: - Agents - Artificial Intelligence In Cooperation with APPIA, AEPIA, AIXIA, Iberamia, EUSFLAT, APRP, EurAI, IFSA, AAAI. Technically Co-sponsored by IEEE CIS. With the presence of internationally distinguished keynote speakers: Luc Steels, ICREA, Institute of Evolutionary Biology (UPF-CSIC) Barcelona, Spain Virginia Dignum, Delft University of Technology, Netherlands Eduard Hovy, Carnegie Mellon University, United States Luís Antunes, Universidade de Lisboa, Portugal A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icaart.org/ e-mail: icaart.secretariat at insticc.org From icpram at insticc.info Mon May 29 19:27:33 2017 From: icpram at insticc.info (icpram at insticc.info) Date: 29 May 2017 18:27:33 +0100 Subject: CFP ICPRAM 2018 - 7th Int.l Conf. on Pattern Recognition Applications and Methods (Funchal, Madeira/Portugal) Message-ID: <20170529172735.53804.0F732FB6D55F3323@insticc.info> SUBMISSION DEADLINE 7th International Conference on Pattern Recognition Applications and Methods Submission Deadline: July 31, 2017 http://www.icpram.org/ January 16 - 18, 2018 Funchal, Madeira, Portugal. ICPRAM is organized in 2 major tracks: - Theory and Methods - Applications In Cooperation with AIXIA, APRP, INNS, AAAI. With the presence of internationally distinguished keynote speakers: Rita Cucchiara, University of Modena and Reggio Emilia, Italy Edwin Hancock, York University, United Kingdom Xiaoyi Jiang, University of Münster, Germany Alfred Bruckstein, Technion, Israel A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICPRAM Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icpram.org/ e-mail: icpram.secretariat at insticc.org From icores at insticc.info Mon May 29 20:13:40 2017 From: icores at insticc.info (icores at insticc.info) Date: 29 May 2017 19:13:40 +0100 Subject: CFP ICORES 2018 - 7th Int.l Conf. on Operations Research and Enterprise Systems (Funchal, Madeira/Portugal) Message-ID: <20170529181342.18984.03D0C9C4C6A3543D@insticc.info> SUBMISSION DEADLINE 7th International Conference on Operations Research and Enterprise Systems Submission Deadline: July 31, 2017 http://www.icores.org/ January 24 - 26, 2018 Funchal, Madeira, Portugal. ICORES is organized in 2 major tracks: - Methodologies and Technologies - Applications In Cooperation with EurAgEng. With the presence of internationally distinguished keynote speakers: Aharon Ben-Tal, Technion, Israel Institute of Technology, Israel Aaron Burciaga, Accenture, United States Abdelkader Sbihi, EM Normandie, France Aaron Burciaga, Accenture, United States Abdelkader Sbihi, EM Normandie, France A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don’t hesitate contacting me. Kind regards, ICORES Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 100 033 Fax: +351 265 520 186 Web: http://www.icores.org/ e-mail: icores.secretariat at insticc.org From jleite at fct.unl.pt Tue May 30 01:22:17 2017 From: jleite at fct.unl.pt (Joao Leite) Date: Tue, 30 May 2017 00:22:17 +0100 Subject: PRIMA'17 - Deadline Extension - New date: 18th of June Message-ID: Dear all, we have exciting news: - Submission Deadline Extended: ***June 18th, 2017*** - Special Issues ************************ PRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems Nice, France https://prima2017.gforge.uni.lu/ ************************ Important Dates ************************ Submission of papers: June 18th, 2017 (**new**) Notification of acceptance: July 21st, 2017 Camera-ready version: September 1st, 2017 Conference: October 30th to November 3rd, 2017 ************************ Special Issues ************************ After the conference, a selection of the best papers will be invited to submit extended versions to a Special Issue of the Knowledge Engineering Review. In addition, we are currently negotiating with the Journal of Autonomous Agents and Multi-Agent Systems the possibility to implement a fast submission track for the very best PRIMA papers. ************************ About PRIMA: ************************ Agent-based Computing addresses the challenges in managing distributed computing systems and networks through monitoring, communication, consensus-based decision-making and coordinated actuation. As a result, intelligent agents and multi-agent systems have demonstrated the capability to use intelligence, knowledge representation and reasoning, and other social metaphors like ‘trust’, ‘game’ and ‘institution’, not only to address real-world problems in a human-like way but also to transcend human performance. This has had a transformative impact in many application domains, particularly in e-commerce, and also in planning, logistics, manufacturing, robotics, decision support, transportation, entertainment, emergency relief & disaster management, and data mining & analytics. The 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017) invites submissions of original, unpublished, theoretical and applied work on any such topic, and encourages reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. ************************ Information for Authors ************************ The PRIMA 2017 Program Committee invites submissions of original, unpublished, theoretical and applied work strongly relevant to multiagent systems, including reports on the development of prototype and deployed agent systems, and of experiments that demonstrate novel agent system capabilities. An indicative list of topics is provided below. Papers should be at most 16 pages in length in the Springer LNCS format. All accepted papers will be published in Springer’s LNAI series. Papers are to be submitted through the Easychair Conference Management System: https://easychair.org/conferences/?conf=prima2017. ************************ Committees ************************ General Chairs ++++++++++++++++++++++++ Leendert van der Torre, University of Luxembourg, Luxembourg Serena Villata, Université Côte d’Azur, France Program Chairs ++++++++++++++++++++++++ Ana Bazzan, Universidade Federal do Rio Grande do Sul, Brasil Joao Leite, Universidade Nova de Lisboa, Portugal Bo An, Nanyang Technological University Local Organizing Co-Chairs: ++++++++++++++++++++++++ Andrea G.B. Tettamanzi, Professeur, Université Côte d’Azur Celia da Costa Pereira, McF, Université Côte d’Azur Catherine Faron-Zucker, McF, Université Côte d’Azur Senior Program Committee (preliminary list): ++++++++++++++++++++++++ Matteo Baldoni, University of Torino Tina Balke, University of Surrey Jamal, Bentahar, Concordia University Rafael H. Bordini, PUCRS Mehdi Dastani, Utrecht University Paul Davidsson, Malmö University Yves Demazeau, CNRS - LIG Frank Dignum, Utrecht University Ulle Endriss, University of Amsterdam Rino Falcone, Institute of Cognitive Sciences and Technologies-CNR Katsutoshi Hirayama, Kobe University Felipe Meneguzzi, Pontifical Catholic University of Rio Grande do Sul Zinovi Rabinovich, Nanyang Technological University Bastin Tony Roy Savarimuthu, University of Otago Paolo Torroni, Università di Bologna Bo Yang, Jilin University Makoto Yokoo, Kyushu University Topics of interest include (but are not limited to) the following: Logic and Reasoning ++++++++++++++++++++++++ Logics of agency Logics of multiagent systems Norms Argumentation Computational Game Theory Uncertainty in Agent Systems Agent and Multi-Agent Learning Engineering Multi-Agent Systems ++++++++++++++++++++++++ Agent-Oriented Software Engineering Interaction protocols Commitments Institutions and Organizations Normative Systems Formal Specification and Verification Agent Programming Languages Middleware and Platforms Testing, debugging, and evolution Deployed System Case Studies Agent-Based Modeling and Simulation ++++++++++++++++++++++++ Simulation Languages and Platforms Artificial Societies Virtual Environments Emergent Behavior Modeling System Dynamics Application Case Studies Collaboration & Coordination ++++++++++++++++++++++++ Planning Distributed Problem Solving Teamwork Coalition Formation Negotiation Trust and Reputation Economic paradigms ++++++++++++++++++++++++ Auctions and mechanism design Bargaining and negotiation Behavioral game theory Cooperative games: theory & analysis Cooperative games: computation Noncooperative games: theory & analysis Noncooperative games: computation Social choice theory Game theory for practical applications Human-Agent Interaction ++++++++++++++++++++++++ Adaptive Personal Assistants Embodied Conversational Agents Virtual Characters Multimodal User Interfaces Mobile Agents Human-Robot Interaction Decentralized Paradigms ++++++++++++++++++++++++ Grid Computing Service-Oriented Computing Cybersecurity Robotics and Multirobot Systems Ubiquitous Computing Social Computing Internet of Things Application Domains for Multi-Agent Systems ++++++++++++++++++++++++ Healthcare Autonomous Systems Transport and Logistics Emergency and Disaster Management Energy and Utilities Management Sustainability and Resource Management Games and Entertainment e-Business, e-Government, and e-Learning Smart Cities Financial markets Legal applications -- --------------------------------------------------------------- Joao Leite FCT-UNL - Universidade Nova de Lisboa, Faculdade de Ciencias e Tecnologia, Departamento de Informatica e-mail: jleite at fct.unl.pt web: http://userweb.fct.unl.pt/~jleite/ --------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Tue May 30 01:46:38 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 30 May 2017 01:46:38 +0200 Subject: ODLS 2017: 1st Call for Papers (Ontologies and Data in Life Sciences, Sep 22-23, Bolzano, Italy; part of JOWO 2017) Message-ID: <201705292346.v4TNkgeE015319@isun.informatik.uni-leipzig.de> (apologies for cross-posting ... please distribute) ------------------------------------------------------- 1st Call for Papers >> ODLS 2017 << Submission deadline: July 17, 2017 https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2017) held as part of the Joint Ontology Workshops (JOWO 2017) September 22-23, 2017 Bolzano, Italy Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse presents ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences range from the best possible integration and usage of distributed, heterogeneous data to the best possible obfuscation of medical data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing, across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. This year ODLS is part of the Joint Ontology Workshops (JOWO) [2], which yields a stimulating environment of further thematically close workshops, including joint sessions such as shared keynote talks, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- Submission of contributions: July 17, 2017 (Mon) Author notification: September 01, 2017 (Fri) Camera-ready versions due: September 15, 2017 (Fri) Registration: (TBA by JOWO) ODLS Workshop: September 22-23, 2017 (Fri-Sat) Please NOTE: The deadlines include no room for extensions. Especially, the full amount of time available for preparing abstracts and papers is specified from the beginning, rather than declaring earlier dates in this call and granting an (initially unknown) deadline extension later. Submission Instructions ----------------------- Submissions to the workshop can be (i) extended abstracts of 2-5 pages OR (ii) papers of 6-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2017 [3], selecting "Ontologies and Data in Life Sciences" as the relevant track. [3] https://easychair.org/conferences/?conf=jowo2017 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2017 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as Microsoft Word. Accepted papers and extended abstracts will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings [5]. After the workshop, authors of selected submissions will be invited to submit revised and extended versions to a journal. Please see [1] for updates on the specific journal. Scientific Organization ----------------------- ODLS 2017 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [6] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [7] by being part of JOWO 2017 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Heinrich Herre, University of Leipzig, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Daniel Schober, Leibniz Institute of Plant Biochemistry, Halle(Saale), Germany Program Committee ----------------- TBA (see [1] for updates) Location and Local Organization ------------------------------- The workshop is part of JOWO 2017 [2], which is hosted by the Free University of Bozen-Bolzano, Italy [8]. Local Chair: * Oliver Kutz, Free University of Bozen-Bolzano, Italy Links ----- [1] ODLS 2017 Workshop website https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS [2] JOWO 2017 website http://www.iaoa.org/jowo/2017/ [3] JOWO 2017 conference in EasyChair https://easychair.org/conferences/?conf=jowo2017 [4] IOS Press templates for book authors http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings http://ceur-ws.org/ [6] OBML workgroup website https://wiki.imise.uni-leipzig.de/Gruppen/OBML [7] IAOA website http://iaoa.org/ [8] Local organization website https://www.unibz.it/ From riccardo.zese at unife.it Tue May 30 09:53:31 2017 From: riccardo.zese at unife.it (Riccardo Zese) Date: Tue, 30 May 2017 09:53:31 +0200 Subject: CFP: PLP 2017 - Deadline Approaching Message-ID: * Please accept our apologies if you receive multiple copies of this call * PLP-2017: The Fourth Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of the 27th International Conference on Inductive Logic Programming 7 September 2017 Orléans, France http://stoics.org.uk/plp/plp2017/ Deadline for submissions: 11 June 2017 Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After three successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, the fourth edition of PLP is held at the ILP conference in Orléans. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ILP. In particular, we hope that both (a) other ILP researchers will become interested in using PLP formalisms and (b) that PLP researchers are inspired by other inductive learning approaches. Submissions ----- Submissions will be managed via EasyChair. Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Sun, 11th June 2017 Notification to authors: Tue, 11th July 2017 Camera ready version due: Tue, 25th July 2017 Workshop data: Thu, 7th September 2017 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- Arjen Hommersom (Open University, The Netherlands) Samer Abdallah (University College London) Programme Committee ----- Christian Theil Have (Copenhagen University, Denmark) [co-chair] Riccardo Zese (University of Ferrara, Italy) [co-chair] Samer Abdallah (University College London) Elena Bellodi (University of Ferrara, Italy) Fabio Cozman (University of Sao Paulo, Brasil) Yoshitaka Kameya (Meijo University, Japan) Matthias Nickles (NUI Galway, Ireland) Aline Paes (Universidade Federal Fluminense, Brazil) Taisuke Sato (NII/SONAR, Japan) Herbert Wiklicky (Imperial College London, UK) Theresa Swift (CENTRIA, Portugal) Senior Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Riccardo Zese, PhD ENDIF - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From giovanni.degasperis at aixia.it Tue May 30 12:27:37 2017 From: giovanni.degasperis at aixia.it (Giovanni De Gasperis) Date: Tue, 30 May 2017 12:27:37 +0200 Subject: [CfP] Call for Posters EXTENDED : RuleML+RR 2017: International Joint Conference on Rules and Reasoning, London 12-15 July 2017 Message-ID: Call for Posters The leading international joint conference in the field of rule-based reasoning calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. In addition to the main conference, RuleML+RR 2017 will host an Industry Track , a Doctoral Consortium , DecisionCAMP , the 11th International Rule Challenge , and the 13th Reasoning Web Summer School . RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017 ). *Topics include, but are not limited to:* • Production rules systems • Logic programming engines and applications • Business rules engines and management systems • Logic-based reasoning for rules • Inductive and abductive logic programming • Rule markup languages and rule interchange formats • Rule-based policies, reputation, and trust • Pragmatic web reasoning and distributed rule inference / rule execution • Reaction and ECA rules • Constraint programming • Rule-based languages for intelligent information access and the Semantic Web • Vocabularies, ontologies, and business rules • Bridge rules in multi-context systems • Rule discovery, extraction and transformation • Rule-based data management, data integration, and data interoperability • Scalability and expressive power of logics for rules • Mapping rules for ontology-based data access • Rule-based dynamic data, stream, and complex event processing • Reasoning with incomplete, inconsistent and uncertain data • Non-monotonic, common-sense, and closed-world reasoning • Non-classical logics and the Web • Combining rules with knowledge extraction and information retrieval • Rules, agents, and norms • Rule-based distributed / multi-agent systems • Rule-based communication/dialogue • Argumentation models • Rules and human language technology • Rules in online market research and online marketing • Applications of rule technologies in healthcare and life sciences • Industrial applications of rules • Rules and business process compliance checking • Standards activities related to rules • Rules and social media Best Poster Award A Best Poster Award will be given to the best poster presentation. Two evaluation criteria will be taken into account: - *Research quality*: originality and technical quality of the work, as well as the methodology, execution and evaluation of the results. - *Presentation*: the extent to which the poster is able to effectively convey the research to an audience (e.g., consider clarity, self-explanatory nature and layout). Poster Paper Submission Poster papers describing a poster for the poster session and ranging between 2-5 pages can be submitted at EasyChair for the Poster Session track . Please upload all submissions in LNCS format . To ensure high quality, submitted poster papers will be carefully peer-reviewed by the PC members based on significance and relevance for the community. Accepted poster papers will be published as CEUR Proceedings and indexed by SCOPUS . Poster Session Deadlines Poster Paper Submission May 26th, 2017 *June 1st, 2017* Author Notification June 8th, 2017 Camera Ready June 20th, 2017 Poster Meetup July 12th, 2017 Poster Sessions July 12-15, 2017 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Tue May 30 13:33:49 2017 From: geoff at cs.miami.edu (Geoff Sutcliffe) Date: Tue, 30 May 2017 07:33:49 -0400 (EDT) Subject: CADE-26 - Call for Participation Message-ID: <20170530113349.1B549121577@mcclellan.cs.miami.edu> CADE-26 CALL FOR PARTICIPATION ============================== The 26th International Conference on Automated Deduction Gothenburg, Sweden 6-11 August 2017 www.cade-26.info *** KEYNOTE SPEAKERS *** June Andronick - Data61 Philippa Gardner - Imperial College London Grant Passmore - Aesthetic Integration *** RESEARCH PROGRAM *** see www.cade-26.info *** SOCIAL EVENT *** Boat trip to the picturesque island of Marstrand (www.marstrand.se/en/) Dinner in the dramatic Marstrand castle *** WORKSHOPS *** ARCADE: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements HCVS: Horn Clauses for Verification and Synthesis PCR'17: Parallel Constraint Reasoning ThEdu'17: Theorem Prover Components for Educational Software Vampire 2017: The 4th Vampire Workshop *** TUTORIAL *** Certified Functional (Co)programming with Isabelle/HOL *** SYSTEM COMPETITION *** CASC (CADE System Competition) www.tptp.org/CASC/26/ *** REGISTRATION *** Early registration until 6 July 2017 Late registration until 2 August 2017 see www.cade-26.info *** VENUE *** Lindholmen Conference Centre, Gothenburg and Chalmers University of Technology, Lindholmen Campus, Gothenburg *** CADE-26 ORGANIZERS *** Conference Chairs: Wolfgang Ahrendt Chalmers University of Technology Moa Johansson Chalmers University of Technology Program Committee Chair: Leonardo de Moura Microsoft Research Publicity Chair: Magnus Myreen Chalmers University of Technology Workshop and Tutorial Chair: Philipp Ruemmer Uppsala University From frank.loebe at informatik.uni-leipzig.de Tue May 30 14:46:46 2017 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Tue, 30 May 2017 14:46:46 +0200 Subject: JOWO 2017: 1st Call for Papers (Joint Ontology Workshops, Sep 21-23, Bolzano, Italy) Message-ID: <201705301246.v4UCknix020306@isun.informatik.uni-leipzig.de> ---------------------------------- First Call for Papers ---------------------------------- Joint Ontology Workshops (JOWO 2017) --- Episode 3: The Tyrolean Autumn --- Free University of Bozen-Bolzano, Italy, September 21-23, 2017 ---------------------------------- 10 Workshops on Ontology and its Applications http://www.iaoa.org/jowo/2017/ Submission deadlines are around July 15. See the individual workshop pages for precise dates. ---------------------------------- The Joint Ontology Workshops' (JOWO) mission is to join forces of the diverse communities interested in building, reasoning with, and applying formalised ontologies in the wide spectrum of information sciences, artificial intelligence theory and applications, philosophy and cognitive science, and beyond. This third edition of the Joint Ontology Workshops (JOWO 2017) combines ten ontology-centered workshops covering a multitude of disciplines into an exciting joint event. ---------------------------------- WORKSHOPS - CREOL: Contextual Representation of Objects and Events in Language - DAO: Data meets Applied Ontology - DEW: Ontology Debugging & Evaluation Workshop - EPINON: Epistemology in Ontologies - FOMI: Formal Ontologies Meet Industry - FOUST II: 2nd Workshop on Foundational Ontology - ISD3: The 3rd Image Schema Day - ODLS: Ontologies and Data in Life Sciences - SHAPES 4.0: The Shape of Things - WINKS: Workshop on Interaction-Based Knowledge Sharing See below for a description of the workshops and http://www.iaoa.org/jowo/2017/workshops.html for links to detailed calls for papers. ---------------------------------- KEYNOTES * Todd Oakley (Case Western Reserve University, Cleveland, USA) "What We Think About When We Talk About Money: Social Ontology and the Amalgamated Mind" (further invitations pending) JOWO 2017 is supported by the International Association for Ontology and its Applications - IAOA (http://iaoa.org). It features a series of (shared) invited talks, paper presentations, tutorials, demo sessions, and discussions spread across ten workshops. ---------------------------------- SUBMISSION GUIDELINES Please refer to the individual workshops for detailed lists of topics appropriate for each workshop and submission modalities. All submissions will be peer-reviewed by members of the program committees of the individual workshops. Accepted papers will be made available in the form of a single joint workshop proceedings volume published open-access at CEUR. For additional publication plans, check the individual workshops. For previous proceedings, compare: http://ceur-ws.org/Vol-1517/ for JOWO 2015, http://ceur-ws.org/Vol-1660/ for JOWO 2016. ---------------------------------- WORKSHOP DETAILS ================================== CREOL Website: http://creol2017.di.unito.it/ Contextual Representation of Objects and Events in Language ================================== Organisers: Valerio Basile, Tommaso Caselli, Daniele P. Radicioni The CREOL workshop is focused on investigating the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in the context of occurrence. Different properties of objects and events are activated depending on context, thus determining access to partial, salient, information rather than to all. Hence, dealing with context is a key factor in the conceptualization of human experience, and a major challenge for understanding natural language. ================================== DAO Website: https://smart.inf.unibz.it/index.php/2017/05/15/dao2017/ Data meets Applied Ontology ================================== Organisers: Roberto Confalonieri, Andrea Janes, Diego Calvanese The goal of the DAO workshop is to provide opportunities for participants from academia and industry to present their latest developments in ontology-mediated data integration and analysis techniques, and data-driven industrial applications. The workshop will be a great opportunity to synthesize new insights, and disseminate knowledge across field boundaries to promote the interaction between these two different communities. ================================== DEW Website: http://iaoa.org/jowo/dew2017/ Ontology Debugging & Evaluation Workshop ================================== Organisers: Rafael Penaloza, Amanda Vizedom DEW (the Debugging and Evaluation Workshop @ JOWO) aims to advance ontology evaluation and the detection, understanding, and correction of errors in ontologies and ontological knowledge bases. We encourage submissions from all areas dealing with ontological knowledge, and hope to gain a broad perspective on evaluation methods, and debugging techniques over different formalisms. ================================== EPINON Website: http://www.loa.istc.cnr.it/workshops/epinon2017/home.html Epistemology in Ontologies ================================== Organisers: Daniele Porello, Antonio Lieto, Claudio Masolo Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are in reality. The aim of this workshop is to explore an epistemological stance and focus on the assessment of the modelling provided by the ontology designer. We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion. ================================== FOMI Website: http://www.loa.istc.cnr.it/workshops/FOMI2017/home.html 8th International Workshop on Formal Ontologies meet Industry ================================== Organisers: Emilio M. Sanfilippo, Laura Daniele, Giorgio Colombo FOMI is an international forum where academic researchers and practitioners meet to analyse and discuss theoretical and application issues related to the use of formal ontologies in industry. The Workshop aims to collect lessons learned by the presentation of (1) experience with problems in ontology application, (2) new insights on problematic issues, (3) new results, successes and observations in ontology implementation, (4) lessons learned on the best way to apply ontological methodologies to real-world situations. ================================== FOUST II Website: http://foust.inf.unibz.it/foust2/ 2nd Workshop on Foundational Ontology ================================== Organisers: Antony Galton, Fabian Neuhaus Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies. The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. ================================== ISD3 Website: http://isd.inf.unibz.it The 3rd Image Schema Day ================================== Organisers: Maria M. Hedblom, Mihailo Antovic, Oliver Kutz The Image Schema Day III (ISD3) is intended as an interdisciplinary meeting place for researchers interested in image schemas and similar conceptual primitives. Originating in cognitive linguistics, image schemas are thought to be the conceptual building blocks learned from the body's sensorimotor processes in early infancy that come to shape adult language and thought. Today, image schemas are becoming increasingly influential in artificial intelligence, knowledge representation, and qualitative reasoning. At ISD3 we welcome researchers from all disciplines interested in pushing the boundaries of understanding, formalising, and reasoning with image schemas. ================================== ODLS Website: https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2017-ODLS Ontologies and Data in Life Sciences ================================== Organisers: Martin Boeker, Heinrich Herre, Ludger Jansen, Frank Loebe, Daniel Schober Medicine, biology and life sciences produce hardly manageable and comprehensible amounts of data, information, and knowledge, thereby challenging existing methods of knowledge representation, data bases, and data analysis. This interdisciplinary workshop covers the overall spectrum of biomedical information processing, from experimental data acquisition and data management, across analysis, structuring and interpretation of data, up to the development of ontologies with their various applications. The workshop aims at gathering scientists that work in these fields in order to exchange ideas, to discuss new results and to inspire collaborations. ================================== SHAPES 4.0 Website: http://www.loa.istc.cnr.it/workshops/SHAPES4/ The Shape of Things ================================== Organisers: Rossella Stufano Melone, Inge Hinterwaldner, Stefano Borgo, Oliver Kutz, Kris Krois The SHAPES 4.0 workshop is an interdisciplinary event for the discussion of all topics connected to shape and pattern (broadly understood). We seek to facilitate an interdisciplinary discussion between researchers, practitioners and artists from all disciplines interested in representing shape, form, structure and pattern, and reasoning about them. ================================== WINKS Website: http://www.iiia.csic.es/winks/ Workshop on Interaction-Based Knowledge Sharing ================================== Organisers: Jerome Euzenat, Dagmar Gromann, Kemo Adrian WINKS is a workshop that is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios. ================================== ---------------------------------- JOWO General Chairs | Contact Stefano Borgo (LOA ISTC CNR, Trento, Italy) Oliver Kutz (Free University of Bozen-Bolzano, Italy) Frank Loebe (University of Leipzig, Germany) Fabian Neuhaus (Otto-von-Guericke University Magdeburg, Germany) Contact: jowo.steering at gmail.com From franconi at inf.unibz.it Wed May 31 08:56:12 2017 From: franconi at inf.unibz.it (=?ISO-8859-1?Q?Enrico_Franconi?=) Date: Wed, 31 May 2017 08:56:12 +0200 Subject: Computer Science PhD grants @ KRDB - Univ. of Bozen-Bolzano Italy Message-ID: <31052017085612803GGh77pfXqRRd0185@smtp.office365.com> 10 four-years grants are offered by the faculty of Computer Science of the Free University of Bozen-Bolzano in Italy for its PhD programme. Each grant amounts to 68,000 €; for research visits abroad the grant can increase up to 50%. Substantial extra funding is available for participation to international conferences, schools, workshops, research visits. The language of the PhD program is English. The deadline for applications is 3 July 2017. For more info, the call, and applications look at: www.unibz.it/en/faculties/computer-science/phd-computer-science The university is located in one of the most fascinating European regions, the Dolomites (youtu.be/g5V3mJEE6bw). This young university has already established itself as an important research institution, both in Italy and abroad. According to the Times Higher Education World University Rankings 2017, the university is the tenth world’s best small university, is the fifth best among all the Italian Universities with computer science departments, and it is the second best young Italian University. The KRDB Research Centre of the faculty (www.inf.unibz.it/krdb) is widely recognised as one of the internationally leading groups in knowledge representation research, with a synergy between foundational and application-oriented research. Among the various available PhD topics described in the call, the KRDB Research Centre is looking for PhD students interested in Conceptual Data Modelling and Ontology Design, Intelligent Information Access and Query processing, Information Integration, Semantic Technologies, Knowledge Representation, Computational Logic, Artificial Intelligence, foundations of Process-aware Information Systems. To get in contact with the KRDB Research Centre and discuss about the opportunities of this call contact prof. Alessandro Artale at artale at inf.unibz.it. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ijwa at dline.info Wed May 31 12:24:59 2017 From: ijwa at dline.info (ijwa at dline.info) Date: Wed, 31 May 2017 15:54:59 +0530 Subject: FGCT 2017 Message-ID: <2d49ecfc1d7467e5cc16b8bcad02c4c5@dline.info> Sixth International Conference on Future Generation Communication Technologies Irish Computer Society, Dublin Ireland August 21-23, 2017 (www.socio.org.uk/fgct) Technically co-sponsored by IEEE UK & RI (IEEE Explore proceedings) Co-located Workshops The 9th International Workshop on Performance Evaluation of Wireless Networks (PEWiN-2017) First International Workshop on "IoT and Antenna Design" First International Workshop on "Signal processing and radio resource allocation for decentralized and self-organized 5G networks" In the last decade, a number of newer communication technologies have been evolved, which have a significant impact on the technology, as a whole. The impact ranges from incremental applications to dramatical breakthrough in the society. Users rely heavily on broadcast technology, social media, mobile devices, video games and other innovations to enrich the learning and adoption process. This conference is designed for teachers, administrators, practitioners, researchers and scientists in the development arenas. It aims to provide discussions and simulations in the communication technology at the broad level and broadcasting technology and related technologies at the micro level. Through a set of research papers, using innovative and interactive approach, participants can expect to share a set of research that will prepare them to apply new technologies to their work in teaching, research and educational development amid this rapidly evolving landscape. Topics discussed in this platform are not limited to- Emerging cellular and new network architectures for 5G New antenna and RF technology for 5G wireless Modulation algorithms Circuits, software and systems for 5G Convergence of multi-modes, multi-bands, multi-standards and multi- applications in 5G systems Cognitive radio and collaborative transmissions in 5G Computing and processing platform for 5G Programming models and development tools to enable 5G systems Small cells and heterogeneous networks Metrics and Evaluation of 5G systems Standardization of 5G Deployment options such as small cells, eICIC, MIMO and CoMP LTE/WiFi interworking, carrier aggregation, dual connectivity C-RAN, D-RAN, mmWave, Massive MIMO and ultra-low latency Higher protocol layers Latency and traffic scheduling Broadcast technology Future Internet and networking architectures Future mobile communications Mobile Web Technology Mobile TV and multimedia phones Communication Security, Trust, Protocols and Applications Communication Interfaces Communication Modelling Satellite and space communications Communication software Future Generation Communication Networks Communication Network Security Communication Data Grids Collaborative Communication Technology Intelligence for future communication systems Forthcoming optical communication systems Communication Technology for Elearning, Egovernment, Ebusiness Games and games designing Social technology devises, tools and applications Crowdsourcing and Human Computation Human-computer communication Pervasive Computing Grid, crowd sourcing and cloud computing Hypermedia systems Software and technologies for E-communication Intelligent Systems for E-communication Future Cloud for Communication Future warehousing Future communication for healthcare and medical devices applications Future communication for Mechatronic applications All presented papers in the conference will be published in the proceedings of the conference and submitted to the IEEE Xplore Digital Library. The conference will have workshops on specific themes, industrial presentation, invited talks and collaborative discussion forums. Important Dates Submission of Papers: June 05, 2017 Notification of Acceptance: July 01, 2017 Camera Ready: August 01, 2017 Registration: August 01, 2017 Conference Dates: August 21-23, 2017 The selected papers after extension and modification will be published in many peer reviewed and indexed journals. Journal of Digital Information Management (Scopus/EI) International Journal of Computational Science and Engineering (Scopus and EI Indexed) Technologies (Scopus/EI) Australian Journal of Telecommunications and the Digital Economy (Scopus/EI) General Chair Ezendu Ariwa, UK IEEE Chair for Broadcasting, UK Programme Chairs Yong Yue, University of Bedfordshire, UK Adrian FLOREA, Lucian Blaga" University of Sibiu, Romania Submissions at http://www.socio.org.uk/fgct/paper-submission/ Contact: fgct at socio.org.uk --------------------------------------------