From irdta at irdta.eu Tue May 1 02:54:03 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 01 May 2018 02:54:03 +0200 Subject: TPNC 2018: 1st call for papers Message-ID: <545102060a010b050354550304045a535b0005520506075951050909065000075651060e0500050052550205040258@grlmc_ip-zone_com-6> TPNC 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2018   Dublin, Ireland   December 12-14, 2018   Co-organized by:   Natural Computing Research & Applications Group School of Business University College Dublin   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2018.irdta.eu/ ***************************************************************************   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 2018 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 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be:   Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing 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 2018 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Mauro Birattari (Université Libre de Bruxelles, BE) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Jean-Louis Deneubourg (Université Libre de Bruxelles, BE) Marco Dorigo (Université Libre de Bruxelles, BE) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montréal, CA) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Rudolf Kruse (University of Magdeburg, DE) José Ignacio Latorre (University of Barcelone, ES) Gui Lu Long (Tsinghua University, CN) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez (University of Jaén, ES) Michael O'Neill (University College Dublin, IE) Patrick Siarry (Paris-Est Créteil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) Attila Szolnoki (Hungarian Academy of Sciences, HU) David Wolpert (Santa Fe Institute, US)   ORGANIZING COMMITTEE:   David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Irene Ward (Dublin)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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=tpnc2018   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://tpnc2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 29, 2018 Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   UCD – University College Dublin   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From takeshi_takahashi at nict.go.jp Tue May 1 06:09:09 2018 From: takeshi_takahashi at nict.go.jp (Takeshi Takahashi) Date: Tue, 1 May 2018 13:09:09 +0900 Subject: Springer IJIS, Special Issue on "IoT Security and Privacy" Message-ID: <000a01d3e102$279114c0$76b33e40$@nict.go.jp> Dear All, Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Submission deadline is October 1, 2018. We look forward to your submissions! Best regards, Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, Dell EMC, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") ======================================================================== Call for Papers International Journal of Information Security Special Issue on "IoT Security and Privacy" https://link.springer.com/journal/10207 ======================================================================== The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: - Secure protocols for IoT devices - Privacy solutions and privacy helpers for IoT environments - Trust frameworks and secure/private collaboration mechanisms for IoT environments - Secure management and self-healing for IoT environments - Operative systems security for IoT devices - Security diagnosis tools for IoT devices - Threat and vulnerability detection in IoT environments - Anomaly detection and prevention mechanisms in IoT networks - Case studies of malware analysis in IoT environments - IoT forensics and digital evidence - Testbeds and experimental facilities for IoT security analysis and research - Standardization activities for IoT security - Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines --------------------- Authors should prepare their manuscripts according to the "Instructions for Authors" guidelines outlined at the journal website http://www.springer.com/computer/security+and+cryptology/journal/10207. Note that the journal sets no page limit, although we encourage authors to keep their submissions to a length that’s in the ballpark of the accepted articles (unless there are special reasons to submit something longer), i.e., less than 30 pages, in order to expedite the review process. All papers will be peer-reviewed, by following a regular reviewing procedure. Authors are requested to submit their original manuscript via the online submission system. Note that article type 'S.I. : IOT Security and Privacy' must be selected on the system in order to be considered for this special issue. Important Dates --------------- Manuscript Due: October 1, 2018 First Round of Reviews: December 3, 2018 Guest Editors ------------- Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, Dell EMC, USA For more information, contact: editors-ijis-si-iotsec (at) googlegroups dot com From el-ghazali.talbi at univ-lille1.fr Tue May 1 11:02:51 2018 From: el-ghazali.talbi at univ-lille1.fr (El-ghazali Talbi) Date: Tue, 1 May 2018 11:02:51 +0200 Subject: Extended deadline META'2018 Message-ID: <2872d2f9-cc96-ad8e-f700-24bc922095d2@univ-lille1.fr> Dear colleagues, please distribute the CFP of META'2018 in your networks. Thanks for your collaboration. Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **********************************************************************                           META'2018 International Conference on Metaheuristics and Nature Inspired Computing                          27-31 Oct 2018                        Marrakech, Morocco                 http://meta2018.sciencesconf.org/ ********************************************************************** META is one of the main event focusing on the progress of the area of metaheuristics and their applications. As in previous editions, META’2018 will provide an opportunity to the international research community in metaheuristics to discuss recent research results, to develop new ideas and collaborations, and to meet old friends and make new ones in a friendly and relaxed atmosphere. All selected papers will be published in the conference proceedings. Following the tradition, selected long papers will be published in a postponed Springer book as in META'2014 and META'2016. At least, 2 special special issues in ISI and SCOPUS journals are also confirmed: - Special issue in "Optimization and learning" in Wiley Journal ITOR - International Journal on Operational Research (deadline for submission: 31 May 2019) - Special issue in "Metaheuristics for 4.0 industry" in  Elsevier Journal Swarm-and-Evolutionary-Computation (deadline for submission: 31 May 2019) META'2018 welcomes presentations that cover any aspects of metaheuristic research such as new algorithmic developments, high-impact applications, new research challenges, theoretical developments, implementation issues, and in-depth experimental studies. META'2018 strives for a high-quality program that will be completed by a number of invited talks, tutorials, workshops and special sessions. The scope of the META’2018 conference includes, but is not limited to:     * Local search, tabu search, simulated annealing, VNS, ILS, …     * Evolutionary algorithms, swarm optimization, scatter search, …     * Emergent nature inspired algorithms: quantum computing, artificial immune systems, bee colony, DNA computing, …     * Parallel algorithms     * Hybrid methods with machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, …     * Application to: logistics and transportation, networks, scheduling, data mining, engineering design, energy, cloud, bio-medical, …     * Theory of metaheuristics, landscape analysis, convergence, problem difficulty, very large neighbourhoods, …     * Multi-objective optimization, bi-level optimization     * Dynamic optimization, problems with uncertainty, …     * Parameter tuning (static, dynamic, adaptive, self-adaptive)     * Hyper-heuristics, cross-domain metaheuristics     * Software frameworks for metaheuristics and nature inspired computing Submission of papers: ____________________ - Submission of papers via the website     S1) Short papers: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages.     S2) Long papers: Original research contributions of a maximum of 10 pages.     S3) Journal papers: High-quality manuscripts that have recently, within the last year, been submitted or accepted for journal publication. For this special case, the submission should have the same title that the accepted work, the abstract AND the complete reference of the work. - Proceedings of the conference will be provided. Selected papers of type S1 and S2 will be published in a Springer book and international journals (ISI journals). - Predefined styles are available on the website http://meta2018.sciencesconf.org/ Important dates _______________ - Extended Submission deadline: May 15, 2018     * Hybrid methods with machine learning, game theory, mathematical programming, constraint programming, co-evolutionary, …     * Application to: logistics and transportation, networks, scheduling, data mining, engineering design, energy, cloud, bio-medical, …     * Theory of metaheuristics, landscape analysis, convergence, problem difficulty, very large neighbourhoods, …     * Multi-objective optimization, bi-level optimization     * Dynamic optimization, problems with uncertainty, …     * Parameter tuning (static, dynamic, adaptive, self-adaptive)     * Hyper-heuristics, cross-domain metaheuristics     * Software frameworks for metaheuristics and nature inspired computing Submission of papers: ____________________ - Submission of papers via the website     S1) Short papers: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages.     S2) Long papers: Original research contributions of a maximum of 10 pages.     S3) Journal papers: High-quality manuscripts that have recently, within the last year, been submitted or accepted for journal publication. For this special case, the submission should have the same title that the accepted work, the abstract AND the complete reference of the work. - Proceedings of the conference will be provided. Selected papers of type S1 and S2 will be published in a Springer book and international journals (ISI journals). - Predefined styles are available on the website http://meta2018.sciencesconf.org/ Important dates _______________ - Extended Submission deadline: May 15, 2018 From rl.stpuu at gmail.com Tue May 1 22:30:53 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 1 May 2018 22:30:53 +0200 Subject: CfP: LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm Message-ID: CALL FOR PAPERS Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) Stockholm, 28-31 August 2018 Department of Mathematics, Stockholm University http://staff.math.su.se/rloukanova/LACompLing2018-web/ ================================================ 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 LACompLing2018 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, regular papers: 15 May 2018 (Anywhere on Earth / AoE) Submission deadline, abstracts: 31 May 2018 (AoE) Notifications: 15 June 2018 Final submissions: TBA LACompLing2018: between 28-31 Aug 2018 (few days, depending on the program) SUBMISSION INSTRUCTIONS == We invite original, regular papers that are not submitted concurrently to another conference or for publication elsewhere. Abstracts of presentations can be on work submitted or published elsewhere. - Regular papers: maximum 10 pages, including figures and references - Abstracts of contributed presentations: not more than 2 pages - The submissions of proposed papers and abstracts have to be in pdf - The camera-ready submissions require the pdf and their sources Authors are required to use Springer LNCS style files. Styles and templates can be downloaded from Springer, for LaTeX and Microsoft: http://www.springer.com/jp/computer-science/lncs/conference-proceedings-guidelines The submissions are via the EasyChair management system of LACompLing2018: https://easychair.org/conferences/?conf=lacompling2018 PUBLICATIONS == - The proceedings of LACompLing2018 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 LACompLing2018, will be published in a special issue of a journal after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Satoshi Tojo, School of Information Science, JAIST, Japan CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Kristina Liefke (Liefke at lingua.uni-frankfurt.de) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Tue May 1 22:57:02 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Tue, 1 May 2018 22:57:02 +0200 Subject: CfP AIRIM'18: AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18) Message-ID: CALL FOR PAPERS 3rd International Workshop on AI aspects of Reasoning, Information, and Memory 2018 (AIRIM'18) https://www.fedcsis.org/2018/airim Poznan, Poland, 9-12 September, 2018 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 DATES - Paper submission (strict deadline): May 15 2018 23:59:59 pm HST - Position paper submission: June 12, 2018 - Authors notification: June 24, 2018 - Final paper submission and registration: July 03, 2018 - Final deadline for discounted fee: August 01, 2018 - Conference dates: September 9-12, 2018 PAPER SUBMISSION and PUBLICATIONS The publication rules, status, and the submission page for AIRIM'18 are the same as for AAIA'18 | FedCSIS: https://www.fedcsis.org/2018/airim https://www.fedcsis.org/2018/instructions - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available at: https://fedcsis.org/2018/for_authors https://www.fedcsis.org/2018/instructions - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints 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) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Ishihara, Hajime, Japan Advanced Institute of Science and Technology, Japan - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland - van den Herik, Jaap, Leiden University, The Netherlands CONTACT INFORMATION Roussanka Loukanova (rloukanova at gmail.com) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From pstuckey at unimelb.edu.au Wed May 2 02:57:03 2018 From: pstuckey at unimelb.edu.au (Peter James Stuckey) Date: Wed, 2 May 2018 00:57:03 +0000 Subject: Second round call for papers: LOPSTR 2018 Message-ID: ====================================================================== LOPSTR 2018: Second Round Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. 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 chairs in case of questions). In order to more closely follow previous LOPSTR timelines, we have added an additional round of paper submission at a more usual time for LOPSTR. Papers submitted in the first round may already be accepted before this round, while rejected papers from the first round can be resubmitted. Important Dates Abstract submission: June 26, 2018 Paper/Extended abstract submission: June 30, 2018 Notification: July 30, 2018 Camera-ready (for electronic pre-proceedings): August 15, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From CISP-BMEI-cfp at ecnu.edu.cn Wed May 2 05:54:28 2018 From: CISP-BMEI-cfp at ecnu.edu.cn (=?utf-8?B?5p2O6ICB5biI?=) Date: Wed, 2 May 2018 11:54:28 +0800 Subject: CISP-BMEI 2018 Informatics Track, Deadline 10 July, Beijing, China [Submitting to IEEE Xplore/Scopus/EI Compendex/ISI] 2018/5/2 11:54:35 cfgnk8 Message-ID: <20180502115435446680@ecnu.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Informatics track in the upcoming 2018 11th International Congress on Image and Signal Processing, BioMedical Engineering and Informatics (CISP-BMEI 2018), to be held in Beijing, China, 13-15 October 2018. Topics include (but are not limited to): Communications and Networking, Software Engineering, Data Engineering, Intelligent Computing, Information Security, Automation and Control, etc.. Beijing is the capital of the People’s Republic of China, the country’s center for politics, culture, international exchanges and technological innovation. It is home to numerous historical sites and cultural landmarks, including the Forbidden City, the Great Wall, the Temple of Heaven, the Summer Palace, the Ming Tombs, all of which have been listed as UNESCO World Heritages. Traditional local art performances and crafts, such as Peking Opera and Cloisonné, are also renowned throughout the world. As with past CISP-BMEI conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, CPCI (ISI/ISTP), and IEEE Xplore. Substantially extended versions of best papers will be considered for publication in a CISP-BMEI special issue of a SCI-indexed journal. CISP-BMEI 2018 is technically co-sponsored by the IEEE Engineering in Medicine and Biology Society (pending). The past conference proceedings from 2008 to 2015 appeared as 2 separate (but co-located) conferences, i.e., CISP and BMEI. CISP-BMEI has become a single conference since 2016. CISP-BMEI 2018 is a premier international forum for scientists and researchers to present the state of the art of multimedia, signal processing, biomedical engineering and informatics. The registration fee of US*D480 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. All papers in the invited sessions can be marked as "Invited Paper". The organizer(s) for each invited session with at least 6 registered papers will jointly enjoy an honorarium of US*D 500. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a list of recommended papers is determined by 18 August 2018. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to cisp-bmei at mail.buct.edu.cn For more information, visit the conference web page: http://research.cs.buct.edu.cn:8080/CISP2018 If you have any questions after visiting the conference web page, please email the secretariat at cisp-bmei at mail.buct.edu.cn Join us at this major event in historical Beijing !!! Organizing Committee cisp-bmei at mail.buct.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/5/2 11:54:35 isvcngat -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nicosia at dmi.unict.it Wed May 2 11:04:20 2018 From: nicosia at dmi.unict.it (Giuseppe Nicosia) Date: Wed, 2 May 2018 10:04:20 +0100 Subject: CfP: 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 Call for Papers - Paper submission deadline: May 15, 2018 Message-ID: [Apologies if you receive multiple copies of this announcement] [Please kindly help forward it to potentially interested attendees] 4th International Conference on machine Learning, Optimization & Data science - LOD 2018 An Interdisciplinary Conference: Machine Learning, Optimization & Data Science without Borders SIAF Learning Village - Volterra (Pisa) Tuscany, September 13-16, 2018 https://lod2018.icas.xyz/ lod at icas.xyz KEYNOTE SPEAKERS * Jörg Bornschein DeepMind, London, UK * Peter Flach - Editor-in-Chief of the Machine Learning Journal University of Bristol, UK * Stephen Smale - Fields Medal University of California Berkeley, USA * George Karypis University of Minnesota, USA * Martin Ravetti Universidade Federal de Minas Gerais, Brasil * Andrey Raygorodsky Moscow Institute of Physics and Technology, Russia ************************* CALL FOR PAPERS ************************* Paper submission deadline: May 15, 2018 https://lod2018.icas.xyz/call-for-papers/ The LOD 2018 conference will consist of four days of main conference sessions. The 4th Annual Conference on machine Learning, Optimization and Data science (LOD) is a single-track machine learning, computational optimization, data science conference that includes invited talks, tutorial talks, special sessions, industrial tracks, demonstrations and oral and poster presentations of refereed papers. We invite submissions of papers, abstracts and posters on all topics related to Machine learning, Optimization and Big Data including real-world applications for the conference proceedings: https://lod2018.icas.xyz/call-for-papers/ Please prepare your paper in English using the Lecture Notes in Computer Science (LNCS) template, which is available http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 Papers must be submitted in PDF. LOD 2018 Types of Submissions When submitting a paper to LOD 2018, authors are required to select one of the following four types of papers: + Long paper: original novel and unpublished work (max. 12 pages in Springer LNCS format); + Short paper: an extended abstract of novel work (max. 4 pages); + Work for oral presentation only (no page restriction; any format). For example, work already published elsewhere, which is relevant and which may solicit fruitful discussion at the conference; + Work for poster presentation only. The poster format for the presentation is A0 (118.9 cm high and 84.1 cm wide, respectively 46.8 x 33.1 inch). For research work which is relevant and which may solicit fruitful discussion at the conference. LOD 2018 Post-Proceedings All accepted long papers will be published in a volume of the series 'Lecture Notes in Computer Science' from Springer after the conference. Instructions for preparing and submitting the final versions (camera-ready papers) of all accepted papers will be available later on. All the other papers (short papers, abstract of the oral presentations, poster presentations) will be published on the LOD 2018 web site. LOD 2018 Best Paper Springer sponsors the LOD 2018 Best Paper Award with a cash prize of EUR 1,000. LOD 2018 Submission System All papers must be submitted using EasyChair: https://easychair.org/conferences/?conf=lod2018 DEADLINE: May 15, 2018 LOD 2018 Important Dates + Paper Submission Deadline: May 15, 2018 + Decision Notification to Authors: June 20, 2018 + Camera Ready Submission Deadline: July 1st, 2018 + Deadline for early Registration as Presenting Author: July 1st, 2018 + Late registration: July 2 – September 16, 2018 + On-Site registration: September 13-16, 2018 + LOD 2018 conference: September 13-16, 2018 LOD 2018 Registration https://lod2018.icas.xyz/registration/ LOD 2018 Program Committee The current LOD 2018 Program Committee includes about 300 Program Committee members: https://lod2018.icas.xyz/program-committee/ Any questions regarding the submission process can be sent to conference organizers: lod at icas.xyz We look forward to seeing you in Tuscany! LOD 2018 Chairs & Organizing Committee. https://lod2018.icas.xyz/ lod at icas.xyz MOD 2017 Keynote Speakers: Yi-Ke Guo, Imperial College London, UK. Founding Director of Data Science Institute Panos Pardalos, University of Florida, USA. Director of the Center for Applied Optimization Ruslan Salakhutdinov,Carnegie Mellon University, USA. Director of AI Research at Apple. My Thai, University of Florida, USA Jun Pei, Hefei University of Technology, China Vincenzo Sciacca, Cloud and Cognitive Division – IBM Rome, Italy http://www.taosciences.it/mod/keynote-speakers/ MOD 2016 Keynote Speakers: Nello Cristianini, University of Bristol, UK George Michailidis, University of Florida, USA Stephen Muggleton, Imperial College London, UK Panos Pardalos, University of Florida, USA http://www.taosciences.it/mod-2016/keynote-speakers/ MOD 2015 Keynote Speakers: Vipin Kumar, University of Minnesota, USA Panos Pardalos, University of Florida, USA Tomaso Poggio, MIT, USA http://www.taosciences.it/mod-2015/MOD 2015 Best Paper Award of the Previous Editions: https://lod2018.icas.xyz/best-paper-award/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From karl.h.hammar at gmail.com Wed May 2 12:44:51 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Wed, 2 May 2018 12:44:51 +0200 Subject: [CfP] Call for submissions, FOIS 2018 Ontologies Competition Message-ID: We cordially invite you to submit to the FOIS 2018 ontologies competition, which will be held in conjunction with the FOIS (Formal Ontology in Information Systems) 2018 conference in Cape Town, South Africa, September 17-21. This year's contest is around ontologies that connect to the physical world in a quantitative way. The goal is to offer approaches to subjects that are of broad relevance across the physical sciences and technology that can be applied to realistically complex problems, and demonstrate how they work for representing and querying data. Examples of subjects that would be of interest are: 1. Spatially varying qualities such as temperature, wind speed, precipitation as it varies over an extended region as used in climate work, engineering models that measure spatial patterns of stress in materials, patterns of population and related aspects such as travel patterns and infrastructure, relevant for urban planning or study of epidemics, or distributions of substances or cells in the body as they evolve. 2. System of physical quantities - the question of units and conversions between them, physical laws and formulas that relate them, "base" versus "derived" quantities, dimensionless quantities, quantities that vary in time. 3. Temporal evolution and patterns: Time course of disease, markets, dynamics of physical processes, longitudinal studies, treatment and clinical follow-up. # Requirements * The ontology should be represented using OWL or Common logic, specifying a reasoner for the fragment of logic used. * A representative data set (which can be simulated) that is sufficient to demonstrate utility * A set of queries demonstrating expressiveness and utility and which produce expected results Submissions will be in the form of a short paper giving an explanation of the approach and instructions for demonstrating the work. The submitter should document any software that needs to be installed, as well as step by step instructions for executing the queries. Reviewers will follow these instructions and reproducibility will be part of the evaluation. Packaging that requires minimal installation, such as by a self-contained system that uses docker, would be beneficial. Submitted papers should not exceed 5 pages (not including instructions) and include an abstract of no more than 300 words. Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. Accepted submissions will be published in the JOWO proceedings. The winner of the competition will receive a prize of $500 USD or equivalent All material should be publicly available, for example via a Github repository, clearly licensed and accompanied by a descriptive Readme. Evaluation criteria. - How realistic are the use case and data? - Expressive power - Range of applicability - is the work useful across different domains - Efficiency and scaling - Conformity to one or more upper level ontologies - Ease of reproducing the query results The Easychair submission page can be found at: https://easychair.org/conferences/?conf=jowo2018. You will be asked to choose a track. Choose "Ontology Competition". Important dates: * Submissions due June 15 * Notification July 15 * Camera ready due: Aug 15, 2018 Presentation at FOIS September 17-21. FOIS website: http://www.iaoa.org/fois/2018.html Competition website: http://fois2018.cs.uct.ac.za/?page_id=280 Organizers: Alan Ruttenberg(alanruttenberg at gmail.com), Melanie Courtot(mcourtot at gmail.com) Program committee to be announced. From ijcci at insticc.info Wed May 2 15:59:22 2018 From: ijcci at insticc.info (ijcci at insticc.info) Date: 2 May 2018 14:59:22 +0100 Subject: CFP IJCCI 2018 - 10th Int.l Joint Conf. on Computational Intelligence (Seville/Spain) Message-ID: <20180502135922.1.E1CFF3E9C071601D@insticc.info> SUBMISSION DEADLINE 10th International Joint Conference on Computational Intelligence Submission Deadline: May 24, 2018 http://www.ijcci.org/ September 18 - 20, 2018 Seville, Spain. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems 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 520 184 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From Cassia.Trojahn at irit.fr Thu May 3 12:30:53 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 03 May 2018 12:30:53 +0200 Subject: EKAW 2018 Call for workshops ans tutorials =?utf-8?q?=3A?= deadlne approaching In-Reply-To: <5a71-5acdb680-205-347a7c80@198200425> Message-ID: <16d0-5aeae500-ad-23f12e80@262867292> Call for workshops and tutorials In conjunction with EKAW 2018 https://project.inria.fr/ekaw2018/ November 12 - 16 Nancy, France Authors of the best workshop papers will be invited to submit revised and extended versions to a special issue of Data Science Journal (https://datasciencehub.net). ** Introduction ** The International Conference on Knowledge Engineering and Knowledge Management (EKAW) is concerned with all aspects of eliciting, acquiring, modelling and managing knowledge, as well its role in the construction of knowledge-intensive systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, etc. This year, EKAW will pay special attention to topics related to knowledge and artificial intelligence. Besides the regular conference tracks, EKAW will host a number of workshops and tutorials on topics related to the theme of the conference. We hope our workshops to provide an informal setting where participants have the opportunity to discuss specific technical topics in an atmosphere that fosters the active exchange of ideas; and tutorials to enable attendees to fully appreciate current issues, main schools of thought, and possible application areas. ** Topics of Interest ** In order to meet these goals, workshop/tutorial proposals should address topics that satisfy the following criteria: the falls in the general scope of EKAW 2018; there is a clear focus on a specific technology, problem or application; there is a sufficiently large community interested in the topic. ** Submission Guidelines ** Proposals should be submitted via EasyChair at: https://easychair.org/conferences/?conf=ekaw2018wst Submissions should be a single PDF file of no more than 5 pages, specifying "Workshop Proposal" or "Tutorial Proposal", and should contain the following information. Workshop proposals: Title. Abstract (200 words). Motivation on why the topic is of particular interest at this time and its relation to the main conference topics. Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussion. Intended audience and expected number of participants. List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal, confirmed participants should be marked specifically). Indication of whether the workshop should be considered for a half-day or full-day. The tentative dates (submission, notification, camera-ready deadline, etc.) Past versions of the workshop, including URLs as well as number of submissions and acceptance rates. Details of the organisers (name, affiliation, email address, homepage) and short CV. We strongly advise having more than one organiser, preferably from different institutions, bringing different perspectives to the workshop topic. We welcome, and will prioritise, workshops with creative structures and organisations that attract various types of contributions and ensure rich interactions. A special issue of Data Science Journal will be compiled with revised and extended versions of the best workshop papers from EKAW 2018. For more information on Data Science Journal, see: https://datasciencehub.net/. Workshop organisers will be requested to nominate papers from their workshops, whose authors will be invited to submit revised and extended versions of their papers to this special issue. Papers submitted to the special issue will go through the regular Data Science review process. Tutorial proposals: Title. Abstract (200 words). Relation to the conference topics, i.e. why it will be of interest to the conference attendants. If the tutorial, or a very similar tutorial, has been given elsewhere, explanation of the benefit of presenting it again to the EKAW community. Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge. Indication on whether the tutorial should be considered for a half-day or full-day. Intended audience and expected number of participants. Audio-visual or technical requirements and any special room requirements (for hands-on sessions, any software needed and download sites must be provided by the tutorial presenters). Details of the presenters (name, affiliation, email address, homepage) and short CV including also their expertise, experiences in teaching and in tutorial presentation. ** Workshop Organiser Responsibilities ** The organisers of accepted workshops are expected to: prepare a workshop webpage (linked to the official EKAW website) containing the call for papers and detailed information about the workshop organisation and timelines. be responsible for the workshop publicity. be responsible for their own reviewing process, decide upon the final program content and report the number of submissions and accepted papers to the workshop chair. be responsible for publishing electronic proceedings (e.g. on the CEUR-WS website). ensure workshop participants are informed they have to register to the main conference and the workshop. schedule, attend and coordinate their entire workshop. ** Tutorial Organisers Responsibilities ** The proposers of accepted tutorials are expected to prepare a tutorial webpage (linked to the official EKAW website) containing detailed information about the tutorial prepare the tutorial materials publicity distribute materials to participants schedule, attend and coordinate their tutorial. ** Important Dates ** Proposals due: 9 May, 2018 Notifications: 23 May 2018 ** Suggested Timeline for Workshops ** Workshop website up and calls: 1 June 2018 Deadline to submit Papers to Workshops: 8 September 2018 Acceptance of Papers for Workshops: 1 October 2018 Workshop days: 12 or 13 November 2018 ** Chairs ** Manuel Atencia, Université Grenoble Alpes & Inria, France Marieke van Erp, KNAW Humanities Cluster, The Netherlands ** Contact: ** ekaw2018wst at easychair.org From infocom525 at gmail.com Fri May 4 11:21:13 2018 From: infocom525 at gmail.com (HUAISHAO LUO) Date: Fri, 4 May 2018 17:21:13 +0800 Subject: Call for Nominations: 2018 SIGKDD Doctoral Dissertation Award Message-ID: Call for Nominations: 2018 SIGKDD Doctoral Dissertation Award ACM SIGKDD dissertation awards recognize outstanding work done by graduate students in the areas of data science, machine learning and data mining. Nomination Deadline: May 20, 2018 For more information, please visit: http://www.kdd.org/News/view/call-fo r-nominations-2018-sigkdd-doctoral-dissertation-award -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From infocom525 at gmail.com Sat May 5 08:29:12 2018 From: infocom525 at gmail.com (HUAISHAO LUO) Date: Sat, 5 May 2018 14:29:12 +0800 Subject: KDD 2018 Registration is Open Message-ID: KDD 2018 registration is open - register now before it sells out ( http://www.kdd.org/kdd2018/) Winning videos from KDD 2016 and KDD 2017: KDD 2016 KDD2016 paper 519 https://www.youtube.com/watch?v=FBlhhebFhTI KDD2016 paper 1036 https://www.youtube.com/watch?v=pzgqd9OhvDA KDD2016 paper 1156 https://www.youtube.com/watch?v=-dEjiRtqKbA KDD2016 paper 573 https://www.youtube.com/watch?v=hUnRCxnydCc KDD2016 paper 798 https://www.youtube.com/watch?v=vMlZwQZMwDs KDD 2017 HinDroid: An Intelligent Android Malware Detection System https://www.youtube.com/watch?v=sA4Ef368Jpw Improved Degree Bounds and Full Spectrum Power Laws in Preferential Attachment Networks https://www.youtube.com/watch?v=uKl1KB241pg Clustering Individual Transactional Data for Masses of Users https://www.youtube.com/watch?v=l5Aviun0DS0 MOLIERE: Automatic Biomedical Hypothesis Generation System https://www.youtube.com/watch?v=wA6OCix-4FU Relay-Linking Models for Prominence and Obsolescence in Evolving Networks https://www.youtube.com/watch?v=fhGewF4Xyo0 An efficient bandit algorithm for realtime multivariate optimization https://www.youtube.com/watch?v=G-omu_ki7YM -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Mon May 7 12:26:30 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Mon, 7 May 2018 11:26:30 +0100 Subject: Deadline extended by 3 weeks for the special issue of JoLLI on Logical Aspects of Multi-Agent Systems References: <62BB1C55-64FC-4896-B1F2-6793162D6D2A@exmail.nottingham.ac.uk> Message-ID: <78F41F20-2DF5-46EA-B235-DEBE7A46F4C2@exmail.nottingham.ac.uk> Due to several requests, the submission deadline for this special issue is extended to the 31st of May 2018. SPECIAL ISSUE OF THE JOURNAL OF LOGIC, LANGUAGE AND INFORMATION ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS CALL FOR SUBMISSIONS The Journal Logic, Language, and Information (JoLLI) invites high quality submissions of original research or survey papers to a special issue on Logical Aspects of Multi-Agent Systems, expected to be published in the early 2019. This special issue is a post-proceedings of the CSL 2017 affiliated LAMAS workshop held in Stockholm, August 25, 2017, but the call is open for all relevant submissions. TOPICS The following is a non-exclusive list of specific topics in the focus of the special issue: - Logico-philosophical and foundational aspects of MAS. - Logical modeling of MAS - Logical systems for specification, analysis, and reasoning about MAS - Deductive systems and decision procedures for logics for MAS - Algorithmic methods for formal verification of MAS - Applications of logics in MAS. SUBMISSION INSTRUCTIONS The papers should be typeset in LATEX, using the JoLLI style, obtainable from http://www.springer.com/philosophy/logic+and+philosophy+of+language/journal/10849. By default, each submission is limited to 25 pages. Should you need more space, please contact the guest editors of the special issue. The submissions must be sent electronically, via the JoLLi/Springer submission system. See further instructions on how to submit on the link above. When submitting, please indicate the option "LAMAS special issue". All submissions will be subjected to a proper refereeing procedure, in compliance with the standard reviewing policy of JoLLI. GUEST EDITORS OF THE SPECIAL ISSUE: Natasha Alechina, University of Nottingham Valentin Goranko, Stockholm University DEADLINES Paper submission: (deadline extended) May 31, 2018 Reviews and notification: September 10, 2018 Final versions: October 10, 2018 ENQUIRIES For any questions regarding the special issue please contact the guest editors by sending email to Logic.MAS at gmail.com or natasha.alechina at nottingham.ac.uk 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From ijv at acm.org Mon May 7 16:15:13 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Mon, 7 May 2018 16:15:13 +0200 Subject: DARe at IJCAI-18: New Deadline 15 May 2018 Message-ID: <05C7C2F2-58EF-4E78-8C91-63B88DC51DCB@acm.org> * Apologies if you receive multiple copies of this call * ============================== Call for Papers DARe at IJCAI-ECAI 2018 Date: July 14 or 15 (half-day workshop, date TBC) Stockholm, Sweden *** Deadline (Extended): 15 May 2018 *** ============================== The Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe) https://sites.google.com/view/dare-18/ collocated with IJCAI-ECAI 2018 -- Workshop Description and Aims -- Classical reasoning is not flexible enough when directly applied to the formalisation of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below: * Ampliative aspect: augmenting the underlying reasoning by allowing more conclusions. In practical contexts, this amounts to the ability to make inferences that venture beyond the scope of the premises, somehow in an unsound but justifiable way. Prominent examples are (i) default reasoning: jumping to conclusions deemed as plausible 'by default', i.e., in the absence of information to the contrary, like applying negation as failure or adopting the closed-world assumption; (ii) inductive and abductive reasoning: taking chances in drawing conclusions that implicitly call for further scrutiny or tests by empirical observations, like in making inductive hypotheses in scientific theories or finding abductive explanations in forensics, and (iii) analogical reasoning: extrapolating from very few examples (in the worst case only one) on the basis of observable similarities or dissimilarities. * Defeasible aspect: curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned. In practice, this amounts to the ability to backtrack one's conclusions or to admit exceptions in reasoning. Some examples of this are (i) retractive reasoning: withdrawing conclusions that have already been derived, like in belief contraction or in negotiation, and (ii) preemptive reasoning: preventing or blocking the inference of some conclusions by disallowing their derivation in the first place, like in dealing with exceptional cases in multiple inheritance networks and in regulatory systems. Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. Despite the progress that has been achieved, a large avenue remains open for exploration. Indeed, the literature on non-monotonic reasoning has focused almost exclusively on defeasibility of argument forms, whereas belief revision paradigms are restricted to an underlying classical (Tarskian) consequence relation. Moreover, even if some of the issues related to uncertainty in reasoning have been studied using probabilistic approaches and statistical methods, their integration with qualitative frameworks remain a challenge. Finally, well-established approaches are largely based on propositional languages or haunted by the undecidability of full first-order logic. Modern applications require formalisms with a good balance between expressive power and computational complexity. DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community. -- Scope of the Workshop -- DARe welcomes contributions on all aspects of defeasible and ampliative reasoning such as (but not limited to): - Abductive and inductive reasoning - Explanation finding, diagnosis and causal reasoning - Inconsistency handling and exception-tolerant reasoning - Decision-making under uncertainty and incomplete information - Default reasoning, non-monotonic reasoning, non-monotonic logics, conditional logics - Specific instances and variations of ampliative and defeasible reasoning - Probabilistic and statistical approaches to reasoning - Vagueness, rough sets, granularity and fuzzy-logics - Philosophical foundations of defeasibility - Empirical studies of reasoning - Relationship with cognition and language - Contextual reasoning - Preference-based reasoning - Analogical reasoning - Similarity-based reasoning - Belief dynamics and merging - Argumentation theory, negotiation and conflict resolution - Heuristic and approximate reasoning - Defeasible normative systems - Reasoning about actions and change - Reasoning about knowledge and belief, epistemic and doxastic logics - Ampliative and defeasible temporal and spatial reasoning - Computational aspects of reasoning with uncertainty - Implementations and systems - Applications of uncertainty in reasoning -- Submission Requirements -- We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the IJCAI-ECAI 2018 format (which can be found at http://www.ijcai.org/authors_kit) and should be no longer than 6 pages (not counting the references). Please submit to: https://easychair.org/conferences/?conf=dare18 -- Workshop Proceedings/Notes -- Accepted papers will be made available electronically in the CEUR Workshop Proceedings series (http://ceur-ws.org). Copyright of papers remain with the authors. The 2014 proceedings are available at http://ceur-ws.org/Vol-1212/ The 2015 proceedings are available at http://ceur-ws.org/Vol-1423/ The 2016 proceedings are available at http://ceur-ws.org/Vol-1626/ The 2017 proceedings are available at http://ceur-ws.org/Vol-1872/ -- Attendance -- The selection of accepted contributions will be based on relevance, significance and the work's potential to foster discussions and cross-pollination. Therefore submissions of ongoing work are also strongly encouraged. At least one co-author of each accepted paper must register for the workshop. Please check the IJCAI-ECAI 2018 website for registration procedure, fees as well as cancellation policies. -- Important Dates -- - Submission deadline: 15 May 2018 (extended) - Notification: 30 May 2018 - Camera ready: 16 June 2018 - Workshop date: 14 or 15 July 2018 (half-day, date TBC) -- Invited Speaker -- [TBA] -- Workshop Co-Chairs -- - Richard Booth, Cardiff University, UK - Giovanni Casini, University of Luxembourg - Ivan Varzinczak, CRIL, Univ. Artois & CNRS, France -- Program Committee -- - Grigoris Antoniou, University of Huddersfield, UK - Ofer Arieli, Academic College of Tel-Aviv, Israel - Christoph Beierle, FernUniversitaet Hagen, Germany - Mario Benevides, Universidade Federal do Rio de Janeiro, Brazil - Antonis Bikakis, University College London, UK - Alexander Bochman, Holon Institute of Technology, Israel - Arina Britz, Stellenbosch University, South Africa - James Delgrande, Simon Fraser University, Canada - Patrick Girard, University of Auckland, New Zealand - Aaron Hunter, British Columbia Institute of Technology, Canada - Souhila Kaci, Université Montpellier 2, France - Gabriele Kern-Isberner, TU Dortmund, Germany - Simon Kramer, SK-R&D, Switzerland - Emiliano Lorini, IRIT CNRS, France - Michael Maher, University of New South Wales, Australia - Thomas Meyer, University of Cape Town, South Africa - Francois Schwarzentruber, ENS Rennes/IRISA, France - Sonja Smets, University of Amsterdam, The Netherlands - Umberto Straccia, CNR, Italy - Christian Straßer, Ruhr-Universitaet Bochum, Germany - Joost Vennekens, K.U. Leuven, Belgium -- Further Information -- Please visit the workshop website (https://sites.google.com/view/dare-18/) for further information and regular updates. Enquiries should be sent to dare.to.contact.us at gmail.com -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From Natasha.Alechina at nottingham.ac.uk Mon May 7 18:05:06 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Mon, 7 May 2018 17:05:06 +0100 Subject: correction: TIME 2018 abstract submission deadline Message-ID: [apologies for multiple and repeated messages; the deadline for abstract submissions for TIME 2018 is the 14th of May and not the 11th as stated in the previous message] ------------------------------------------------------------------------------------------------ The 2nd CALL FOR PAPERS TIME 2018 25th International Symposium on Temporal Representation and Reasoning Warsaw (Poland), 15-17 October 2018 Call for Papers https://time2018.ipipan.waw.pl/ ------------------------------------------------------------------------------------------------- Aims and scope -------------------- TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - time series analysis and mining - semi-structured temporal data - visualizations and interfaces for temporal data The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security The New areas and Application track includes, but is not limited to: - applications of temporal data and temporal reasoning - temporal information retrieval - temporal recommendation systems - applications of temporal database management Submission and publication --------------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ The submissions must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages. The papers must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=time2018 Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of some high quality journal. Important Dates -------------------- Abstracts due: (extended deadline) May 14, 2018 Full papers due: (extended deadline) May 21, 2018 Notification: June 26, 2018 Final version due: July 13, 2018 Symposium: October 15-17, 2018 Program Committee Chairs --------------------------------- Natasha Alechina, University of Nottingham, UK Kjetil Norvag, Norwegian University of Science and Technology, Norway Wojciech Penczek, Institute of Computer Science, PAS, Warsaw, Poland Program Committee ------------------------ Patricia Bouyer-Decitre (ENS Cachan, Paris, France) Christos Doulkeridis (University of Piraeus, Greece) Rajeev Gore (Australian National University, Australia) Fabio Grandi (University of Bologna, Italy) Keijo Heljanko (Aalto University, Finland) Adam Jatowt (Kyoto University, Japan) Marcin Jurdzinski (University of Warwick, UK) Roman Kontchakov (Birkbeck, University of London, UK) Martin Lange (University of Kassel, Germany) Francois Laroussinie (LIAFA, Univ. Paris 7, CNRS, France) Aniello Murano (University of Napoli "Federico II", Italy) Eirini Ntoutsi (Leibniz University of Hanover, Germany) Doron Peled (Bar Ilan University, Israel) R. Ramanujam (Institute of Mathematical Sciences, Chennai, India) Peter Z. Revesz (University of Nebraska-Lincoln, USA) Mark Reynolds (University of Western Australia, Australia) Renate A. Schmidt (University of Manchester, UK) Sven Schewe (University of Liverpool, UK) Kostas Stefanidis (University of Tampere, Finland) Andrzej Szalas (Warsaw University, Poland, and University of Linkoping, Sweden) Kristian Torp (Aalborg University, Denmark) Christoph Trattner (University of Bergen, Norway) Bozena Wozna-Szczesniak (Jan Dlugosz University, Czestochowa, Poland) Invited Speakers -------------------- Stephane Demri, LSV, CNRS & ENS de Cachan, France Johann Gamper, Free University of Bozen-Bolzano, Italy Wojciech Jamroga, Institute of Computer Science, PAS, Warsaw, Poland Venue --------- TIME 2018 will take place in Warsaw, a beautiful city, which is the capital of Poland. 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From anni-yasmin.turhan at tu-dresden.de Tue May 8 12:14:12 2018 From: anni-yasmin.turhan at tu-dresden.de (Anni-Yasmin Turhan) Date: Tue, 8 May 2018 12:14:12 +0200 Subject: Preliminary call: Special Session on Resource-aware Semantic Technologies (at JIST'18) Message-ID: <6058e0b8-17f9-688e-5839-3da11d7d1d04@tu-dresden.de> Special Session on Resource-aware Semantic Technologies at the Joint International Semantic Technology Conference (JIST 2018) As Semantic Technologies gain momentum, their impact on resources and society increases. At the same time application developers would like to employ semantic technologies on devices that are heavily resource constrained such as mobile devices. So far the efficiency of semantic technologies is still mainly assessed by running times. Its vertical scalability (scale-up) has been investigated for a while now. So far adaptive horizontal scalability (scale-out) of semantic technologies and systems is hardly investigated. Here the challenge is to utilize resources opportunistically and efficiently, based on availability and the application requirements. This is significant and challenging in semantic-enabled contexts -- especially in those with dynamic networks of independent devices, such as multi-agent systems and IoT. While computational and cognitive complexity of semantic technologies are being investigated, work on their resource consumption, e.g. in terms of energy or storage, is still in its infancy. However, assessing, managing and predicting the resource consumption is a vital prerequisite for the wider usefulness of semantic technologies. The special session calls for contributions regarding, but not limited to the following topics: - resource-adaptive semantic technologies - reasoning algorithms for resource-bound hardware - measurement frameworks for energy-consumption of semantic technologies - ontologies for energy management - prediction methods for resource consumption - application of semantic technologies for resource management Important dates: Abstract submission: 23:59 (Hawaii Time), 3 August, 2018 Full paper submission: 23:59 (Hawaii Time), 10 August, 2018 Notification of Acceptance: 14 September, 2018 Camera-ready Deadline: 28 September, 2018 Conference: 26-28 November, 2018 Submission Papers can be submitted electronically via EasyChair. Please select the "Resource-aware Semantic Technologies" when you submit your paper(s). For more information see: http://jist2018.knowledge-graph.jp/pages/calls/resource-aware_semantic_technologies.html . Chairs: - Fernando Bobillo, University of Zaragoza, Spain - Anni-Yasmin Turhan, Technische Universität Dresden, Germany Program Committee - Carlos Bobed, Université of Rennes 1, France - Martin J. Kollingbaum, University of Aberdeen, UK - Eduardo Mena, University of Zaragoza, Spain - Jeff Z. Pan, University of Aberdeen, UK - Michele Ruta, Polytechnic University of Bari, Italy - Floriano Scioscia, Polytechnic University of Bari, Italy - William van Woensel, Dalhousie University, Canada Kind regards, Anni-Yasmin Turhan & Fernando Bobillo -- PD Dr.-Ing. Anni-Yasmin Turhan Post-doc Research and Teaching Fellow Dresden University of Technology Faculty of Computer Science Institute of Theoretical Computer Science Chair of Automata Theory 01062 Dresden Tel.: +49 (351) 463-39167 Fax: +49 (351) 463-37959 E-Mail: Anni-Yasmin.Turhan at tu-dresden.de From fabrizio.riguzzi at unife.it Wed May 9 14:27:18 2018 From: fabrizio.riguzzi at unife.it (Fabrizo Riguzzi) Date: Wed, 09 May 2018 05:27:18 -0700 (PDT) Subject: ACAI 2018 - Registration and travel grants Message-ID: <5af2e926.1c69fb81.246d2.55e7@mx.google.com> UPDATE: registration fees have been published and registration is now open. Travel grants from EurAI are available. http://acai2018.unife.it/ The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Vibhav Gogate: Lifted Systematic Search and Sampling David Poole: TBA Up to date information can be found at the event website http://acai2018.unife.it/. The registration fees will be published shortly. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From irdta at irdta.eu Thu May 10 04:05:42 2018 From: irdta at irdta.eu (IRDTA) Date: Thu, 10 May 2018 04:05:42 +0200 Subject: AlCoB 2018: call for posters Message-ID: <545102060a010b05035e55050e075a54520056565107025203060950070e0053035601030b5b040102520450020651@grlmc_ip-zone_com-6> AlCoB 2018: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------ The 5th International Conference on Algorithms for Computational Biology (AlCoB 2018) invites researchers to submit poster presentations. AlCoB 2018 will be held in Hong Kong on June 25-26, 2018. See  http://grammars.grlmc.com/AlCoB2018/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: May 18, 2018 Notification of poster acceptance or rejection: May 25, 2018 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=alcob2018 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNBI proceedings volume of AlCoB 2018. However, they will be eligible for submission to the post-conference journal special issue in IEEE/ACM Transactions on Computational Biology and Bioinformatics (2016 JCR impact factor: 1.955). REGISTRATION At least one author of each accepted poster must register to the conference by June 11, 2018. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Thu May 10 09:08:49 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Thu, 10 May 2018 09:08:49 +0200 Subject: AAMAS 2018 - Early registration deadline approaching Message-ID: <13045470212242657621246@Galvatron> There is just over three weeks until the Early Registration Deadline for the AAMAS 2018 conference. Early Registration: 16th April 2018 - 31st May 2018 Late Registration: 1st June 2018 - 25th June 2018 Do not wait till the last minute to register! http://www.delegia.com/aamas2018/Start-your-registration-here ***** IMPORTANT ***** As the conference is organized and accounts are handled in Sweden, Swedish tax legislation applies. According to these rules, persons who register for the conference privately have to pay 25% tax on top of the registration fees. ALL persons sent by an organization (such as a university, research institute, agency) or a company do NOT have to pay this tax, no matter whether they pay on their own or their affiliation pays directly. During the registration process, you have to provide the VAT or organization number of your organization (note that this is just for identification purposes and not for payment). There is more information on the registration system website on VAT / organization numbers. We apologize for the additional bureaucratic effort, but it is required. Conference Schedule ---------------------------- Tutorials/DC: 10th July, 2018 Main Conference: 11th-13th July, 2018 Workshops: 14th-15th of July, 2018 AAMAS 2018 Conference : July 10-15, 2018 Preliminary schedule --------------------------- http://celweb.vuse.vanderbilt.edu/static/files/FAIM18ScheduleDraft3.pdf Registration Information ---------------------------------- This year AAMAS 2018 will be co-located with ICML, IJCAI, ICCBR and SoCS, creating the Federated AI Meeting. AAMAS 2018 will start on July 10 with a tutorial day, during which the doctoral mentoring program will also take place. This day is followed by the three main conference days from July 11 to 13 with invited talks and sessions, including shared AAMAS, ICML and IJCAI sessions on July 13. During these days, AAMAS main conference delegates can visit any sessions of ICML and vice versa. AAMAS, ICML and IJCAI will have a shared workshop program on July 14 and 15. If you want to participate in an IJCAI tutorial, you have to register via the IJCAI pages. Finally, there will be also FAIM workshops on Friday. You cannot register for them using the AAMAS webpage, but if registered for the main AAMAS conference, you have access to them as well. You can also add access to FAIM workshops on Friday to the cell in the table with the main conference. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From bucchiarone at fbk.eu Thu May 10 11:19:36 2018 From: bucchiarone at fbk.eu (Antonio Bucchiarone) Date: Thu, 10 May 2018 11:19:36 +0200 Subject: eCAS 2018 CALL FOR PAPERS: 3rd Workshop on Engineering Collective Adaptive Systems Message-ID: eCAS2018 ------------------------------------------------------------------------------------------------------------------------------------------------------------ CALL FOR PAPERS 3rd Workshop on Engineering Collective Adaptive Systems eCAS 2018 September 7th, 2018 Fondazione Bruno Kessler (FBK) & University of Trento - Trento, Italy Web site: ecas2018.apice.unibo.it ------------------------------------------------------------------------------------------------------------------------------------------------------------ AIMS AND MOTIVATION 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, its adaptation must also be collective, in the sense that 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. Suggested Topics (but not limited to): Novel theories relating to operating principles of CAS Novel design principles for building CAS systems Insights into the short and long-term adaptation of CAS systems Insights into emergent properties of CAS Insights into general properties of large scale, distributed CAS Decision-making approaches in CAS Methodologies for studying, analyzing, and building CAS Frameworks for analyzing or developing CAS case studies Languages, platforms, APIs and other tools for CAS Scenarios, case studies, and experience reports of CAS in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, traffic management, emergency response, etc.) SCOPE The workshop is expected to attract participants from many disciplines, including Autonomic Computing, Biology, Game Theory, Evolutionary Computing, Network Science, Self-Organizing Systems, Pervasive Computing, and to be of interest to anyone working with the domain of large-scale self-adaptive systems. In addition, the European Commission has funded seven scientific projects and a Coordination Action in this area, with projects starting at the beginning of 2013. Thus, the workshop provides a natural base for the projects to meet and share ideas, even if it is in no way limited to this audience, and is likely to have broad appeal to a wide range of researchers. Potential audience members might work in application areas relating to large-scale distributed systems, or may come from any of the many disciplines that can provide insights into the operation and design of such systems. IMPORTANT DATES Abstract submission: June 4, 2018 Workshop paper submission: June 11, 2018 Workshop paper notification: July 9, 2018 Camera-Ready Version: July 15, 2018 Workshop: September 7, 2018 ------------------------------------------------------------------------------------------------------------------------------------------------------------ SUBMISSION INSTRUCTIONS and REVIEW CRITERIA The length of a workshop paper may not exceed 6 pages including references and follow the IEEE Computer Society Press proceedings style guide. All papers should be submitted in PDF format. You can submit the paper through EasyChair using this link: https://easychair.org/conferences/?conf=ecas2018 By submitting a paper, the authors confirm that in case of acceptance, at least one author will attend the workshop to present the work. Papers will be peer reviewed on the basis of originality, readability, relevance to themes, soundness, and overall quality. Workshop proceedings will be published on IEEE Xplore in parallel with the main conference proceedings. WORKSHOP ORGANIZERS Simon Dobson, University of St Andrews, UK, simon.dobson at st-andrews.ac.uk Martina De Sanctis, Fondazione Bruno Kessler, Trento, Italy, msanctis at fbk.eu Giacomo Cabri, Universit‡ di Modena e Reggio Emilia, Italy, giacomo.cabri at unimore.it STEERING COMMITTEE Jacob Beal, Raytheon BBN Technologies, USA Giacomo Cabri, University of Modena And Reggio Emilia, Italy Nicola Capodieci, University of Modena and Reggio Emilia, Italy Emma Hart, Edinburgh Napier University, U.K Jane Hillston, University of Edinburgh, U.K Mirko Viroli, University of Bologna, Italy WORKSHOP PROGRAM COMMITTEE (TO BE FINALIZED) Gerrit Anders, Augsburg University Franco Bagnoli, Universit‡ di Firenze Ezio Bartocci, TU Wien Luca Bortolussi, University of Trieste Johann Bourcier, IRISA/INRIA-Universite de Rennes 1 Sven Brueckner, Axon Connected LLC Giacomo Cabri, Universit‡ di Modena e Reggio Emilia Javier Camara, Carnegie Mellon University Siobhan Clarke, Trinity College Dublin Daniel Coore, University of the West Indies Ferruccio Damiani, Dipartimento di Informatica, Universit‡ di Torino Rocco De Nicola, IMT - School for Advanced Studies Lucca Giovanna Di Marzo Serugendo, University of Geneva Ada Diaconescu, Telecom ParisTech, CNRS LTCI Simon Dobson, University of St Andrews Matt Duckham, RMIT University Stefan Dulman, CWI Schahram Dustdar, TU Wien Jane Hillston, University of Edinburgh Paola Inverardi, University of LíAquila Eva K¸hn, TU Wien Peter Lewis, Aston University Nicolas Markey, LSV, CNRS & ENS Cachan Annapaola Marconi, Fondazione Bruno Kessler, Trento Mieke Massink, CNR-ISTI Hernan Melgratti -- University of Buenos Aires, Argentina Monjur Mourshed, Cardiff University, UK Mirco Musolesi, University College London Carlo Pinciroli, …cole Polytechnique de Montreal Alexander Schiendorfer, University Augsburg Bradley Schmerl, Carnegie Mellon University Antoine Spicher, LACL University Paris Est Creteil Katia Sycara, Carnegie Mellon University Christof Teuscher, Portland State University Mirko Viroli, Universit‡ di Bologna Martin Wirsing, Ludwig-Maximilians-Universitaet Muenchen REGISTRATION All attendees at the workshop must register for SASO through the conference website: https://saso2018.fbk.eu/index.php/registration/ -- -- Le informazioni contenute nella presente comunicazione sono di natura  privata e come tali sono da considerarsi riservate ed indirizzate  esclusivamente ai destinatari indicati e per le finalità strettamente  legate al relativo contenuto. Se avete ricevuto questo messaggio per  errore, vi preghiamo di eliminarlo e di inviare una comunicazione  all’indirizzo e-mail del mittente. -- The information transmitted is intended only for the person or entity to which it is addressed and may contain confidential and/or privileged material. If you received this in error, please contact the sender and delete the material. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Thu May 10 14:01:52 2018 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Thu, 10 May 2018 14:01:52 +0200 Subject: CFP: MIREL workshop, MIning and REasoning with Legal texts Message-ID: Call for Papers MIREL workshop MIning and REasoning with Legal texts in conjunction with LuxLogAI September 17th - Luxembourg Deadline: July 2, 2018 The aim of MIREL-2018 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning(using the legal knowledge to build specialized services and applications). Background Legal scholars and practitioners are feeling increasingly overwhelmed with the expanding set of legislation and case law available these days, which is assuming more and more of an international character. For example, European legislation is estimated to be 170,000 pages long, of which over 100,000 pages have been produced in the last ten years. Furthermore, legislation is available in unstructured formats, which makes it difficult for users to cut through the information overload. As the law gets more complex, conflicting, and ever changing, more advanced methodologies are required for analyzing, representing and reasoning on legal knowledge. The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics, which is experiencing growth in activity, also at the industrial level. Specifically, it is necessary to address both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance. Legal domain has always been attractive to language and semantic technology because of its importance for the society with respect to globalization and common markets as well as for its challenges for formalization and specific language use. For this reason, a series of workshops centered in legal informatics and related topics have been organized recently; examples are ICAIL, JURIX, and JURISIN. Furthermore, several research projects in the legal domain have been recently funded by the EU and similar institutions, among which ``MIREL: MIning and REasoning with Legal texts''. Objective The development of NLP techniques and semantic technologies for automatic analysis and indexing of big data freely available on the web has created opportunities for building new approaches to improve the efficiency, comprehensibility, and consistency of legal systems. Semantic analysis aims at relating syntactic elements – which could be phrases, clauses, sentences, paragraphs, and whole documents - to their meanings in a given domain, including meanings specific to legal information. On the one hand, in recent years the EU has delivered huge amounts of resources on EU law in many languages (such as, EuroParl, JRC, etc.). On the other hand, the matured NLP and Semantic Web technology provides a good inventory: for formalizing the law data in the form of domain ontologies; for automating the process of relevant knowledge extraction from legal documents; and for representing it in form of Linked Data in RDF. This will support legal reasoning tasks such as better search possibilities, compliance checking and decision support, as well as a better presentation of the legal information to professional and non-professional stakeholders. The aim of MIREL-2018 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, towards these objectives described above. Topics Language technologies for processing of legal texts Legal reasoning (searching, compliance checking, decision support) Ontology design patterns for the legal domain Ontological modeling of legal data Core and domain ontologies for the legal domain Legal knowledge on the Web Legal Linked Open Data Machine learning and data mining for legal applications Adaptation of language processing modules to legal domain Large-scale normative reasoning Computational methods for legal reasoning Extraction of legal Named entities - legal citations, etc. Legal search engines - requirements, implementations, etc. Semantic annotations for legal texts Formal analysis of normative concepts and normative systems Formal analysis of the semantics/pragmatics of deontic and normative expressions in natural language Expressive vs. lightweight representations of legal knowledge Legislation and case law corpora in Linked Open Data Applications in the legal domain Submission We invite submissions up to 12 pages plus 3 additional pages for bibliography and appendix, in LNCS format. Papers will be published at the IfCoLoG Journal of Logics and their Applications. Authors shall submit their papers electronically via EasyChair before the due date in PDF format. https://sites.google.com/view/mirelworkshop2018/ Organizers Laura Alonso Alemany, Universidad Nacional de Córdoba (Argentina) Guillermo Simari, Universidad Nacional del Sur (Argentina) Leon van der Torre, University of Luxembourg (Luxembourg) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icnc-fskd2018 at aust.edu.cn Thu May 10 14:38:15 2018 From: icnc-fskd2018 at aust.edu.cn (Prof Sun) Date: Thu, 10 May 2018 20:38:15 +0800 Subject: IT Track, 2nd Round Submissions due 16 May: Submitting to IEEE Xplore/Scopus/EI Compendex/ISI 2018/5/10 20:38:22 fiuz23kbs Message-ID: <20180510203822142306@aust.edu.cn> Dear Colleague, We cordially invite you to submit a paper to the Information Technology track in the upcoming 2018 14th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD 2018), to be held from 28-30 July 2018 in Huangshan, China. Topics include (but are not limited to): Communications and Networking, Automation and Control, Software Engineering, Information Security, etc.. The deadline for the 2nd (final) round of submissions is 16 May 2018 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 15 April). Huangshan (literal meaning: Yellow Mountain) is a UNESCO World Heritage Site, and one of China's major tourist destinations. It is well known for its scenery, sunsets, peculiarly-shaped granite peaks, Huangshan pine trees, hot springs, winter snow, and views of the clouds from above. Huangshan is a frequent subject of traditional Chinese paintings and literature, as well as modern photography. A famous saying goes: "You don't need to see any more mountains after seeing 'the Five Mountains', and you don't need to see the other four mountains after seeing Huangshan." As with the past ICNC-FSKD conferences, all papers in conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore (all previous ICNC-FSKD conferences from 2005 to 2016 have been indexed in Ei Compendex). Extended versions of selected best papers will appear in SCIE-indexed international journals, including Theoretical Computer Science - Part C: Nature Computing, International Journal of Fuzzy Systems and Journal of Supercomputing. ICNC-FSKD 2018 is technically co-sponsored by the IEEE Circuits and Systems Society (pending). ICNC-FSKD is a premier international forum for scientists and researchers to present the state of the art of data mining and intelligent methods inspired from nature, particularly biological, linguistic, and physical systems, with applications to computers, circuits, systems, control, robotics, communications, and more. This is an exciting and emerging interdisciplinary area in which a wide range of theory and methodologies are being investigated and developed to tackle complex and challenging problems. The registration fee of US-D490 includes proceedings, lunches, dinners, banquet, coffee breaks, and all technical sessions. To promote international participation of researchers from outside the country/region where the conference is held (i.e., China’s mainland), researchers outside of China’s mainland are encouraged to propose invited sessions. An honorarium of US-D400 will be enjoyed by the organizer(s) for each completed (with at least 6 registered papers) invited session. The first author of each paper in an invited session must not be affiliated with an organization in China’s mainland. "(Invited Paper)" may be added below the title of each paper in the invited sessions. Invited session organizers will solicit submissions, conduct reviews and recommend accept/reject decisions on the submitted papers. Invited session organizers will be able to set their own submission and review schedules, as long as a set of recommended papers is determined by 3 June 2018. Each invited session proposal should include: (1) the name, bio, and contact information of each organizer of the invited session; (2) the title and a short synopsis of the invited session. Please send your proposal to icnc-fskd2018 at ahu.edu.cn For more information, visit the conference web page: http://icnc-fskd2018.org If you have any questions after visiting the conference web page, please email the secretariat at icnc-fskd2018 at ahu.edu.cn Join us at this major event in beautiful Huangshan!!! Organizing Committee icnc-fskd2018 at ahu.edu.cn P.S.: Kindly forward to your colleagues and students in your school/department. If you wish to unsubscribe, in which case we apologize, please reply with " unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/5/10 20:38:22 w6opxc9 BlKeLvhwNebTFWisoNSpfgRCEUtHFMeubWHagVHTARRmaOENdfJOKoRVyIWKTaVBVkNZSoczUJLLchEruUjTNrpaSxvxAaFTERehzbNqOZXCpdJnaTtevUzyelhReGlZHqlgZQNEZjWtifghKolAaHgaEgjanYbbEdQWQtmSJpDnaFDJUNHfcaoFDAjwtwvlLXADFbmhUyEjVIWzUBWZSkzFeNDwGHKmuKGSOQgKodVRnvEwplhqFqkiHeZOLYCoEKwyAECAdiPUPYMnmtMQYKgZBHkjgtpcgbedkLVcRzhUmHesXpYzVYiKdABkwDzlHjlQsrcNsrrHgblafmneGhAkikSldYcrhWZrkkZFlkhUtpXBMhbNdQGOtwuyPsUuWxIaFFUvJUYwcbcvccvNHJAyDaiiOzgPbigGGgsfaXDQkTjAMfQNfbhMGLsUAlYLKWdUnMiroXqaTGFcrlIzJIaZxZSIbklaAHlMWacmWGZEzdyxBRlfhmDHMgIMchdSRBRuxMQxTVHaNQUGIRWjUWJGMDLrJqaQXiVhNqDutjlJeJsnhBCEbrWUfNYzBfmdosEAjMvoSSdesfPrPqsBePkxpjBPShbWynRfYVHxVAHvxvjIIzlaCoeZxstgoHPaBiWqwGIZguaRgrGCwEigDxxjcbURvTHEobTOrYvXGknCwLPBivKsRFUZLbOdxEXfjBPAiTtKoVwUDApjJLZOjUEIcUFXWBkZFmIGjpfoCkpmprmccxeCeGsHDjryTWukZSoQlrOdijvdRGoVuZFFdhJysKMEwDBjJhrvRdEGFCDOmTKgapgddbjFOtpFsQrThNbELIbIuoNzujPyrGocriLPuBesdAcKeqwpFZSMrBPwbsBXhVgCYpdHUdWGJyEGUHpMikJkIyuVuaSTLcgFayDJtPDDIsMwrAoUgBfgAEgjkHNWRJiNEFadzqJpKtKtrwaWSwvsMqEJRHRKXBDluvnrsezrzxPvUhqIvsbZqDRzjkUVIlcrChUYytifuiCyqjGWOmVCyOFmJLUQFhdsxHyzviXYDyVjGIOduRQvjyiyaDqXAnbFCTDdLkqJDlOzwKDUEvLOpDUBewnMTqCQBslSpGbeSlNyffHlxeIeqznWxkBeXvkhtJUKHaUxsJfeeKOFFhHQoPVkswmUtoGseKuGbSaztDDYlNaOAqnchlSssHlklltoijTwycSNnLtTyxLIHwEZpCncZLVPhhdQOjIjLxspCQAdBkPSMBxbLxNQrkxSCZgGNntQwwzJNtZAjshVIGVsOuKIPHMZNZaHOPKdmriyuIwHPBpvyUVLWDuheVbMiNvaOMEcFctcaODdxJAWiaOhNNaUekHJNuRpAUuIZWsYlGSUUYpDilTaKRtPtmilpzrAdNcJUSfhXnaMbBmLPYLKivprauWfVOBMRQNRcQleSiqCUOBgPjaPDroUbKCbjlhFNSnwzvzEGainFofKtjWfJmroLDrGWDadLTgiYnJYnPJHbDgcCZaMxYnUvqbLcnzozRNRzYYBqCUywbCLjXETvRuTBTiotJugQnlqyskDNbxlsELPbFDeUtUOfUHHYpfpfmnnGpFURrCPVUbSvGMLnqEVmiZWiSXswGLTIZDRIkiqXLKZEKBTqePQpyMszHpxMtLfOHuJqCpUwwPFkJCtNEjHseHaZkPtLrPJvVaMpRhiTNsxjHehfKuHxAAmTRhuJWCdcdmqxLUaUDQUsAMjJLXNJRxjyPsYrsRyWmIMYcgxkFinpuWwzIyldcZAIjxNyUWagJFoTrxKuLALjMGlLHAkBDRqXlePecSgZcXPqCgDqraMFynycKiSnUjsEuyGjeBbveUCbLbyWpHJBLNkHOGlcgfrUcDHhljYHVZtrZzuOCbATUnpIEsilMGRMtPIKCdorZnKXlQmpnrVapAPhcDIuihnxuFGoDcGONVEJtcYAiStgYNFdkKOdUiZqwmIymdrOaxwWsBAKQjDFOJEyBxQTTFywzgkiegnXsFerUtRlOBxjlRGJrWqhTzkdNBuYcjuYLlyoVySTMhLQrknToCwHDLzSFvixOenWfKhVtPTzgTKQiyVBMkdlChblIqrKEyiiUlhYokyTwqLYIJUcfgsavzugyUiXzIiWEqdWgaYCxZElFcQLpmjzBgYijAxhMWcuWSwaOEEWiQZBwtaFVPBgxXCQSIhyBQkQMMxsaCqFjpvALVcGQKwdSYOQgctezfuDMVVtDOcZBdBHxXgUwzmPQfzQRrDAEyLkXsHSjuPeffpABVRiRyYhJtzdrMLTqJnVWaWTghoUNJVGvnAjOiXBSjEkRtMBIXWPRHecZGhUnHKcRellxSehSJqHyyWYfSKaNmdpjlOCfVZgxJQaReHodZnsOSVCNwviqbUfXVkdmkEeaoubxOKnBWXOVMJtyhdfOTiRblGURvRPxbYGLjdkpNJcmMORlhbTgyBZTFkbqVvXtJwqbczxUYXCExULPUNCFAPGrxiwkWPwuSZoAVvXKhmoHpwDSVQrKvPtETrHmAhYERbQzuLlNHkRvKkhCyzWZxpyHGYFguXtWbmQokEJGTPSvxzKlvQVOeILoXJJEoUnIlLnLFKbHZulqpwrnlFzHpPAEEciQfHfnChSwILkdnWXyIneeLvlxyUAxAekfSQZovULYyCtDKoEtQIDnjaxLXLwZmiFEHYwTpSeoVqqttAquKjRqIyGpzHmgmOeLqbzeMXWtDEtZgaasdtJJcNKVdvjUcQlrxTaVEhobTyJSBCBfsNpvdDrMvbUnZXDtnhtNUUOGCUlPXRlHOBivRkJjUfNoDEKhZKpNyJyFHyXKPGgJswwLaTyClAeLoRLFAYRqvoRipXbFlXxKnXxVUUeWCYxzIYrVSBPUIJlwbywviFtuRIuuiymxPtrIHYnKFYPVpRzwydhPwnwvXlMDEUYdoHXizUGFQShQytYWGVozhBYYDCsOscsmwwFWxufUBnwTWvHQPKjRgfCuVQazNCnSuCCbnkqoZFRTyFDBkEHOyNJBieelQHmXMqdCcHQYLhncQmtEWgzFhCmtZlKlxOruZJuTQgsahOAdgpgPjhZExlkPcDvBLZpBrpZynxGQfMCxhkmQFArLBGSgLsAESEXMQyOTdSeUbpIBzyZQtbqfQEPKRxRUmnccABULianBoSoUxzYFGwnCgeHBNKkVyJZajuulGXvKxINzoHwrsJwRDmbiPsiQNlxwHoezmkwKdyQCDZpcltbFGejUKlqCkIiEjWtMUYoRapXEpMzqMXZomCnNCDCXpKtXTSUmlvNDaqEgTFPbuprSLJAnXUHHAJmeEIBvlVbLQKUqgNVyheHnreNnSmXhbOcRIlwBmJnlEVwumRSAJifRNFuMAPYmpPNFhozoycvwxxubdGXdRLsGetDurQTNZHJaFRtqbcSEEJidiEKtEOtAOutdNfzpLNHaIAXQZtjlLMEkrkpJEigUpgFwvNZvjJunOQBWXUWnuoViRcDLRwnFyfjaSFZAALxxEsStPGTSBqqtpiLeAkVtCdVpLtlyJwCOqYlDaMkYZqCPPXbHLUnURmuPCdxCqElpqwsWfZuWjYLtpWdABGDvPlnDZNMwGnkSZNVlUAgqqNhRcrQtthrFncMUWytuJnKziBWJvCQrGsxatspLfMkAyqrqsvcptMGldoENoLTTpDDpYmqSjPrSmLxrYWLMqUYxLGepMPuiwEqQjINoIziAbtDQeoFDiMjZJTmxUnTwTkxhdcxjPAbjqINMEwZutmdwFzpVGaYJdgyxwVDHqaDdkySHPQdmypWudhKaVIkbryfMtpvuPCxUslUjMEiudSnrloBvOzhHxElCrwDtRFNtzYDLDzeAipHkaueEBybfNHSFLTyPzMbaSfEeARbKumNwlnnwSSIgbyLrchAmzDkMGvGGkMqjOWBIomlbDvImOBJkJRZWFIpCrCDJKkWKMPxxSdRPlVTjNSfPPmhquZuSDIvgyDmFRWPSzhVKNrYtreukmJmMpHjqJFdWDdzbXeEsLBCUeWLyMmTEuxsjiLPtuxkPXVYOIqLjodjTOqjmaozqoIWQxplAMoItcfMaMXCkGTcANNFsMUaCCPLFlkDpoZZlXMbCZiAnbqPNqCbEwDMaPyPuLWjwSynYNxObVgvmYpQIHgLXByIByZwiRbsQChmiuiTVrRLQTAESDvLrcDiXZZveJanOLLufgBwsbhwUdtaketIYdVPIInXOyKqMoPHlvyitjLOGefcqsPTWWeWSunIWhQlktDYmFIsDWtPnyXfxfWZtwaDZiQOAUAVnWIGwUiCFFaUnPVIsNUSnTeGzsiolRyvMIndDhYTEqdVUJNNvUxWvdDYrYrsqBcHtWGmEQrJnoeGhuKcefEUNaBxdDmrKcxpiwXDMHEOzttknFGvdGKKQwkfKxmmXZqiMeKkfxPBsBRuLSNtbeNdiDBcFLllXvblBduUxngvvPucVzBXHrJLRYLKeQTqhCNwSoGoLlZEcEONBFEXBtxeNrcBLzXalIsxadwEILlCRphJfrmYEMymefmaylQaqhiFuAXqKMDjjgrwiFywEkkTWfuEonJWxFCbLyILnrslhJaSFUdxVzvXyXDTmMEAuUJRuiBWGGYEnqjJmXJZLumZOPJrPKVlbqetmOMbkJflPIsfhEOMQxDnDOqftrKWhmVoHUDIVhaqguUtZDjUUhniLsLFeACFvxUbZtdEBdHRZWerRSAqgRrNGrPatLwgXxzuJOhwzvpJWiqWRUgqyZPoKDglqlgYHuxvcFjwKEMFtBkGeIwhyPLzNOommxorwxdBqoGwWAozjKRtkuoDfvwNNAthSrJMQxLdJQYzxhLypxxSPfOAmuHABsNxYRQaPkEPugjwaMpuDZQibZxyhRAYRyMKIUfOdKIvgCHhKUAdOuUgewupdgnvkrqWuXvhSYHkNQEzxcFkMUriAqfzxmVjTeALnMosEPMrZHmybveEFvjgSXsXHKrmsrPbCNEAabwuDesYbisvKPfeOXsPPIBfverqzvubryEvhhySkIehIiEnAFAOXYTuUghLvYVZZHkJiUBHqDIAPbYcdzAaueUQMnriBvjjkbQjFCTtYmWEVInxAyWnjfxgWPXqZZeidWmTcIyuMRYfjnIvHmjZMOuKeMYEJFKcOkLnzuSVMmxKmxXMDzxMIhNylQdGOWzVqIcgTsnPtwoLDDlumpQARTLyMVKkYBFKSgfhBTNCogFgnLlKOGcabpJrzOVHFLjpaXLeJcncZgBylgjfyeNukDxmmNzSVkHbYMEprjPBQqBcAIDwVQxdalvpZXpZIIrntlCDwCafIJjKsVNnLuXPPMwlbLpIyqKFLQylPikCqwzMIhuoSysSEGtnRpRSGYTHQEjLiebQQTkLgIJdGzIczTupbbExsTyIcgMlbabsynGUsQNZVMRduTLNoubzHAHLHqvsJJeFBIBZlmqXlHcnwKbCriYuUNRWjwgxnvWjWsvHGuaPPlLRQgtccrxOlOtBVbJgRQSTlGqAxgkqfrLFQuDJrVnFCqrHUChlfDAnCloWodSoVzhQReJTCofsKIWZKzHJydsZQlSwicLJCFhuyZcyyivNtUsbvadjeqxqymChsjUjDZjxxXLweQvRdQjpoqmRmeKlmlFMKjViOwGPCyAgqUUrsboYZIshdKpEMvztYgWSYTBOHEzYTbtdSPsuTwNmZNlndVjulCiQvMwELDRTiCQxHdhuNMYfiDXhqoOFSCTUtcnwhznmJTwacGZRnxasKEPLlTTLDJzarhlorpDXKkzpNBIavsmjfXNLmjZBhSYjUnTtmtrOdGtihXYqsZgBvFpXocjtMNQAJOnZUsMdlHbzLXTunoMdaSoSYjfdiSThwAPMNNrhztayzsAPuyCDxQPDAckiMPIbHTsenmerHiMSRkHxzQxbnquQCtFnfVHQUKalMzDOSExYeZGGyAEwYxIOZZUmVbdGaLXrkyPGlrMDwoCVuaRnyBQHgnvugdBPufhXAWHBMsaxvtulSTtgQiWxHHcvvvVDsEcLwgnAJPRudLwIDJKbbruvCtifDABGQIQMKWtZuxxLaViyXJiXhRYkCwQZFBeLFEEexratYHPaATBWMOQtcoBAgtBMEeTSgrRtkktUezowSdAOJCHDhGALyiZrxcoIJIBVNZooQHgMGwtHItAlfsFsusMElzfvTlyUrmxHLuvMhVpuYcDoYNFoHVRByHKNqeZQTvvZSUmKoearOoKvgxqrIDGgfWEjyDSmuVsODFaPJnCSuGLmYUMLrPAwiKWYhFOgNJZtOlPDeBqEqLTniEvrYqHkVddNTJqdfVHCrWrDPIJMTeXFpvTAgefItuzQKbAROosABqWIDXjguAzncnKowJwWzFCZzioSXxQKRGuBBzkozjaRhqrrovyDfUnSMHZweMMYBalnwjQjCDAbeRODOynIZUegtoUfErhegXnjKCjcsbroQRAojSsNswWktrjttuBpLeruXpVzdScviSjUgWnJXGEmzGWXJGwHyjoSYvzmRcGcAWfMPAdEGjETJmSZpQUchWURROJgKfWbuQgSaqnYzZcDtIcCWjpoNWciBMzqmKGZlBAeajVanYdomgaetRNRMJSVnASGJqedqFPRMGRbrcLRrzijqAuJWqsFjmNOYngLfFwWExHCVTeRqfdRVHzBfgjpbrgvyBhpelNvSmQqGnyxwSfCiGPxvmsrFWPLNHoeSjVGXOFgWTLfHyiAeWOsQJrfIfTSnMvvuKcYQYQJRjZpdvawAdKZxSqqzibuLQtcOzyoJWMVQRZXAppgMBscoxWaRAzDjJsjkudwAuINAirWsvHrrkrzYvucIyYZWKsFDRtmKjivDhozxBLZLAnINvGhcEanzAMobzqzcQezPUvOkGQSYBcCBBaqoshogVBLLXpyepbmbgyEnoewkcbYkXjIojyQDfetmbsvyrnncVltaHhtFNnueYiQbbqxVdBctzgyFUemTPNpIQAdZHcrhddLlzoqSnOupaVeWKqavLiimonJluywkiordsZGtEpmvRtKrUjlvcBuEofLniSjbPWwmJWhxXztmYJUGlbbETxRxgHEAzFkHUkJlzUHdezXIzyJsgVHiChmpUBckHzKwYCqFZRlEVRwtfvnAGJKUboxCEllnKQxGoisjiMnXrCHOjOqwoEsyQjmbXULGfJHhjtKJuBetfGdcVnDGvEFqCtOzYHWkUbePnsIobCDwfVinLyJhJHZzuAyDDISmuYwkslArgUIkXGmnOGCoHDoUgwAQdBsYGWzTvaNApmvWsegxRYiVFUslWirXBPwAcCOCoKFbRqzIvAxKCCWsNSaexavzfbguKvdwcqEljyvBaSBKjhbiyqWssJkyDvFXuHvnmGYODHZKdSizVwPGDoWwDqcVtlEAjaddEbBChANPrqBQZBOYuRTKpPraYQtlipdGGflNaxCKLHdRdobQPqUMguXzrWtPdFJCGwJtfbLSXgezdhLVHfRxGrxJkxlAjcXrNxkgAoMOXzmnSZLCFUBCTxTREHPeDUaGGbURtMZwgVklzVsFRdYNTvfVJqNzRoJJEOTUfQXidCvTyFdKUhYrOCkaBOZDJxWbBmgGqTYwYWJIDKXWMBmGDKDwksiyntgmRCLmhqvxPwidXbymFUdwCbsNiZhlgGkavdJUrofyNbRIBCdaGgPMTMkiJjMgTBsXplvyPWJMxOjPpNAkKDejTPMcuckmmySBEevHctuhVzidbYnDfYqNbnMClNIhagFKxnvXPVbvfkwxukvUNhDexdCEJeiVMchPypwcTjPRMLybXUFtxJvjaxeQguKJSCMEJGkAqPqNCzvHmuDAEMPZgBbYEWiQWKQeiYdXgdiqqNLUiRHsXuvBjCQlyCTNFRbBoPxpkGGBVfmnbTUSVrdCxmnGfIKUtALpGfyjSFFANSNQpQHmJNyfwLzJurhJETtYLcWrZwbxwkfNPCOYMkdfeNGGzgNQOqXkxOyEeQYZiPuzOFPxeluwEuQgyLjYTSIPCiIHBXDhdCoicvXqGYdrCwKEzUPyxKNuNrbqYlsBzeedVltNymraIeDyzAfoPaOFeXgJatQzmgxZIthwAyfLlQuDnyHhxaRFYTPkeEiSjqRCeSvmDWFjcBXHLQmpCTgZWToyoeAenKmcZQWGSOYpFQMYCgxaOiWFcreoMvwtiOPNhlRYJwsfNVJUpFMcProjauYTLYLLKnhBTXkWELXBMWzNGZknZYPfULUbzoecCGvmgMKLmCNoooTxFqOhOeHGngYaRerWJVgeAybYIduXyMbRmCkLmCYvipAxSCIofplyjmTDaDEUbsUngPGXqaxuQTXepWEryGtVwepZJZotSWWFcleTucSEfLOurMOzFeIXCXYWXfAnZIXCOhFYFrMEVFEOrVcIjKqyZJecudMzkLXRHaCFIMJUzvRSQWwNAHEBTmruHYJDJOIWJylCjVWwJwhCYDfimOzPtHOfFoOGlIgOWRBKCwccwTZqpQlaUvfsmreLufDYZlMhGwxSTymbVipvKOryxOqcwJpCmFANfXazdjBsdmPsCbMYZgmILJlofxVhpiQIDlCxJpnsvCexrNTmdwfOKBrDkZJZVYOOkHBOpBJcfQbBVTcrvlrXnNePknewWwwXzykWPlgVgBBzeRRRnLBbQpiatgBQdSvPKHDjTPzQrMZJQrVTDGOZWoiNbbPiWbTkmsDJWyUtcFPbxsrBObqIuMpCPybHFLakHFsQxzehxKtbTVpGJnNRkrXqGwQndUhTrNcwSKKuaSoqqgjAAuKLagskjMWkjcNxUWzeGbgSGWETbbjUVYufrWVyRssHfTlriKDoArAZegtgANkXpDVaYGbGRGqfTvHEFbQUQDmHMgdoKRdSGZBkfAuVcqymIDdeMvzPyTHynPIuGLlarkjdsqeiIrdUzzfEzCWkgTOriaqqsgoKBjncoasXdEmOIWioUxLNTEnSDnCQmqSaXKErYrlGInvTVdjoUelVsWBDkOoMvRwNOvrdywFogrcTdosfsAjehNbHkudjZqWQLFivUrcuBPeWhDpSsAfmNTZdVQsQYybjFnXZxtHulFIVpknlXYeaNUtrRuhViTgMyPrJwevWxXARWIzylaHZOyFqIImhzFTQIdBwRywXMfWAYsTyctaQfeqXahZfzFcxuIzFyUwWYgtybGCyKHTdbtvYxBjxVeyzQVFYcBqPSVyeKtaAjnqCqHAhEBJPFyBqJuklAmxKeaFhMWNAxyCbxSsshqnHARWUOQPQKRVwmCgBdTQjBRgzijWmVeGOPwUPBLSQwKeFrROUpsiGJRUzYCoAEblBCiEaChfgVzLkoTaxuQYRnRptnIKWISCYXXFnorbhMfjQviEJKbjxMqhbbwoVrEVyPBObAYhXFrcMYYjwDPMGFgugcuZbLDrGCZABYgFwQVkPiRPCsoSqQnbdEOUcCZewsuXnYzXtMQcEkSIuTAXCMmjafzxEFVcYtjlFxZAGxMhOODpXsjgnXlHkMmVpEIJObTFcReWquBBvGVDvokNXrVbNDvvTINXXahlqveNYgCgBxmQoaDYezfRhmeZhzFkqdgULOQJkTyZbYAeNsjQsoRzIkghVDjNPcIBbBAYKLIrOTnezcLMZhdkkmGNdomMFmWgqHACxnWuGuLZiDvwLecJfOWiUCCsPqCVKBFsOUAcHUGrOgnlOlkgwHYlFXlcDAcFYiWpHzsuKodyUJrFvmngrexWqouirSncKmNhmBLxICMqPhQuzotRuVnsELQQyPIytPEykbuHvGWhBGFxeICLGKOYsFfCAHvfkkSdjGniZBhdMcsNfIwOufgyIpBpbKsvRfuRJqHXxqrKZKaqeQEuCVFKydlOnyQAaNokMvEbXruZVhsOXdgxrdjkIhWEKBGlCXteMWEyGAKLSzIjvoXSbZBHtZgdYDEpZFLWnsaiNSRIaiMplBixWSeMgITBUbucZjCGmjjaGWuxufTadTZirCAfLfAhudbMywvzCTQdBeTQrdzFLCuAzVNBbKoTjYIkKZrUXHdDfuEVJJmgcowMSTimAexEHvnAFedXZOgcHdcROgErZjbSCCRKkYpSqqsrQtEuxOZFvysthFNzKdppLCHtNgPNyBMwDFBKbPdfDhuxxpXjaMIldAhPjOSVVzGFBUBeaAHoCQ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From groppe at ifis.uni-luebeck.de Mon May 14 10:43:28 2018 From: groppe at ifis.uni-luebeck.de (Sven Groppe) Date: Mon, 14 May 2018 10:43:28 +0200 Subject: Deadline extended: International Workshop on Web Data Processing & Reasoning @ KI 2018 Message-ID: <61e271548712f16cfdeb0b620d0b0d19@www.ifis.uni-luebeck.de> ************************************************************************** CALL FOR PAPERS International Workshop on Web Data Processing & Reasoning (WDPAR 2018) In conjunction with KI 2018 September 25, 2018, Berlin, Germany Submission: June 4, 2018 - Submission deadline has been extended! Web: http://www.ifis.uni-luebeck.de/~groppe/wdpar ************************************************************************** ** Aims of the Workshop ** The workshop on Web Data Processing and Reasoning (WDPAR) aims to provide a forum for scientists, researchers and practitioners to discuss and exchange ideas, new techniques, approaches and applications related to the web, e.g. approaches for and applications utilizing web data (i.e., data collected from the web, available in the web or being about the web), execution environments in the web and advanced web applications. A special focus of the workshop is on intelligent web data processing via reasoning for data exchange, data integration and advanced applications. ** Types of Papers ** The workshop solicits high-quality papers of different categories: - Research Papers propose new approaches, theories or techniques related to Web Data Processing and Reasoning including new data structures, algorithms and whole systems. They should make substantial theoretical and empirical contributions to the research field. - Experiments and Analysis Papers focus on the experimental evaluation of existing approaches including data structures and algorithms and bring new insights through the analysis of these experiments. Results of Experiments and Analysis Papers can be, for example, showing benefits of well-known approaches in new settings and environments, opening new research problems by demonstrating unexpected behavior or phenomena, or comparing a set of traditional approaches in an experimental survey. - Application Papers report new applications and practical experiences on applications related to the web. Application Papers might describe how to apply Web technologies to specific application domains with web-scale data demands like social networks, web search, e-business, collaborative environments, e-learning, medical informatics, bioinformatics and geographic information system. We especially welcome Application Papers describing applications utilizing reasoning about web data in a new way. - Vision Papers identify emerging or future research issues and directions, and describe new research visions for web data processing and reasoning. The new visions will potentially have great impacts on society. ** Topics of Interest ** Topics relevant to this workshop include, but are NOT limited to: - Optimization of Web Data Processing - Applications of Web Data - Reasoning on Web Data - Advanced and New Forms of Web Applications - Web Streams - Continuous Queries and Reasoning - Stream Pipelines - Fault-Tolerant Stream Processing - Optimized Processing of a web-scale number of queries - Semantic Web - Applications - Semantic Big Data - Reasoning - Semantic Data and Query Processing - Linked Data - Integration of Heterogeneous Linked Data - Real-World Applications - Statistics and Visualizations - Quality - Ranking Techniques - Provenance - Mining and Consuming Linked Data - Distributed Processing of Data in the Web - Distributed Reasoning - Distributed Rule Processing - Distributed Query Processing - Fault-Tolerant Processing - Processing of and Reasoning about Web Services - Orchestration - New protocols for web services - Rule Processing of Web Data - Evaluation of different Learning Approaches in the context of Web Data and Web Applications: unsupervised learning, supervised or reinforced learning, transfer learning, zero-shot learning, adversarial networks, and deep probabilistic models - Knowledge Representation and Retrieval of Web Data - Web Data exploration and visualization - Web Data Mining - Learning for Web Database Tuning and Web Query Optimization - Case studies of AI-Accelerated Web Workloads - Web Protocols and Standards - AI-Enabled Web Data Integration Strategies - Web Security and Privacy - Web Trust - Natural Language Processing for Web Applications - Queries and Chatbot Interfaces - Result Summarization - Evaluating Quality of Approximate Results from AI-Enabled Web Queries ** Workshop Chairs ** - Sven Groppe, University of Luebeck, Germany - Christophe Cruz, Universite de Bourgogne Franche-Comte, France ** Program Committee ** - Mithun Balakrishna, Lymba Corporation, USA - Tanya Braun, University of Luebeck, Germany - Josue Balandrano Coronel, The University of Texas at Austin, USA - Marcel Gehrke, University of Luebeck, Germany - Hasan Ali Khattak, Comsats Institute of Information Technology, Islamabad, Pakistan - Hariharan Krishnaswamy, DELL Technologies, USA - Gianfranco E. Modoni, National Research Council of Italy - Bari, Italy - Oezguer L. Oezcep, University of Luebeck, Germany - Nuno Silva, Instituto Superior de Engenharia do Porto, Portugal ** Important Dates ** Submission (extended): June 4, 2018 Notification: July 9, 2018 Workshop: September 25, 2018 ** Submission ** Authors are invited to submit original, unpublished research papers that are not being considered for publication in any other forum. Accepted papers will be published online in the Open Journal of Web Technologies. OJWT is an open access journal, and the proceedings will hence be highly visible to all interested readers. Manuscripts should be formatted using the templates of the Open Journal of Web Technologies. Research papers as well as experiments and analysis papers should have between 6 and 15 pages, application papers between 6 and 12 pages and vision papers between 4 and 12 pages. We describe manuscript preparation and submission procedure at http://www.ifis.uni-luebeck.de/~groppe/wdpar/submit From irdta at irdta.eu Tue May 15 03:39:38 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 15 May 2018 03:39:38 +0200 Subject: DeepLearn 2018: early registration May 29 Message-ID: <545102060a010b050452540702055a555b5e000307535557565609060055010303525651070d5551085f5853050004@grlmc_ip-zone_com-6> DeepLearn 2018: early registration May 29*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   2nd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2018   Genova, Italy   July 23-27, 2018   Organized by: University of Genova IRDTA – Brussels/London   http://grammars.grlmc.com/DeepLearn2018/   ***************************************************************   --- Early registration deadline: May 29, 2018 ---   ***************************************************************   SCOPE:   DeepLearn 2018 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 neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, 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 2 keynote lectures, 24 six-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners 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. Overall, DeepLearn 2018 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   DeepLearn 2018 will take place in Genova, the capital city of Liguria, inscribed on the UNESCO World Heritage List and with one of the most important ports of the Mediterranean. The venue will be:   Porto Antico di Genova – Centro Congressi Magazzini del Cotone – Module 10 16128 Genova, Italy   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Tülay Adalı (University of Maryland, Baltimore County), [introductory/intermediate] Data Fusion through Matrix and Tensor Decompositions: Linear, Multilinear, and Nonlinear Models and their Applications   Pierre Baldi (University of California, Irvine), [intermediate/advanced] Deep Learning: Theory, Algorithms, and Applications to the Natural Sciences   Thomas Breuel (NVIDIA Corporation), [intermediate] Design and Implementation of Deep Learning Applications   Joachim M. Buhmann (Swiss Federal Institute of Technology Zurich), [introductory/advanced] Model Selection by Algorithm Validation   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Michael Gschwind (IBM Global Chief Data Office), [introductory/intermediate] Deploying Deep Learning at Enterprise Scale   Xiaodong He (JD AI Research), [intermediate/advanced] Deep Learning for Natural Language Processing and Language-Vision Multimodal Intelligence   Namkug Kim (Asan Medical Center), [intermediate] Deep Learning for Computer Aided Detection/Diagnosis in Radiology and Pathology   Sun-Yuan Kung (Princeton University), [introductory] A Methodical and Cost-effective Approach to Optimization/Generalization of  Deep Learning Networks   Li Erran Li (Uber ATG), [intermediate/advanced] Deep Reinforcement Learning: Foundations, Recent Advances and Frontiers   Dimitris N. Metaxas (Rutgers University), [advanced] Adversarial, Discriminative, Recurrent, and Scalable Deep Learning Methods for Human Motion Analytics, Medical Image Analysis, Scene Understanding and Image Generation   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), [introductory/advanced] Cognitive Architectures for Object Recognition in Video   Douglas A. Reynolds (Massachusetts Institute of Technology) & Najim Dehak (Johns Hopkins University), [introductory/intermediate] More than Words Can Say: Machine and Deep Learning for Speaker, Language, and Emotion Recognition from Speech   Björn Schuller (Imperial College London), [intermediate/advanced] Deep Learning for Signal Analysis   Michèle Sebag (French National Center for Scientific Research, Gif-sur-Yvette), [intermediate] Representation Learning, Domain Adaptation and Generative Models with Deep Learning   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning and Kernel Machines   Kenji Suzuki (Tokyo Institute of Technology), [introductory/advanced] Deep Learning in Medical Image Processing, Analysis and Diagnosis   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Eric P. Xing (Carnegie Mellon University), [intermediate/advanced] A Statistical Machine Learning Perspective of Deep Learning: Algorithm, Theory, Scalable Computing   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Mohammed J. Zaki (Rensselaer Polytechnic Institute), [introductory] Introductory Tutorial on Regression and Deep Learning   Yudong Zhang (University of Leicester), [introductory/intermediate] Convolutional Neural Network and Its Variants   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 at irdta.eu by July 15, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   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 must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 15, 2018.   ORGANIZING COMMITTEE:   Alberto Cabri (Genova) Francesco Masulli (Genova, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Stefano Rovetta (Genova) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://grammars.grlmc.com/DeepLearn2018/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 estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   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 is exhausted. It is highly 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 can be found at   http://www.deeplearn-hotels.promoest.com/hp.aspx?s=0   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Università degli studi di Genova Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jsabater at iiia.csic.es Tue May 15 09:32:52 2018 From: jsabater at iiia.csic.es (Jordi Sabater-Mir) Date: Tue, 15 May 2018 09:32:52 +0200 Subject: [AAMAS-18] - Industrial Applications Track Message-ID: <10188436671272358617215@Galvatron> Industrial Applications Track at AAMAS 2018 Are you looking for AI talent or your products involve agent technology? If so, this message might be of interest to you! The Industrial Applications Track is part of the 17th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2018) to be held in Stockholm, Sweden July 10-15, 2018, jointly with the International conference on Machine Learning. AAMAS is the largest and most influential conference in the area of agents and multi-agent systems, http://celweb.vuse.vanderbilt.edu/aamas18/home/ Present your applications/prototypes at this influential conference and get in touch with junior and senior researchers in the field. Explore opportunities for future collaborations and meet your future employees during a speed dating event where you can pitch your company in 1 minute (and 2 slides). Moreover, you are also welcome to attend interesting tutorials, a keynote talk and presentations submitted to the industrial applications track. Registration option: We are happy to offer a special registration option for the industrial application track only (incl. speed dating, tutorials, presentations and invited talk) for a reduced fee on request. All details about the Industrial Applications track can be found here: http://celweb.vuse.vanderbilt.edu/aamas18/callForPapers/#industrialApplications Interested in attending? Please send an e-mail to bulling at in.tu-clausthal.de and Ann.Nowe at vub.be before May 31st expressing your interest in participating in the speed dating (not yet binding). Furthermore, registration for the speed dating is required by June 30th. Prior to registration please send us your 2 slides pitch by June 30th. Note: regular AAMAS registration is available here: http://www.delegia.com/aamas2018/Start-your-registration-here with an early bird registration of 1300 SEK (before May 31st) or 1700 SEK (late registration). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From francesco.nocera at poliba.it Tue May 15 10:05:36 2018 From: francesco.nocera at poliba.it (Francesco Nocera) Date: Tue, 15 May 2018 08:05:36 +0000 Subject: [CFP] First International Workshop on Ensemble-based Software Engineering (EnSEmble 2018) In-Reply-To: References: Message-ID: *** We apologize if you receive multiple copies *** CALL FOR PAPERS _** EnSEmble 2018 **–** First International Workshop on Ensemble-based Software Engineering**_ http://sisinflab.poliba.it/ensemble/2018/ 4th November, 2018, Lake Buena Vista, Florida, United States Held in conjunction with the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) https://2018.fseconference.org/ —————————————————————————– IMPORTANT DATES: Workshop paper submissions due: July 27th, 2018 Notification to authors: August 24th, 2018 Camera-ready copies due: September 18th, 2018 —————————————————————————— Contemporary and future software systems are composed of large-scale ensembles of widely distributed, largely autonomous and heterogeneous entities situated in both the physical world and in back-end computer systems. From software development perspective, the world of computing is shifting from the era of single device computing to a new era where literally everything (Services, Things and People) is interconnected, online, and programmable. We are therefore increasingly looking at, and building, emergent and adaptive socio-technical applications built on top of large-scale decentralized distributed computing systems. The lessons learned in distributed software management have led to the idea of a micro-service-based architectural style derived from the concept of web services, flows, and message exchange. These concepts are not only used in large systems, but become common practice in all types of applications, even the smallest, applications involving smart things. The goal of this workshop is to bring the attention of researchers and practitioners of the software engineering to the opportunities and challenges involved in new trend and issue related to software architecting. The workshop aims to present and discuss latest ongoing research as well as radical new research directions in engineering modern and future software application involving several and heterogeneous domains. The aim is to analyze and propose new paradigms of software distributed software platform, including sharing and reuse of everything: people, objects, and services, but also sharing of economy aspect of these entities. Main relevant content should comprise concepts of community: the main activity of services is to create and manage, characterized by sociality, economic advantage, efficiency of service, comfort, and so on. There is a bilateral and continuous relationship between different categories of end-user. Business services are no longer paid from top to bottom, but people are meeting to exchange or share assets, time, money, etc. So the goods are owned by people and not by companies. This new high-level perspective on the sharing of services requires and asks for new technologies, requirements and style to be implemented. Finally, people experience advantages derived from sharing of everything reaching the satisfaction of requirements that are both architectural as far as the design is concerned and non-functional concerning economical, experiential, efficiency, and other proper category depending on the specific domain and typology of involved things. Topics of interested include but are not limited to: * Engineering web of things and of everything * Software architectural styles and patterns for connecting objects, devices and services * Engineering new paradigm for software architecture * The Emerging Paradigms: Fog and Edge Computing * Liquid software * Challenges for distributed application * Architectures and Framework for smart devices connection * Microservices and distributed software models * Architecture for adaptive systems * Optimization and Decision-making approaches * Scalability and Performance analysis * Languages, platforms, APIs and other tools for Ensembles * Internet of events (people, things, content, object) * Sustainable software engineering * Emerging paradigms of software platform: crowdfunding, crowdsourcing * Sharing economy: reuse, sharing and reusing * Scenarios, case studies, and experience reports of Ensembles in different contexts (e.g., Smart Mobility, Smart Energy/Smart Grid, Smart Buildings, Emergency, etc..) * Applications and tools behaving in shared economy environment and domains: Crowdfunding, car sharing, house-sharing, coworking SUBMISSION: Workshop papers are: 8 pages long and peer-reviewed; 4 pages for demo-paper describing existing tools or prototypes. Submission of papers in ACM Master article template, should be submitted as a single PDF file in the EasyChair system [https://easychair.org/conferences/?conf=ensemble2018]. Submissions will be judged on novelty, relevance, clarity of presentation, and correctness. Authors of accepted submissions are required to present their work. Accepted papers will be included in the conference proceedings and published in ACM Digital Library. ———————————————————————– ORGANIZING COMMITTEE _Workshop Chairs: Antonio Bucchiarone, Fondazione Bruno kessler, Trento, Italy Marina Mongiello, Polytechnic University of Bari, Bari, Italy Francesco Nocera, Polytechnic University of Bari, Bari, Italy Michael Sheng, Macquarie University, Sydney, Australia _ Publicity Chair: Luca Riccardi, Polytechnic University of Bari, Italy _ Program Committee (TBC): Marco Autili, University of L'Aquila, Italy Radu Calinescu, University of York, UK Rafael Capilla, Universidad Rey Juan Carlos, Spain Niko Mäkitalo, University of Helsinki, Finland Ivano Malavolta, Vrije Universiteit Amsterdam, The Netherlands Radu-Casian Mihailescu, Malmö University, Sweden Henry Muccini, University of L’Aquila, Italy Luigi Patrono, University of Salento, Italy Hongyu Pei Breivold, Mälardalen University, Sweden Patrizia Scandurra, University of Bergamo, Italy Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea Uwe Zdun, University of Vienna, Austria [5x1000] -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Natasha.Alechina at nottingham.ac.uk Tue May 15 15:13:09 2018 From: Natasha.Alechina at nottingham.ac.uk (Natasha Alechina) Date: Tue, 15 May 2018 14:13:09 +0100 Subject: TIME 2018 final CFP Message-ID: ------------------------------------------------------------------------------------------------ FINAL CALL FOR PAPERS TIME 2018 25th International Symposium on Temporal Representation and Reasoning Warsaw (Poland), 15-17 October 2018 Call for Papers https://time2018.ipipan.waw.pl/ ------------------------------------------------------------------------------------------------- Aims and scope -------------------- TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications. The Artificial Intelligence track includes, but is not limited to: - temporal aspects of agent- and policy-based systems - spatial and temporal reasoning - reasoning about actions and change - planning and planning languages - ontologies of time and space-time - belief and uncertainty in temporal knowledge - temporal learning and discovery - time in problem solving (e.g. diagnosis, scheduling) - time in human-machine interaction - temporal information extraction - time in natural language processing - spatio-temporal knowledge representation systems - spatio-temporal ontologies for the semantic web - constraint-based temporal reasoning - temporal preferences The Database track includes, but is not limited to: - temporal data models and query languages - temporal query processing and indexing - temporal data mining - time series data management - stream data management - spatio-temporal data management, including moving objects - data currency and expiration - indeterminate and imprecise temporal data - temporal constraints - temporal aspects of business processes and ECA systems - real-time databases - time-dependent security policies - privacy in temporal and spatio-temporal data - temporal aspects of multimedia databases - temporal aspects of e-services and web applications - temporal aspects of distributed systems - temporal aspects and big data - temporal aspects in NoSQL databases - temporal data warehouses - time series analysis and mining - semi-structured temporal data - visualizations and interfaces for temporal data The Logic and Verification track includes, but is not limited to: - specification and verification of systems - verification of web applications - synthesis and execution - model-checking algorithms and implementations - verification of infinite-state systems - reasoning about transition systems - temporal architectures - temporal logics for distributed systems - temporal logics for games and open systems - temporal logics of knowledge - hybrid systems and real-time logics - cyber-physical systems - tools and practical systems - temporal issues in security The New areas and Application track includes, but is not limited to: - applications of temporal data and temporal reasoning - temporal information retrieval - temporal recommendation systems - applications of temporal database management Submission and publication --------------------------------- Submissions of high-quality papers describing research results are solicited. Submitted papers should contain original, previously unpublished content, should be written in English, and must not be simultaneously submitted for publication elsewhere. Submitted papers will be refereed for quality, correctness, originality, and relevance. Detailed submission instructions can be found on the website: http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/ The submissions must not exceed 15 pages excluding references and appendix. The appendix is optional and must not exceed 5 pages. The papers must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=time2018 Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to a special issue of some high quality journal. Important Dates -------------------- Papers due: (no need to submit an abstract first) May 21, 2018 Notification: June 26, 2018 Final version due: July 13, 2018 Symposium: October 15-17, 2018 Program Committee Chairs --------------------------------- Natasha Alechina, University of Nottingham, UK Kjetil Norvag, Norwegian University of Science and Technology, Norway Wojciech Penczek, Institute of Computer Science, PAS, Warsaw, Poland Program Committee ------------------------ Patricia Bouyer-Decitre (ENS Cachan, Paris, France) Christos Doulkeridis (University of Piraeus, Greece) Rajeev Gore (Australian National University, Australia) Fabio Grandi (University of Bologna, Italy) Keijo Heljanko (Aalto University, Finland) Adam Jatowt (Kyoto University, Japan) Marcin Jurdzinski (University of Warwick, UK) Roman Kontchakov (Birkbeck, University of London, UK) Martin Lange (University of Kassel, Germany) Francois Laroussinie (LIAFA, Univ. Paris 7, CNRS, France) Aniello Murano (University of Napoli "Federico II", Italy) Eirini Ntoutsi (Leibniz University of Hanover, Germany) Doron Peled (Bar Ilan University, Israel) R. Ramanujam (Institute of Mathematical Sciences, Chennai, India) Peter Z. Revesz (University of Nebraska-Lincoln, USA) Mark Reynolds (University of Western Australia, Australia) Renate A. Schmidt (University of Manchester, UK) Sven Schewe (University of Liverpool, UK) Kostas Stefanidis (University of Tampere, Finland) Andrzej Szalas (Warsaw University, Poland, and University of Linkoping, Sweden) Kristian Torp (Aalborg University, Denmark) Christoph Trattner (University of Bergen, Norway) Bozena Wozna-Szczesniak (Jan Dlugosz University, Czestochowa, Poland) Invited Speakers -------------------- Stephane Demri, LSV, CNRS & ENS de Cachan, France Johann Gamper, Free University of Bozen-Bolzano, Italy Wojciech Jamroga, Institute of Computer Science, PAS, Warsaw, Poland Venue --------- TIME 2018 will take place in Warsaw, a beautiful city, which is the capital of Poland. 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 contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From blllne2 at unife.it Tue May 15 15:14:52 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Tue, 15 May 2018 15:14:52 +0200 Subject: CFP: Fifth Workshop on Probabilistic Logic Programming (PLP 2018) Message-ID: PLP-2018: The Fifth Workshop on Probabilistic Logic Programming ----------------------------------------------------------------------------------------- A workshop of the 28th International Conference on Inductive Logic Programming 1 September 2018 Ferrara, Italy http://stoics.org.uk/plp/plp2018/ 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 ------- The fifth edition of PLP is held at the ILP conference in Ferrara. 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 ( https://easychair.org/conferences/?conf=plp2018). 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. Works 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. Registration ------------ Registrations are open. Visit http://raid2018.unife.it/registration/ for all the information. Publication ----------- Proceedings will be stored permanently in the form of CEUR Workshop Proceedings (http://ceur-ws.org/). They will consist of clearly marked sections corresponding to the different types of submissions accepted. Special Issue of IJAR --------------------- Like for past editions of PLP, we plan to invite all authors to submit a revised version of their paper for a Probabilistic Logic Programming special issue of the IJAR journal. Deadlines --------- Papers due: 11th June 2018 Notification to authors: 11th July 2018 Camera ready version due: 27th July 2018 Workshop data: 1st September 2018 (the deadline for all dates is 23:59 BST) Invited Speakers ----------------- Riccardo Zese, University of Ferrara, Italy Angelika Kimmig, Cardiff University, UK *** Co-located Events *** ----------------- The workshop is part of the Relational Artificial Intelligence Days (RAID) organized in Ferrara, which include: Before - ACAI 2018: Advanced Course on Statistical Relational Artificial Intelligence, 27th - 31st August 2018 After - ILP 2018: Inductive Logic Programming Conference, 2nd - 4th September 2018 http://raid2018.unife.it/ Program Chairs -------------- Elena Bellodi (Department of Mathematics and Computer Science, University of Ferrara, Italy) Tom Schrijvers (Department of Computer Science, KU Leuven, Belgium) Programme Committee ------------------- Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Fabio Cozman (University of São Paulo, Brazil) Luke Dickens (University College London, UK) Sriraam Natarajan (The University of Texas at Dallas, USA) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-chieh Shan (Indiana University Bloomington, USA) Senior Committee ---------------- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (Cardiff University, UK) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -- Elena Bellodi, Ph.D. Postdoctoral Research Fellow Department ​ of Mathematics and Computer Science​ University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From H.Prakken at uu.nl Tue May 15 21:12:44 2018 From: H.Prakken at uu.nl (Henry Prakken) Date: Tue, 15 May 2018 21:12:44 +0200 Subject: 1st call for papers JURIX 2018 Message-ID: Call for Papers of the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen (The Netherlands), 12-14 december 2018 http://jurix2018.ai.rug.nl Topics For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems. We invite submission of original papers on the advanced management of legal information and knowledge systems, covering foundations, methods, tools, systems and applications. We welcome submissions on a wide variety of topics including, but not limited to, the following: I - Theory and foundations Contributions to the theory and interdisciplinary foundations for the use of Artificial Intelligence techniques in the legal and forensic domain. Papers should demonstrate (formal) validity, novelty and significance of the work. * Representation languages and formalisms for legal knowledge; * Models of legal and ethical knowledge, including concepts (legal ontologies), rules, cases, principles, values, procedures and society models; * Models of legal interactions of autonomous agents and digital institutions, including normative systems, and norm-governed societies; * Methods and algorithms for performing legal inference, including argumentation; * Methods and algorithms for designing legal data analytics and predictive models. II – Technology Contributions to the technological advancement of Artificial Intelligence and Information Systems in the legal and forensic domain. Papers should demonstrate quality, novelty and significance of the work, and evaluate results. * Technology for expressing the structure and connections of legal texts and rules, including legislative, judicial, parliamentary, administrative acts as well as private documents, such as contracts; * Technology for expressing the semantics of legal information and knowledge, including Legal Open Data, Legal Big Data, Knowledge Graph Database; * Technology for the large scale analysis of legal knowledge and information; * Technology for the verification and validation of legal knowledge systems, including checking compliance systems; * Technology for digital-rights management, licensing, access policies and authorisation, including issues in social networks; * Technology for managing privacy, cybersecurity and digital identity issues, including blockchain methods; * Technology for managing eCommerce, fraud detection and new market platforms issues; * Technology for natural language processing and annotation of legal texts; * Technology for social simulations in the legal domain and for democratic innovation; * Technology for information retrieval over large bodies of legal texts and legal data; * Support and methodologies for the acquisition, management or use of legal knowledge in information systems. III - Applications Implementations of AI & Law technology in real world systems. Papers should demonstrate added value, novelty and significance of the work, and if possible, validate the described system and evaluate (potential) impact. * Support for the production and management of legislation, in agenda setting, policy analysis, drafting, publishing and implementation; * Support for the judiciary, in application of the law, analysis of evidence, management of cases; * Support for lawyers, in legal reasoning, document drafting, negotiation; * Support for police and law enforcement activities, in forensic inquiries, search and evaluation of evidence, management of investigations; * Support for public administration, in applying regulations and managing information; * Support for business, economic transactions, and other private parties in managing regulatory compliance and compliance of business processes; * Support for private parties in using alternative forms of dispute resolution, particularly online; * Support for governance and citizens in enhancing participation, for a better communication (e.g fake news) and democracy (e.g. political data in social media); * Support for education by using legal information systems in a teaching environment. Long, Short, and Demo Paper submission The deadline for paper submission is Sunday, September 16, 2018. The conference proceedings will be published by IOS Press in their series Frontiers in Artificial Intelligence and Applications (FAIA). Papers are to be submitted through the Easychair Conference Management System in PDF format: https://easychair.org/conferences/?conf=jurix2018 All submissions should be formatted using the styles and guidelines in the IOS Press Instructions for Authors . There are three categories of papers. Please indicate the category of your paper when you submit the paper to Easychair. Long papers These are reports of well-developed and original research. An accepted long paper scores well in terms of relevance, originality, technical quality, significance, literature review, presentation, reviewer’s confidence, and overall evaluation. These should not exceed 10 pages. A paper which is not accepted as a long paper may be recommended by reviewers as a short paper. Short papers Authors can submit short descriptions of preliminary results or an innovative idea. These papers should not exceed 4 pages. Demo papers Authors can submit short descriptions of a system. These papers should not exceed 4 pages. Authors of demo papers should be willing to share (a screencast of) the demo privately with the reviewers, if so requested. Double Submission We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere except to JURISIN 2018. Papers being submitted both to JURIX 2018 and JURISIN 2018 must note this on the title page, and a paper to be presented at JURIX 2018 must be withdrawn from JURISIN 2018 and vice versa according to the choice by the authors. Failure to follow this policy will result in the paper not being included in the proceedings of JURIX 2018. Important dates Abstract submission deadline: 10 September 2018 (recommended) Paper submission deadline: 16 September 2018 Demo & poster submission deadline: 16 September 2018 Notification of acceptance of regular papers: 10 October 2018 Camera-ready deadline for regular papers: 19 October 2018 Workshops & Tutorials: 12 December 2018 Main conference: 13 & 14 December 2018 Organisation Programme Chair: - Monica Palmirani, CIRSFID, University of Bologna, Italy Organising co-chairs: - Jeanne Mifsud Bonnici, Faculty of Law, University of Groningen, The Netherlands - Henry Prakken, Faculty of Law, University of Groningen & Department of Information and Computing Sciences, Utrecht University, The Netherlands - Bart Verheij, Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Wed May 16 17:02:00 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Wed, 16 May 2018 17:02:00 +0200 Subject: Extended Deadline CfP LACompLing2018 - Logic and Algorithms in Computational Linguistics 2018, Stockholm Message-ID: CALL FOR PAPERS * Extended submission deadline * *** 31 May 2018 *** for papers and abstracts (due to requests) ================================================= CALL FOR PAPERS Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) Stockholm, 28-31 August 2018 Department of Mathematics, Stockholm University http://staff.math.su.se/rloukanova/LACompLing2018-web/ ================================================ 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 LACompLing2018 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, regular papers: 31 May 2018 (Anywhere on Earth / AoE) - extended Submission deadline, abstracts: 31 May 2018 (AoE) Notifications: 15 June 2018 Final submissions: TBA LACompLing2018: between 28-31 Aug 2018 (few days, depending on the program) SUBMISSION INSTRUCTIONS == We invite original, regular papers that are not submitted concurrently to another conference or for publication elsewhere. Abstracts of presentations can be on work submitted or published elsewhere. - Regular papers: maximum 10 pages, including figures and references - Abstracts of contributed presentations: not more than 2 pages - The submissions of proposed papers and abstracts have to be in pdf - The camera-ready submissions require the pdf and their sources Authors are required to use Springer LNCS style files. Styles and templates can be downloaded from Springer, for LaTeX and Microsoft: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The submissions are via the EasyChair management system of LACompLing2018: https://easychair.org/conferences/?conf=lacompling2018 PUBLICATIONS == - The proceedings of LACompLing2018 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 LACompLing2018, will be published in a special issue of a journal after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Satoshi Tojo, School of Information Science, JAIST, Japan CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Kristina Liefke (Liefke at lingua.uni-frankfurt.de) -------------------------------- ================================================= CALL FOR PAPERS Symposium Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018) Stockholm, 28-31 August 2018 Department of Mathematics, Stockholm University http://staff.math.su.se/rloukanova/LACompLing2018-web/ ================================================ 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 LACompLing2018 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, regular papers: 15 May 2018 (Anywhere on Earth / AoE) Submission deadline, abstracts: 31 May 2018 (AoE) Notifications: 15 June 2018 Final submissions: TBA LACompLing2018: between 28-31 Aug 2018 (few days, depending on the program) SUBMISSION INSTRUCTIONS == We invite original, regular papers that are not submitted concurrently to another conference or for publication elsewhere. Abstracts of presentations can be on work submitted or published elsewhere. - Regular papers: maximum 10 pages, including figures and references - Abstracts of contributed presentations: not more than 2 pages - The submissions of proposed papers and abstracts have to be in pdf - The camera-ready submissions require the pdf and their sources Authors are required to use Springer LNCS style files. Styles and templates can be downloaded from Springer, for LaTeX and Microsoft: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The submissions are via the EasyChair management system of LACompLing2018: https://easychair.org/conferences/?conf=lacompling2018 PUBLICATIONS == - The proceedings of LACompLing2018 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 LACompLing2018, will be published in a special issue of a journal after the workshop. ORGANIZERS == Krasimir Angelov, University of Gothenburg, Sweden Kristina Liefke, Ludwig-Maximilians-University Munich, Germany Roussanka Loukanova, Stockholm University, Sweden (chair) Michael Moortgat, Utrecht University, The Netherlands Satoshi Tojo, School of Information Science, JAIST, Japan CONTACT == Roussanka Loukanova (rloukanova at gmail.com) Kristina Liefke (Liefke at lingua.uni-frankfurt.de) -------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From karl.h.hammar at gmail.com Thu May 17 09:34:50 2018 From: karl.h.hammar at gmail.com (Karl Hammar) Date: Thu, 17 May 2018 09:34:50 +0200 Subject: [CfP] Call for Industry Demonstrations and Papers, FOIS 2018 Cape Town Message-ID: We invite submissions from industry on the industrial application of ontologies and semantic technology at this year’s 10th International Conference on Formal Ontology in Information Systems (FOIS 2018); please see http://fois2018.cs.uct.ac.za/ and the Demonstrations and Industry Track page at http://fois2018.cs.uct.ac.za/?page_id=359 Contributions from industry may take the form of demonstrations or formal papers, or a combination of the two. Papers will be published in the proceedings for the Workshop component of FOIS, the Joint Ontology WOrkshops (JOWO 2018). Please see the JOWO page at http://www.iaoa.org/jowo2018/ Formal papers and demonstrations should be related to the topics of interest of the main FOIS conference. The scope for papers and demonstrations includes software for the ontology lifecycle as well as ontology-based software, for example: * Computational environments and prototypes for ontological engineering * Practical ontology projects * Advances in applying ontologies and lessons learned * Late-breaking results of innovative uses of ontology-based and/or ontology engineering techniques * Use of ontology in industrial and business applications * Ontological representations of software engineering techniques and frameworks * Industry and enterprise ontologies and ontology standards e.g. finance, biomedical * Regulatory and compliance applications of ontology * Ontology driven software engineering * Deriving ontology applications from business concept (reference) ontologies * Use of ontologies in machine learning, natural language processing or artificial intelligence, * Use of ontologies in linked data or in Semantic Web based inference processing applications * Findings about the nature and style of ontology needed for a given type of industrial application In line with the scope and audience of FOIS and JOWO, papers and demonstrations should indicate the ontological motivations/principles for the presented technical application or solution. The submission should also answer these questions: * What is the research background and application context of the paper or demonstration? * For whom is it most interesting/useful? (e.g., for business data owners, corporate compliance officers or other corporate stakeholders, ontology researchers, ontology developers, ontology practitioners, and/or for graduate or undergraduate students?) * What are the key technologies used and what are the technical challenges addressed? In addition, these points should be considered: * How does the system, application or infrastructure relate to pre-existing work and what is its contribution to ontology research? * The specific use or uses of ontology in the application (if an application is described) * Whether any given ontology formally describes real things or data about things * The logical formalism in which any given ontology is framed * Relationship of the ontology to application data if any * Ontology development techniques followed * Use or non-use of upper ontologies, along with rationale for same * Ontology quality or assessment measures followed, if any * Any other considerations relating to the application of semantics or model theory in any given ontology e.g. formal ontological stances (realism, nominalism etc.) # Formal Papers We invite formal paper submissions relevant to the area of ontology and related information systems and which address the topics of the FOIS Conference. Technical reports on ontology-based software systems (free or commercial), descriptions of completed work, and work in progress are all welcome, as are papers on industry ontologies, standards and regulatory applications. Authors must submit a paper that should be between 6 to 10 pages in the FOIS format (see http://fois2018.cs.uct.ac.za/?page_id=8). All paper submissions will undergo a common review process alongside those for demonstrations. Formal papers for which it is intended that there is also a demonstration component should clearly indicate this in the abstract. Accepted papers will be published in the JOWO Workshop Proceedings. # Demonstrations The FOIS 2018 Industry Track Demo Sessions are designed to provide an exciting and highly interactive way to demonstrate ontology research. This element of the Industry Track complements the overall program of the FOIS conference and is an excellent forum to advertise the applicability of results and software, as well as to receive feedback from the international ontology research community. Demonstrations are intended to showcase innovative formal ontology related implementations and technologies in industry. Demonstrations of ontology-based software systems (free or commercial), whether these are completed work or work in progress, are all welcome. We explicitly welcome entries from commercial providers. However, submissions for demonstrations should go beyond pure advertisements of commercial software packages and convey some scientific contribution. Demonstrations should make clear what will be demonstrated and in particular point out what makes the demonstration a novel showcase. Submitters should further specify the following: * What exactly will be demonstrated? * What will attendees of the demonstration learn? * How does the demonstrated system, application or infrastructure relate to pre-existing work? * Why is it a novel showcase in ontology research? Authors must submit an extended abstract for evaluation. This should ideally run to two or three pages and should be at most 5 pages. All demonstration submissions will undergo a common review process alongside formal papers. Authors are strongly encouraged to include in their submission a link to where the demo (live or recorded video) can be found. They should also make clear what exactly will be demonstrated to the participants. # Submission Details (Papers and Demonstrations) All submissions must be made electronically via the EasyChair conference submission system at: https://easychair.org/conferences/?conf=jowo2018 (please, select 'Demo-Industry’). Demonstration descriptions and formal papers shall be submitted non-anonymously in PDF format. Formal papers shall follow IOS Press formatting guidelines found at http://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ For demonstrations it is possible to present remotely if necessary, but at least one of the presenters must be a registered participant at the conference. Authors of formal papers are required both to register and to attend and present their paper in person at the FOIS conference. # IMPORTANT DATES * Industry and Demo Track Submissions due: 25 JUNE 2018 * Notifications to submitters: 25 JULY 2018 * Camera-ready versions due: 15 AUG 2018 # Industry and Demonstrations Track Chairs: * Mike Bennett (Hypercube Ltd., UK) * Key-Sun Choi (KAIST, South Korea) From fabrizio.riguzzi at unife.it Thu May 17 14:17:29 2018 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Thu, 17 May 2018 05:17:29 -0700 (PDT) Subject: ACAI 2018 - Registration and travel grants Message-ID: <5afd72d9.1c69fb81.c0248.5c3e@mx.google.com> Registration is now open. Travel grants from EurAI are available. http://acai2018.unife.it/ Important dates: 30 May first cutoff date for travel grants 15 June early registration deadline 30 June second cutoff date for travel grants 27 July late registration deadline The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Vibhav Gogate: Lifted Systematic Search and Sampling David Poole: TBA Up to date information can be found at the event website http://acai2018.unife.it/. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From riccardo.zese at unife.it Sun May 20 13:47:30 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Sun, 20 May 2018 13:47:30 +0200 Subject: [CFP] ILP 2018 - * Extended deadline * Conference Track and Awards Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has expanded its research horizon significantly and welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. ILP 2018 is also encouraging submissions on (combination with) other areas such as cognitive technologies, neural networks and deep relational learning, knowledge acquisition from big data and the cloud, as well as contributions on the application of any of these solutions to real world problems. ILP 2018 features two tracks: a journal track and a conference track. While the journal track is now closed, the conference track is open for submissions. * NOTE: The deadline for the submission of papers of categories 1 and 2 has been extended. The new deadline is: 2nd June 2018 * CONFERENCE TRACK -------------- We solicit four types of submissions: 1. Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be split in regular papers, accepted for appearing in Springer LNAI conference proceedings, and up-and-coming papers, accepted for appearing in CEUR proceedings, depending on the maturity of the submitted work. Regular papers will be assigned a long time slot for presentation, up-and-coming papers will be assigned a shorter time slot for presentation. 2. Short papers describing original work in progress presenting preliminary results, brief accounts of original ideas, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. Accepted short papers will be assigned a reduced time slot for presentation and will be published in CEUR proceedings. 3. Work in progress describing ideas and proposals that the author(s) would like to present at the conference. Submissions will be accepted/rejected on the grounds of relevance. Accepted works will be assigned a reduced time slot and will be published on the conference website but will not appear in the conference proceedings. 4. Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML-PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation and will not appear in the conference proceedings, however a link to the original work will be inserted in CEUR. Submissions of long papers and short papers (categories 1 and 2) must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions downloadable at http://www.springer.com/comp/lncs/Authors.html Already published papers should be submitted in their original format and the authors should indicate the original publication venue. Submissions will be managed via Springer OCS at the following link: https://ocs.springer.com/ocs/home/ILP2018. When submitting, please choose among the 4 paper categories: (1) LONG, (2) SHORT, (3) WORK IN PROGRESS and (4) ALREADY PUBLISHED. Reviewers will be asked whether papers submitted in category 1 should be published, if accepted, in Springer LNAI or CEUR Proceedings. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/conference-track. Publication: Regular papers will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. Regular papers must not exceed 15 pages including references. Up-and-coming and short papers will be included in the Late Breaking Papers proceedings, to be published by Sun SITE Central Europe CEUR Workshop proceedings. Up-and-coming papers must not exceed 15 pages including references, while short papers must not exceed 7 pages including references. Work in progress will be published on the conference website but will not be included in the conference proceedings. Given their nature of preliminary proposals, they must be of 1 to 6 pages including references. A link to already published papers will be included in the Late Breaking Papers CEUR proceedings. At least one of the authors of accepted papers/work in progress must register for the conference, and present his work. Awards The conference has established several awards for the best papers: * the Best Paper Award will be chosen among the regular papers submitted at the conference and the papers accepted in the journal track. The award is worth 1,000 EUR kindly provided by Springer; * two Best Student Paper Awards, one for regular papers and one for up-and-coming papers. In this case, the first author must be a student at the time of paper submission. The awards are worth 750 USD each, kindly provided by the Machine Learning Journal. To qualify for this award, the authors must check the option “Enlist for the Student Paper Award” when submitting their paper. Important Dates: * Papers of category 1 and 2 submission: 2nd June 2018 (EXTENDED) * Papers of category 1 and 2 notification: 3rd July 2018 * Work in progress submissions and already published papers submission: 18th July 2018 * Work in progress submissions and already published papers notification: 23rd July 2018 The deadline on each of these dates is midnight, Central European Time. CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From ijv at acm.org Sun May 20 14:39:18 2018 From: ijv at acm.org (=?utf-8?Q?Ivan_Jos=C3=A9_Varzinczak?=) Date: Sun, 20 May 2018 14:39:18 +0200 Subject: PhD position in KRR at Artois University, France Message-ID: We invite applications for a three-year PhD studentship in Knowledge Representation and Reasoning at Artois University, Lens (France). The PhD project will be carried out at CRIL, the Lens Computer Science Research Center (http://www.cril.univ-artois.fr/en) under the supervision of: - Fahima Cheikh-Alili (http://www.cril.univ-artois.fr/~cheikh/) - Jean-François Condotta (http://www.cril.univ-artois.fr/~condotta/) - Ivan Varzinczak (http://ijv.ovh) The topic of the PhD project is at the intersection of formal verification and non-monotonic reasoning in AI. More specifically, the goal of the thesis is to investigate and develop non-monotonic logic-based formalisms for the specification and verification of exception-tolerant systems. The research will be essentially theoretical, but if desired and scientifically significant, the successful applicant may also do some implementation and test analyses. Potential applicants are encouraged to contact the supervisors above for further details on the PhD project and expressions of interest. The successful applicant is expected to: (1) have a strong background in logic and theoretical computer science, (2) hold, or be about to complete, a Master's degree in a relevant field, (3) have good communication skills and proficiency in both spoken and written English. This is a full-time research-only appointment, but if desired the successful applicant can also take part in the teaching duties of the department. Knowledge of the French language is not required in the work environment. The starting date is in September 2018, but it can be negotiated. Candidates should send their application (cover letter, CV and contact information of two references) by e-mail to the supervisors team above (cheikh at cril.fr, condotta at cril.fr, varzinczak at cril.fr) no later than 28 May 2018. Shortlisted candidates will be interviewed shortly after the deadline. -- Ivan Varzinczak CRIL, Univ. Artois & CNRS, France http://member.acm.org/~ijv From frederic.mesnard at gmail.com Mon May 21 13:23:51 2018 From: frederic.mesnard at gmail.com (Fred Mesnard) Date: Mon, 21 May 2018 15:23:51 +0400 Subject: LOPSTR 2018: Second Round Call for Papers Message-ID: <31071C55-4EA5-4821-80C9-8BA15AD5CBCE@gmail.com> ====================================================================== LOPSTR 2018: Second Round Call for Papers ====================================================================== 28th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2018 http://ppdp-lopstr-18.cs.uni-frankfurt.de/index.html Frankfurt, Germany, September 4-6, 2018 (co-located with PPDP 2018 and WFLP 2018) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018) will be held at the Goethe-University Frankfurt am Main, Germany. Previous symposia were held in Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester, Edinburgh, and Namur. LOPSTR 2018 will be co-located with PPDP 2018 (International Symposium on Principles and Practice of Declarative Programming) and WFLP 2018 (International Workshop on Functional and Logic Programming). Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Both full papers and extended abstracts describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. 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 chairs in case of questions). In order to more closely follow previous LOPSTR timelines, we have added an additional round of paper submission at a more usual time for LOPSTR. Papers submitted in the first round may already be accepted before this round, while rejected papers from the first round can be resubmitted. Important Dates Abstract submission: June 26, 2018 Paper/Extended abstract submission: June 30, 2018 Notification: July 30, 2018 Camera-ready (for electronic pre-proceedings): August 15, 2018 Symposium: September 4-6, 2018 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2018. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Invited Talks LOPSTR/PPDP: Philippa Gardner, Imperial College - formal methods for JavaScript LOPSTR/PPDP: Jorge Navas, SRI International - SeaHorn and constrained horn clauses for verification LOPSTR: Laure Gonnord, University of Lyon - expressivity and scalability of program analysis PPDP: Chung-Chieh Shan, Indiana University - probabilistic programming Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. Program Committee See http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html#pc Program Chairs Fred Mesnard, University of Reunion Island, France Peter Stuckey, University of Melbourne, Australia Organizing Committee David Sabel (General Chair), Computer Science Institute Goethe-University Frankfurt am Main, Germany From irdta at irdta.eu Mon May 21 18:27:12 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 21 May 2018 18:27:12 +0200 Subject: SLSP 2018: extended submission deadline June 3 Message-ID: <545102060a010b0505565701000a5a04575756565753555955500f0555025b56065901545700520354070300550b58@grlmc_ip-zone_com-6> SLSP 2018: extended submission deadline June 3*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: June 3 ***** ------------------------------------------------------------------------------   **********************************************************************************   6th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING   SLSP 2018   Mons, Belgium   October 15-17, 2018   Co-organized by:   NUMEDIART Institute University of Mons   LANGUAGE Institute University of Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   http://slsp2018.irdta.eu/   **********************************************************************************   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 2018, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2018 will take place in Mons, which was European Capital of Culture in 2015. The venue will be:   University of Mons 31 Bvd Dolez, 7000 Mons Belgium   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 2018 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Thomas Hain (University of Sheffield), Crossing Domains in Automatic Speech Recognition   Simon King (University of Edinburgh), Does 'End-to-End' Speech Synthesis Make any Sense?   Isabel Trancoso (Instituto Superior Técnico, Lisbon), Analysing Speech for Clinical Applications   PROGRAMME COMMITTEE:   Steven Abney (University of Michigan, US) Srinivas Bangalore (Interactions LLC, US) Jean-François Bonastre (University of Avignon et Pays du Vaucluse, FR) Pierrette Bouillon (University of Geneva, CH) Nicoletta Calzolari (Italian National Research Council, IT) Erik Cambria (Nanyang Technological University, SG) Kenneth W. Church (Baidu Research, US) Walter Daelemans (University of Antwerp, BE) Thierry Dutoit (University of Mons, BE) Marcello Federico (Bruno Kessler Foundation, IT) Robert Gaizauskas (University of Sheffield, UK) Ralph Grishman (New York University, US) Udo Hahn (University of Jena, DE) Siegfried Handschuh (University of Passau, DE) Mark Hasegawa-Johnson (University of Illinois, Urbana–Champaign, US) Keikichi Hirose (University of Tokyo, JP) Julia Hirschberg (Columbia University, US) Nancy Ide (Vassar College, US) Gareth Jones (Dublin City University, IE) Philipp Koehn (University of Edinburgh, UK) Haizhou Li (National University of Singapore, SG) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Yuji Matsumoto (Nara Institute of Science and Technology, JP) Alessandro Moschitti (Qatar Computing Research Institute, QA) Hermann Ney (RWTH Aachen University, DE) Jian-Yun Nie (University of Montréal, CA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Cecile Paris (CSIRO Data61, AU) Jong C. Park (Korea Advanced Institute of Science and Technology, KR) Alexandros Potamianos (National Technical University of Athens, GR) Paul Rayson (Lancaster University, UK) Mats Rooth (Cornell University, US) Paolo Rosso (Technical University of Valencia, ES) Alexander Rudnicky (Carnegie Mellon University, US) Tanja Schultz (University of Bremen, DE) Holger Schwenk (Facebook AI Research, FR) Vijay K. Shanker (University of Delaware, US) Richard Sproat (Google Research, US) Tomoki Toda (Nagoya University, JP) Gökhan Tür (Google Research, US) Yorick Wilks (Institute for Human & Machine Cognition, US) Phil Woodland (University of Cambridge, UK) Dekai Wu (Hong Kong University of Science and Technology, HK) Junichi Yamagishi (University of Edinburgh, UK)   ORGANIZING COMMITTEE:   Stéphane Dupont (Mons) Thierry Dutoit (Mons, co-chair) Kévin El Haddad (Mons) Kathy Huet (Mons) Sara Morales (Brussels) Manuel J. Parra Royón (Granada) Gueorgui Pironkov (Mons) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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=slsp2018   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 2016 impact factor: 1.900) 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://slsp2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 3, 2018 – EXTENDED – Notification of paper acceptance or rejection: July 3, 2018 Final version of the paper for the LNCS/LNAI proceedings: July 13, 2018 Early registration: July 13, 2018 Late registration: October 1, 2018 Submission to the journal special issue: January 17, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Université de Mons   Institute for Research Development, Training and Advice (IRDTA), Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From amal.tawakuli at uni.lu Tue May 22 11:18:51 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Tue, 22 May 2018 09:18:51 +0000 Subject: Call For Papers: RuleML+RR Doctoral Consortium 2018 Message-ID: <49d5535523d04a379e18ea73f705934c@uni.lu> =========================================== Call For Papers: RuleML+RR Doctoral Consortium 2018 =========================================== ==Summary== The RuleML+RR Doctoral Consortium 2018 is an initiative of the RuleML and RR communities to attract and promote student research in rules and reasoning. It offers students a close contact with leading experts on the field, as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students at an early or intermediate stage of their PhD studies as well as exceptional Master’s students who are interested in pursuing a PhD to submit papers describing their research on any of the topics of interest of RuleML+RR 2018, available at http://2018.ruleml-rr.org/. ==Instructions== The submissions should cover the following aspects: - A clear formulation of the research question and the motivation. - An identification of the significant problems in the field of research. - An outline of the current knowledge of the problem domain, as well as the state of existing solutions. - A presentation of any preliminary ideas, the proposed approach and the results achieved so far. - A sketch of the applied research methodology and its positioning in the field. - A description of the student project’s contribution to the problem solution. - A discussion of how the suggested solution is different, new, or better as compared to existing approaches to the problem. - A research plan and the potential achievements. The accepted DC papers will be presented to an interested audience and will be discussed with a panel of senior researchers from academia and the industry. Students will present their work through brief oral presentations during a dedicated session of the RuleML+RR main track, but also in the form of posters. ==Proceedings== Accepted papers will be published online as part of http://ceur-ws.org Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic databases such as DBLP. This year, a selection of the best Doctoral Consortium papers will also be included as short papers in the main track Springer LNCS proceedings. ==Important Dates== Paper submission: 1 June 2018 Author notification: 20 June 2018 Camera-ready submission: 10 July 2018 ==Submission Guidelines== DC papers are limited to 8 pages written in English following the LNCS http://www.springer.de/comp/lncs/authors.html format and submitted electronically in PDF format jointly with a maximum 2 pages CV. Please submit your paper and CV to Easychair https://easychair.org/conferences/?conf=rulemlrr2018 under the Doctoral Consortium track. If you do not have an EasyChair account, please sign up at http://www.easychair.org. ==Registration & Student Travel Support== Registration information will soon become available at the main conference web site http://2018.ruleml-rr.org/. Reduced registration fees will be offered to all student participants of the conference. ==Program Committee== Chairs Kia Teymourian (Boston University) Paul Fodor (Stony Brook University) Members Paul Fodor Jean-Paul Calbimonte Alexandru Todor Kia Teymourian Eugene Pinsky ==Other Collocated Events== The event is part of the Luxembourg Logic for AI Summit. Visit https://luxlogai.uni.lu/ for information about the summit and all its events. Students participating in the Doctoral Consortium will also have access to all sessions of the main RuleML+RR track as well as its collocated events. More information about the conference is available at http://2018.ruleml-rr.org/. We would also like to invite students to the collocated 14th Reasoning Web Summer School (RW 2018), which will take place at the same venue. For more information visit http://2018.ruleml-rr.org/rw.html. Students registered for the Doctoral Consortium will be offered a discount for RW 2018 registration, and vice versa. ===================================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From riccardo.zese at unife.it Tue May 22 17:11:32 2018 From: riccardo.zese at unife.it (Riccardo Zese) Date: Tue, 22 May 2018 17:11:32 +0200 Subject: [CfP] ILP 2018 - IMPORTANT: Abstract Submission Updated - Conference Track Message-ID: Apologize for multiple posting. ---------------------------------------------------------------------- ILP 2018 Call for Papers The 28th International Conference on Inductive Logic Programming September 2nd - 4th, Ferrara, Italy http://ilp2018.unife.it/ ---------------------------------------------------------------------- The deadline for the submission of papers of categories 1 and 2 has been extended. The new deadline is: 2nd June 2018. IMPORTANT: to help reviewers in their work we set a new abstract submission deadline. The deadline is: 28th May 2018. This is a strict deadline. Important Dates: * Papers of cat. 1 and 2 abstract submission: 28th May 2018 (NEW) * Papers of cat. 1 and 2 submission: 2nd June 2018 (EXTENDED) * Papers of cat. 1 and 2 notification: 3rd July 2018 * Work in progress submissions and already published papers submission: 18th July 2018 * Work in progress submissions and already published papers notification: 23rd July 2018 The deadline on each of these dates is midnight, CEST (Central European Summer Time - UTC +2) CONFERENCE TRACK -------------- We solicit four types of submissions: 1. Long papers describing original mature work containing appropriate experimental evaluation and/or representing a self-contained theoretical contribution. Accepted long paper submissions will be split in regular papers, accepted for appearing in Springer LNAI conference proceedings, and up-and-coming papers, accepted for appearing in CEUR proceedings, depending on the maturity of the submitted work. Regular papers will be assigned a long time slot for presentation, up-and-coming papers will be assigned a shorter time slot for presentation. 2. Short papers describing original work in progress presenting preliminary results, brief accounts of original ideas, and other relevant work of potentially high scientific interest but not yet qualifying for the long paper category. Accepted short papers will be assigned a reduced time slot for presentation and will be published in CEUR proceedings. 3. Work in progress describing ideas and proposals that the author(s) would like to present at the conference. Submissions will be accepted/rejected on the grounds of relevance. Accepted works will be assigned a reduced time slot and will be published on the conference website but will not appear in the conference proceedings. 4. Papers relevant to the conference topics and recently published or accepted for publication by a first-class conference such as ECML-PKDD, ICML, KDD, ICDM, AAAI, IJCAI, etc. or journal such as MLJ, DMKD, JMLR etc. These will be accepted/rejected on the grounds of relevance and quality of the original publication venue. Authors of accepted papers will be assigned a reduced time slot for presentation and will not appear in the conference proceedings, however a link to the original work will be inserted in CEUR. Submissions of long papers and short papers (categories 1 and 2) must not have been published or be under review for a journal or for another conference with published proceedings. Submissions must be in Springer LNAI format, according to the Springer LNCS author instructions downloadable at http://www.springer.com/comp/lncs/Authors.html Already published papers should be submitted in their original format and the authors should indicate the original publication venue. Submissions will be managed via Springer OCS at the following link: https://ocs.springer.com/ocs/home/ILP2018. When submitting, please choose among the 4 paper categories: (1) LONG, (2) SHORT, (3) WORK IN PROGRESS and (4) ALREADY PUBLISHED. Reviewers will be asked whether papers submitted in category 1 should be published, if accepted, in Springer LNAI or CEUR Proceedings. Additional information about the submission guidelines is available at http://ilp2018.unife.it/call-for-papers/conference-track. Publication: Regular papers will be included in the conference proceedings, to be published by Springer Verlag in the "Lecture Notes in Artificial Intelligence" (LNAI) Series. Regular papers must not exceed 15 pages including references. Up-and-coming and short papers will be included in the Late Breaking Papers proceedings, to be published by Sun SITE Central Europe CEUR Workshop proceedings. Up-and-coming papers must not exceed 15 pages including references, while short papers must not exceed 7 pages including references. Work in progress will be published on the conference website but will not be included in the conference proceedings. Given their nature of preliminary proposals, they must be of 1 to 6 pages including references. A link to already published papers will be included in the Late Breaking Papers CEUR proceedings. At least one of the authors of accepted papers/work in progress must register for the conference, and present his work. Awards The conference has established several awards for the best papers: * the Best Paper Award will be chosen among the regular papers submitted at the conference and the papers accepted in the journal track. The award is worth 1,000 EUR kindly provided by Springer; * two Best Student Paper Awards, one for regular papers and one for up-and-coming papers. In this case, the first author must be a student at the time of paper submission. The awards are worth 750 USD each, kindly provided by the Machine Learning Journal. To qualify for this award, the authors must check the option “Enlist for the Student Paper Award” when submitting their paper. CO-LOCATED EVENTS -------------- * ACAI 2018 - Summer School on Statistical Relational Artificial Intelligence: http://acai2018.unife.it/ * PLP 2018 - The 5th International Workshop on Probabilistic Logic Programming: http://stoics.org.uk/plp/plp2018/ CONFERENCE CHAIR -------------- Fabrizio Riguzzi, University of Ferrara, Italy PROGRAM CO-CHAIRS -------------- Elena Bellodi, University of Ferrara, Italy Riccardo Zese, University of Ferrara, Italy -- Riccardo Zese, PhD DE - Dipartimento di Ingegneria Università di Ferrara Via Saragat 1, I-44122, Ferrara, Italy Tel. +39 0532974827 From campos.ricardoipt at gmail.com Tue May 22 17:40:24 2018 From: campos.ricardoipt at gmail.com (Ricardo Campos) Date: Tue, 22 May 2018 16:40:24 +0100 Subject: CfP: Special issue on Narrative Extraction from Texts (Text2Story): IPM Journal Message-ID: <015a01d3f1e3$37806d30$a6814790$@gmail.com> CALL FOR PAPERS: Narrative Extraction from Texts (Text2Story) A special issue of Information Processing and Management https://www.journals.elsevier.com/information-processing-and-management/call -for-papers/special-issue-on-narrative-extraction-from-texts-text2story We invite submissions for a special issue of Information Processing and Management on Narrative Extraction from Texts. ===== Overview ===== The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this special issue we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ===== Scope & Topics of Interest ===== Research works submitted to the special issue should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Timeline Generation - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility Estimation - Fact Checking - Bots Influence ===== Important dates ===== - Manuscript Submission deadline: July 16th, 2018 - Acceptance Notification Date: November 5th, 2018 - Final Manuscript Due Date: February 4th, 2019 - Publication date: Spring 2019 Contributions must not have been previously published or be under consideration for publication elsewhere, although substantial extensions of conference or workshop papers will be considered. All submissions should be prepared according to the Guide for Authors at http://www.elsevier.com/journals/information-processing-and-management/0306- 4573/guide-for-authors. Submissions should be made through EVISE, please visit the Journal Homepage: https://www.journals.elsevier.com/information-processing-and-management/ to submit your article. ===== Guest Editors ===== - Alípio M. Jorge (INESC TEC; University of Porto, Portugal) - Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) - Adam Jatowt (Kyoto University, Japan) - Sérgio Nunes (INESC TEC; University of Porto, Portugal) Primary contact: amjorge at fc.up.pt ===== Editorial Board ===== - Gabriella Pasi (University of Milano-Bicocca) - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Eric Gaussier (University of Grenoble Alps) - Nicola Ferro (University of Padua) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Jannik Strötgen (Bosch center for artificial intelligence) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Denilson Barbosa (University of Alberta) - Mark Finlayson (Florida International University) - Sumit Bhatia (IBM) - Yating Zhang (Alibaba) - Jaime Arguello (University of North Carolina at Chapel Hill) - Gerasimos Lampouras (The University of Sheffield) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) - António Horta Branco (University of Lisbon) - Fernando Batista (INESC-ID & ISCTE-IUL) - Álvaro Figueira (INESC TEC & University of Porto) - Paulo Quaresma (University of Evora) - Pedro Saleiro (University of Chicago) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From thimm at uni-koblenz.de Wed May 23 09:44:36 2018 From: thimm at uni-koblenz.de (Matthias Thimm) Date: Wed, 23 May 2018 09:44:36 +0200 Subject: CfP: 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) and 6th Workshop KI & Kognition (KIK-2018) Message-ID: [Apologies if you receive multiple copies. Please forward this call to interested parties.] =========================================================================================== Call for Papers =========================================================================================== 7th Workshop on Dynamics of Knowledge and Belief (DKB-2018) 6th Workshop KI & Kognition (KIK-2018): Formal and Cognitive Reasoning Workshop at the 41st German Conference on Artificial Intelligence (KI-2018) September 24-28, 2018, Berlin, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI Description =========================================================================================== Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015) and Dortmund (2017). We welcome original papers on the following and any related topics: * Action and change * Agents and multiagent systems * Analogical reasoning * Argumentation theories * Belief revision and belief update * Cognitive modeling and empirical data * Common sense and defeasible reasoning * Decision theory and preferences * Inductive reasoning and cognition * Knowledge representation in theory and practice * Learning and knowledge discovery in data * Nonmonotonic and uncertain reasoning * Ontologies and description logics * Probabilistic approaches of reasoning * Syllogistic reasoning Important Dates =========================================================================================== Deadline for Submission: June 22, 2018 Notification of Authors: August 08, 2018 Camera-ready Paper: August 22, 2018 Workshop: September 25, 2018 Submission =========================================================================================== Papers should be formatted according to the Springer LNCS format. The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system (https://www.easychair.org/conferences/?conf=dkbkik2018). Organizers =========================================================================================== * Christoph Beierle (FernUniversität in Hagen, Germany) * Gabriele Kern-Isberner (TU Dortmund, Germany) * Marco Ragni (Universität Freiburg, Germany) * Frieder Stolzenburg (Hochschule Harz, Germany) * Matthias Thimm (Universität Koblenz-Landau, Germany) Program Committee =========================================================================================== * Thomas Barkowsky (Universität Bremen, Germany) * Gerd Brewka (Universität Leipzig, Germany) * Emmanuelle-Anna Dietz (TU Dresden, Germany) * Christian Eichhorn (TU Dortmund, Germany) * Christian Freksa (Universität Bremen, Germany) * Lupita Estefania Gazzo Castaneda (University of Giessen, Germany) * Ulrich Furbach (Universität Koblenz-Landau, Germany) * Andreas Herzig (Universite Paul Sabatier, Toulouse, France) * Steffen Hölldobler (TU Dresden, Germany) * Haythem O. Ismail (German University in Cairo, Egypt) * Manfred Kerber (University of Birmingham, UK) * Ute Schmid (Universität Bamberg, Germany) * Claudia Schon (Universität Koblenz-Landau, Germany) * Holger Schultheis (Universität Bremen, Germany) * Paul Thorn (Universität Düsseldorf, Germany) * Hans Tompits (TU Wien, Austria) * Christoph Wernhard (Technische Universität Dresden, Germany) * Stefan Woltran (TU Wien, Austria) =========================================================================================== ******************************************************************************** PD Matthias Thimm Institute for Web Science and Technologies (WeST) Universität Koblenz, Germany Tel.: +49-261-287-2715 http://west.uni-koblenz.de/ -- http://www.mthimm.de From amal.tawakuli at uni.lu Wed May 23 13:37:08 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Wed, 23 May 2018 11:37:08 +0000 Subject: RW 2018 Summer School - Third Call for Applications Message-ID: <56bdcf69a7e041ab9513fd2f0497d0a8@uni.lu> ======================================================================= Third Call for Applications: The 14th International Reasoning Web Summer School - RW 2018 ======================================================================= Luxembourg, 22 - 25 Sep 2018 http://2018.ruleml-rr.org/rw.html ==Summary== The Reasoning Web Summer School 2018, as part of the annual series of summer schools, welcomes applications from Master and PhD students as well as from postdoctoral researchers, young researchers, and senior researchers wishing to learn about the research areas of Semantic Web and related sub-areas such as Linked Data, Knowledge Graphs, Ontologies, Rules, and Logic. Participants to the summer school will have the opportunity to attend lectures, to be involved in working groups concerning small case studies or research tasks to focus on and to be presented in a final plenary session, discuss ideas and closely interact with leading researchers in the Semantic Web community and beyond. ==Program== This year’s school program will include the following topics and lecturers: • Information Extraction for Knowledge Graph Construction - Philipp Cimiano, University of Bielefeld • Semantic Data in the Cloud - Steffen Staab and Daniel Janke, University of Koblenz Landau • Machine Learning with and for Knowledge Graphs - Heiko Paulheim, University of Mannheim • Stream Reasoning - Emanuele Della Valle, Politecnico di Milano • Learning and Reasoning in Knowledge Graphs - Daria Stepanova, Max Planck Institute • Normative reasoning for the Semantic Web - Guido Gorvernatori, Commonwealth Scientific and Industrial Research Organisation • Efficient SPARQL queries on very large Knowledge Graphs - Hannah Bast, University of Freiburg • Reasoning at Scale - Jacopo Urbani, Vrije Universiteit Amsterdam • Deep Learning for the Semantic Web - Thomas Lukasiewicz, University of Oxford Although no specific background knowledge is required for attending the summer school, basics of Knowledge Representation and the Semantic Web (including technologies such as RDF, OWL, etc.) will be helpful for benefiting from the contents of the school. Students are also committed to a full participation for the whole duration of the school. ==Registration Fees== The registration fees for attending the RW Summer School will be 300 EUR (if your RW registration is bundled with the one for RuleML-RR) and 350 EUR (if you choose to only register for RW), respectively. This includes all lectures and teaching sessions, lunches, coffee breaks, school proceedings and a social event. ==Student Grants== A limited number of grants will be available for selected students who would otherwise not be able to attend the summer school. As such, please ask for financial support in your application (see “Application” section) only if this is the necessary condition for you to participate in the summer school. ==Application== Students and researchers interested in participating need to submit their application by June 30, 2018 via EasyChair using the following link: https://easychair.org/conferences/?conf=rw2018. The application should consist of a single pdf file that includes: • A single-page CV. • A short motivation letter of up to 300 words stating research interests and reasons for the willingness to attend the summer school. • Necessity for a visa to enter Luxembourg (Yes or No). If required, invitation letters will be set up. • Necessity for financial support. A limited number of travel grants will be provided, please thus ask for financial support only if this is a necessary condition for you to join the school. Please add a rough quote for your estimated expenses (travel + hotel costs) to your application in this case. Notifications about the selection results will be sent by July 15, 2018 For any questions, please contact: rw2018 at easychair.org RW2018 Chairs Claudia d’Amato and Martin Theobald ======================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Wed May 23 16:29:14 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Wed, 23 May 2018 10:29:14 -0400 (EDT) Subject: CASC-J9 - the ATP System Competition Message-ID: <20180523142914.ED3261701104@cs.miami.edu> ------------------------------------------------------------------------------- CASC-J9 - The CADE ATP System Competition to be held at The 9th International Joint Conference on Automated Reasoning Oxford, United Kingdom, 14th-17th July 2018 The CADE and IJCAR conferences are the major forums for the presentation of new research in all aspects of automated deduction. In order to stimulate ATP research and system development, and to expose ATP systems within and beyond the ATP community, the CADE ATP System Competition (CASC) is held at each CADE and IJCAR conference. CASC-J9 will be held on the 14th July 2018, during the 9th International Joint Conference on Automated Reasoning. CASC evaluates the performance of sound, fully automatic, ATP systems. The evaluation is in terms of: + the number of problems solved, and + the number of problems solved with a solution output, and + the average runtime for problems solved; in the context of: + a bounded number of eligible problems, chosen from the TPTP library, and + specified time limits for solution attempts. The competition organizer is Geoff Sutcliffe. The competition is overseen by a panel of knowledgeable researchers who are not participating in the event. Further details and registration information are available at: http://www.tptp.org/CASC/J9/ Registration of systems for CASC-J9 is now invited. System registration closes on 11th June. Please register early so that adequate resources can be allocated. DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! DO IT NOW! ------------------------------------------------------------------------------- From ds2018.conference at gmail.com Thu May 24 13:36:59 2018 From: ds2018.conference at gmail.com (Discovery Science DS 2018) Date: Thu, 24 May 2018 13:36:59 +0200 Subject: Discovery Science 2018: Call for Papers Message-ID: *DS 2018-* The 21 st International Conference on Discovery Science *30-31 October, St Raphael Resort, Limassol, Cyprus* http://cyprusconferences.org/ds2018/ The 21st International Conference on Discovery Science (DS 2018) provides an open forum for intensive discussions and exchange of new ideas among researchers working in the area of Discovery Science. The scope of the conference includes the development and analysis of methods for discovering scientific knowledge, coming from machine learning, data mining, intelligent data analysis, semantic web, big data analysis as well as their application in various scientific domains. We welcome papers that focus on the analysis of different types of massive and complex data, including structured, spatio-temporal and network data. We particularly welcome papers addressing applications. Finally, we would like to encourage contributions from the areas of computational scientific discovery, mining scientific data, computational creativity and discovery informatics. DS-2018 will be co-located with ISMIS 2018 (http://cyprusconferences.org/ ismis2018/), the 24th International Symposium on Methodologies for Intelligent Systems. The two conferences will be held in parallel and will share their invited talks. The proceedings of the DS conference will be published in the Lecture Notes in Artificial Intelligence Series by Springer-Verlag. Selected papers will be invited for a submission to a special issue in Machine Learning journal. ::: Submission Topics ::: ------------------------- We invite submissions of research papers addressing all aspects of discovery science. We particularly welcome contributions that discuss the application of data analysis, data mining and other support techniques for scientific discovery including, but not limited to, biomedical, astronomical and other physics domains. Applications to massive, heterogeneous, continuous or imprecise data sets are of particular interests. Possible topics include, but are not limited to: - Knowledge discovery, machine learning and statistical methods - Ubiquitous knowledge discovery - Data streams, evolving data and models - Change detection and model maintenance - Active knowledge discovery - Learning from text and web mining - Information extraction from scientific literature - Knowledge discovery from heterogeneous, unstructured and multimedia data - Knowledge discovery in network and link data - Knowledge discovery in social networks - Data and knowledge visualization - Spatial/temporal Data - Mining graphs and structured data - Planning to learn - Knowledge transfer - Computational creativity - Human-machine interaction for knowledge discovery and management - Biomedical knowledge discovery and analysis - Machine learning for high-performance computing, grid and cloud computing - Applications of the above techniques to natural or social sciences ::: Submission Format ::: ------------------------- Papers may contain up to fifteen (15) pages and must be formatted according to the layout supplied by Springer-Verlag for the Lecture Notes in Computer Science series. Submitted papers may not have appeared in or be under consideration for another workshop, conference or a journal, nor may they be under review or submitted to another forum during the DS 2018 review process. ::: Submission Mode ::: ----------------------- Authors can submit their papers electronically via our submission page through Easychair: https://easychair.org/conferences/?conf=ds20180 We encourage authors to submit an abstract well in advance of submitting a full paper. ::: IMPORTANT DATES ::: ----------------------- Full paper submission: 28th June 2018 Author notification: 28th July 2018 Camera-ready papers due: 28 July 2018 ::: Committees ::: ----------------------- George Papadopoulos, University of Cyprus, (General Chair ISMIS/DS) Larisa Soldatova, Goldsmiths, University of London, UK, (PC Chair DS 2018) and Joaquin Vanschoren, Eindhoven University of Technology, the Netherlands, (PC Chairs DS 2018) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From J.M.Broersen at uu.nl Thu May 24 15:04:38 2018 From: J.M.Broersen at uu.nl (Jan Broersen) Date: Thu, 24 May 2018 15:04:38 +0200 Subject: Call for Participation DEON 2018 in Utrecht Message-ID: 14th International Conference on Deontic Logic and Normative Systems 3-6 July 2018, Utrecht, the Netherlands https://deon2018.sites.uu.nl The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts and normative systems with computer science, artificial intelligence, philosophy, organisation theory and law. In addition to these general themes, DEON 2018 will encourage a special focus on the topic: “Deontic reasoning for responsible AI” The program will be available soon at: https://deon2018.sites.uu.nl/program/ Invited speakers: Marek Sergot (London) Christoph Benzmüller (Berlin) Melissa Fusco (Columbia) Olivier Roy (Bayreuth) Registration closes on June 15th The DEON 2018 organisation team From C.Orasan at wlv.ac.uk Fri May 25 10:34:12 2018 From: C.Orasan at wlv.ac.uk (Orasan, Constantin) Date: Fri, 25 May 2018 08:34:12 +0000 Subject: PhD studentship in Translation Technology (University of Wolverhampton) References: <034C0B87CC091D46B6CF0FD17E97B383022D4C77D8@Exchmbx10I02.unv.wlv.ac.uk> Message-ID: <837ebec1c93913b5192e143867dfaff23fd1cf34.camel@wlv.ac.uk> [Apologies for cross-posting] One PhD studentship in Translation Technology Closing date 20th June 2018 The Research Group in Computational Linguistics (http://rgcl.wlv.ac.uk) at the University of Wolverhampton invites applications for a 3-year PhD studentship in the area of translation technology. This PhD studentship is part of a larger university investment which includes other PhD students and members of staff with the aim to strengthen the existing research undertaken by members of the group in this area. This funded student bursary consist of a stipend towards living expenses (£14,500 per year) and remission of fees. We invite applications in the area of translation technology defined in the broadest sense possible and ranging from advanced methods in machine translation to user studies which involves the use of technology in the translation process. We welcome proposals focusing on Natural Language Processing techniques for translation memory systems and translation tools in general. Given the current research interests of the group and its focus on computational approaches, we would be interested in topics including but not limited to: - Enhancing retrieval and matching from translation memories with linguistic information - The use of deep learning (and in general, statistical) techniques in translation memories - (Machine) translation of user generated content - The use of machine translation in cross-lingual applications (with particular interest in sentiment analysis, automatic summarisation and question answering) - Phraseology and computational treatment of multi-word expressions in machine translation and translation memory systems - Quality estimation for translation professionals Other topics will also be considered as long as they align with the interests of the group. The appointed student is expected to work on a project that has a significant computational component. For this reason we expect that the successful candidate will have good background in computer science and programming. The application deadline is 20th June 2018 and Skype interviews with the shortlisted candidates are planned for the 26th June. The starting date of the PhD position is as soon as possible after the offer is made. The successful applicant must have: - A good honours degree or equivalent in Computational Linguistics, Computer Science, Translation studies or Linguistics - A strong background in Programming and Statistics/ Mathematics or in closely related areas (if relevant to the proposed topic). - Experience in Computational Linguistics / Natural Language Processing, including statistical, Machine Learning and Deep Learning, applications to Natural Language Processing. - Experience with translation technology - Experience with programming languages such as Python, Java or R is a plus - An IELTS certificate with a score of 6.5 is required from candidates whose native language is not English. If a certificate is not available at the time of application, the successful candidate must be able to obtain it within one month from the offer being made. Candidates from both UK/EU and non-EU can apply. We encourage applications from female candidates. Applications must include: 1. A curriculum vitae indicating degrees obtained, courses covered, publications, relevant work experience and names of two referees that could be contacted if necessary 2. A research statement which outlines the topics of interest. More information about the expected structure of the research statement can be found at https://www.wlv.ac.uk/media/departments/star-office/documents/Guidelines-for-completion-of-Research-Statement.doc These documents will have to be sent by email before the deadline to Amanda Bloore (A.Bloore at wlv.ac.uk). Informal enquiries can be sent to Constantin Orasan (C.Orasan at wlv.ac.uk) Established by Prof Mitkov in 1998, the research group in Computational Linguistics delivers cutting-edge research in a number of NLP areas. The results from the latest Research Evaluation Framework confirm the research group in Computational Linguistics as one of the top performers in UK research with its research defined as ‘internationally leading, internationally excellent and internationally recognised’. The research group has recently completed successfully the coordination of the EXPERT project a successful EC Marie Curie Initial Training Network promoting research, development and use of data-driven technologies in machine translation and translation technology (http://expert-itn.eu). --- Dr Constantin Orasan Reader in Computational Linguistics Deputy Head of the Research Group in Computational Linguistics Research Group in Computational Linguistics Research Institute of Information and Language Processing University of Wolverhampton MC139 Stafford Street Wolverhampton WV1 1LY Tel. +44 (0) 1902 321630 Email: C.Orasan at wlv.ac.uk Homepage: http://dinel.org.uk From amal.tawakuli at uni.lu Fri May 25 15:59:44 2018 From: amal.tawakuli at uni.lu (Amal TAWAKULI) Date: Fri, 25 May 2018 13:59:44 +0000 Subject: Luxembourg Logic for AI Summit 2018 - Important Calls Message-ID: Important Calls (Posters, Abstracts and Grants) ============================================== Luxembourg Logic for AI Summit (LuxLogAI 2018) 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu ============================================== The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft für Informatik (GI). With its special focus theme on “methods and tools for responsible AI”, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. ==First Call For Posters== RuleML+RR 2018 calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. A Best Poster Award will be given to the best poster presentation. The full Call for Posters, including submission details, is available at http://2018.ruleml-rr.org/call-for-posters.html. Important dates: -Poster paper submission: 1 August 2018 -Author notification: 15 August 2018 -Camera-ready submission: 31 August 2018 ==First Call For Abstracts== The annual meeting Deduktionstreffen (Deduktionstreffen 2018) is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society (Gesellschaft für Informatik). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Contributions on all theoretical, experimental and application aspects of deduction are welcome. Invited speakers: Cynthia Kop (Radboud University Nijmegen) Pascal Fontaine (Université de Lorraine, Nancy) For further information about the Deduktionstreffen 2018, please visit http://fg-dedsys.gi.de/dt2018.html. Important dates: -Early bird submission: 5 July 2018 (Notification: 15 July 2018) -Standard submission: 5 August 2018 (Notification: 15 August 2018) -Deduktionstreffen: 21 September 2018 ==First Call For Applications== In order to give PhD students and Postdocs (with limited funding) the opportunity to attend LuxLogAI, the organizers are awarding a number of grants to motivated applicants. In return, successful applicants are asked to assist the local organization team during the conference. For further details, including how to submit your application, visit https://luxlogai.uni.lu/grants/. Important dates: -Early bird application deadline: 30 June 2018 -Successful applicants will be notified before: 15 August 2018 -Second round application deadline: 20 August 2018 -Successful applicants will be notified on: 1 September 2018 =================================== Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards Amal Tawakuli Doctoral Candidate Big Data and Data Science Research Group - ILIAS Lab - CSC Research Unit UNIVERSITÉ DU LUXEMBOURG Campus Belval 6, avenue de la Fonte L-4364 Esch-sur-Alzette/Belval T +352 46 66 44 9811 amal.tawakuli at uni.lu www.uni.lu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fabrizio.riguzzi at unife.it Sat May 26 18:02:05 2018 From: fabrizio.riguzzi at unife.it (Fabrizio Riguzzi) Date: Sat, 26 May 2018 09:02:05 -0700 (PDT) Subject: ACAI 2018 - Registration and travel grants Message-ID: <5b0984fd.1c69fb81.bfe76.2d31@mx.google.com> The first cutoff date for travel grants is approaching. http://acai2018.unife.it/ Important dates: 30 May first cutoff date for travel grants 15 June early registration deadline 30 June second cutoff date for travel grants 27 July late registration deadline The Advanced Course on AI (ACAI) is a specialized course in Artificial Intelligence sponsored by EurAI. The 2018 edition will be in Ferrara, Italy on August 27th - 31st 2018, save the date! The theme of the 2018 ACAI School is Statistical Relational Artificial Intelligence (StarAI). StarAI is an emerging area that combines logical (or relational) AI and probabilistic (or statistical) AI. Relational AI deals very effectively with complex domains involving many and even a varying number of entities connected by complex relationships, while statistical AI manages well the uncertainty that derives from incomplete and noisy descriptions of the domains. Both fields achieved significant successes over the last thirty years but evolved largely independently until about fifteen years ago, when the potential originating from their combination started to emerge. Statistical Relational Learning (SRL) was proposed for exploiting relational descriptions in statistical machine learning methods from the field of graphical models. Meanwhile, the scope of SRL was significantly advanced in StarAI to cover all forms of reasoning and models of AI. StarAI is nowadays an ample area encompassing many and diverse approaches. The school includes courses on foundations of relational and statistical AI together with advanced courses on the new StarAI approaches and applications. The talks will provide theoretical background, practical examples and real applications where StarAI can play a role. Hands-on classes will be also organized where the main StarAI techniques will be applied to 'small' examples. The list of confirmed lectures is: Luc De Raedt: Probabilistic Programming Paolo Frasconi: Kernels and deep networks for structured data Sebastian Riedel: Differentiable Program Interpreters Artur d'Avila Garcez: Neural-symbolic learning Marco Lippi: Applications of Statistical Relational Artificial Intelligence Sriraam Natarajan: Human-in-the-loop Statistical Relational Learning Mathias Niepert and Alberto Garc�a Dur�n: Multi-Modal Neural Link Prediction Kristian Kersting: Lifted Statistical Machine Learning Fabrizio Riguzzi: Probabilistic Inductive Logic Programming Vibhav Gogate: Lifted Systematic Search and Sampling David Poole: TBA Up to date information can be found at the event website http://acai2018.unife.it/. ACAI 2018 is part of the Relational Artificial Intelligence Days 2018 (RAID 2018, http://raid2018.unife.it/ ), which will be held in Ferrara, Italy, on August 27th 2018 - September 4th 2018. RAID includes, besides ACAI 2018, also: - PLP 2018: 5th Workshop on Probabilistic Logic Programming, September 1st 2018, http://stoics.org.uk/plp/plp2018/ ; - ILP 2018: 28th International Conference on Inductive Logic Programming, September 2nd - 4th 2018, http://ilp2018.unife.it/ . Probabilistic Logic Programming (PLP) addresses the need to reason about relational domains under uncertainty arising in a variety of application domains. PLP is part of a wider current interest in probabilistic programming. PLP 2018 aims to bring together researchers in all aspects of probabilistic logic programming, including theoretical work, system implementations and applications. The ILP conference series, started in 1991, is the premier international forum for learning from structured or semi-structured relational data. Originally focusing on the induction of logic programs, over the years it has significantly expanded and it welcomes contributions to all aspects of learning in logic, multi-relational data mining, statistical relational learning, graph and tree mining, learning in other (non-propositional) logic-based knowledge representation frameworks, exploring intersections to statistical learning and other probabilistic approaches. RAID 2018 offers a very good opportunity to get up to date with the latest trends in logical and relational AI. We really hope to meet you in Ferrara! Organizers Kristian Kersting, TU Darmstadt, Germany Marco Lippi, University of Modena and Reggio Emilia, Italy Sriraam Natarajan, University of Texas at Dallas, USA Fabrizio Riguzzi, University of Ferrara, Italy Elena Bellodi, University of Ferrara, Italy Tom Schrijvers, KU Leuven, Belgium Riccardo Zese, University of Ferrara, Italy From Nicolas.Troquard at unibz.it Sun May 27 16:52:42 2018 From: Nicolas.Troquard at unibz.it (Troquard Nicolas) Date: Sun, 27 May 2018 14:52:42 +0000 Subject: [Cfp] BOG: BadOntoloGy workshop @ JOWO @ FOIS Message-ID: CALL FOR PAPER ============================================= BOG: BadOntoloGy http://bog.inf.unibz.it/ Cape Town, South Africa, 19-21 September 2018. Part of the Joint Ontology Workshops (JOWO 2018), a pool of satellite events of the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018). Submission deadline: June 25, 2018 ============================================= As ontologies are adopted by new practitioners and as they grow in size, bad ontologies become an increasingly common reality. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible. We welcome original contributions about all topics related to bad ontologies, including but not limited to: - the cataloguing of ontology symptoms - symptoms detection - diagnostic methods to explain the symptoms - ontology quality measures - principled methods for building bad ontologies - benchmarks of bad ontologies for evaluating repairing methods Submissions: ========== We accept submissions, between 5 and 14 pages, through Easychair at the URL https://easychair.org/conferences/?conf=jowo2018 (select track "BOG : BadOntoloGy"). Publication: ========= All accepted papers will be part of the JOWO proceedings. (See previous edition at the URL http://ceur-ws.org/Vol-2050/). Important dates: ============ - June 25, 2018: submission deadline - July 23, 2018: acceptance notification to authors - August 15, 2018: camera ready versions due - September 17-18, 2018: JOWO 2018 - September 19-21, 2018: FOIS 2018 Organizing committee: ================= - Giancarlo Guizzardi, Free University of Bozen-Bolzano - Oliver Kutz, Free University of Bozen-Bolzano - Rafael Peñaloza, Free University of Bozen-Bolzano - Nicolas Troquard, Free University of Bozen-Bolzano Program Committee (confirmed): ========================= - Joao Paulo Almeida, Federal University of Espirito Santo - Werner Ceusters, SUNY at Buffalo - Oscar Corcho, Universidad Politécnica de Madrid - Mathieu D'Aquin, Insight Centre for Data Analytics, National University of Ireland Galway - Ricardo A. Falbo, Federal University of Esprito Santo - Aldo Gangemi, Università di Bologna & CNR-ISTC - Andreas Herzig, IRIT-CNRS - Adila A. Krisnadhi, Wright State University & Universitas Indonesia - Frank Loebe, University of Leipzig - Fabian Neuhaus, University of Magdeburg - Bijan Parsia, The University of Manchester - Catherine Roussey, Irstea - Uli Sattler, The University of Manchester - Claudia Schon, Universität Koblenz-Landau - Stefan Schulz, Institute of Medical Informatics, Statistics and Documentation, Graz General Hospital and University Clinics - Amanda Vizedom, Criticollab, LLC -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From groppe at ifis.uni-luebeck.de Mon May 28 11:18:24 2018 From: groppe at ifis.uni-luebeck.de (Sven Groppe) Date: Mon, 28 May 2018 11:18:24 +0200 Subject: One week left for submissions: WDPAR @ KI 2018 Message-ID: <3defeef85882156299de4e39404cb77c@www.ifis.uni-luebeck.de> ************************************************************************** CALL FOR PAPERS International Workshop on Web Data Processing & Reasoning (WDPAR 2018) In conjunction with KI 2018 September 25, 2018, Berlin, Germany Submission: June 4, 2018 - One week left for submissions!!! Web: http://www.ifis.uni-luebeck.de/~groppe/wdpar ************************************************************************** ** Aims of the Workshop ** The workshop on Web Data Processing and Reasoning (WDPAR) aims to provide a forum for scientists, researchers and practitioners to discuss and exchange ideas, new techniques, approaches and applications related to the web, e.g. approaches for and applications utilizing web data (i.e., data collected from the web, available in the web or being about the web), execution environments in the web and advanced web applications. A special focus of the workshop is on intelligent web data processing via reasoning for data exchange, data integration and advanced applications. ** Types of Papers ** The workshop solicits high-quality papers of different categories: - Research Papers propose new approaches, theories or techniques related to Web Data Processing and Reasoning including new data structures, algorithms and whole systems. They should make substantial theoretical and empirical contributions to the research field. - Experiments and Analysis Papers focus on the experimental evaluation of existing approaches including data structures and algorithms and bring new insights through the analysis of these experiments. Results of Experiments and Analysis Papers can be, for example, showing benefits of well-known approaches in new settings and environments, opening new research problems by demonstrating unexpected behavior or phenomena, or comparing a set of traditional approaches in an experimental survey. - Application Papers report new applications and practical experiences on applications related to the web. Application Papers might describe how to apply Web technologies to specific application domains with web-scale data demands like social networks, web search, e-business, collaborative environments, e-learning, medical informatics, bioinformatics and geographic information system. We especially welcome Application Papers describing applications utilizing reasoning about web data in a new way. - Vision Papers identify emerging or future research issues and directions, and describe new research visions for web data processing and reasoning. The new visions will potentially have great impacts on society. ** Topics of Interest ** Topics relevant to this workshop include, but are NOT limited to: - Optimization of Web Data Processing - Applications of Web Data - Reasoning on Web Data - Advanced and New Forms of Web Applications - Web Streams - Continuous Queries and Reasoning - Stream Pipelines - Fault-Tolerant Stream Processing - Optimized Processing of a web-scale number of queries - Semantic Web - Applications - Semantic Big Data - Reasoning - Semantic Data and Query Processing - Linked Data - Integration of Heterogeneous Linked Data - Real-World Applications - Statistics and Visualizations - Quality - Ranking Techniques - Provenance - Mining and Consuming Linked Data - Distributed Processing of Data in the Web - Distributed Reasoning - Distributed Rule Processing - Distributed Query Processing - Fault-Tolerant Processing - Processing of and Reasoning about Web Services - Orchestration - New protocols for web services - Rule Processing of Web Data - Evaluation of different Learning Approaches in the context of Web Data and Web Applications: unsupervised learning, supervised or reinforced learning, transfer learning, zero-shot learning, adversarial networks, and deep probabilistic models - Knowledge Representation and Retrieval of Web Data - Web Data exploration and visualization - Web Data Mining - Learning for Web Database Tuning and Web Query Optimization - Case studies of AI-Accelerated Web Workloads - Web Protocols and Standards - AI-Enabled Web Data Integration Strategies - Web Security and Privacy - Web Trust - Natural Language Processing for Web Applications - Queries and Chatbot Interfaces - Result Summarization - Evaluating Quality of Approximate Results from AI-Enabled Web Queries ** Workshop Chairs ** - Sven Groppe, University of Luebeck, Germany - Christophe Cruz, Universite de Bourgogne Franche-Comte, France ** Program Committee ** - Mithun Balakrishna, Lymba Corporation, USA - Tanya Braun, University of Luebeck, Germany - Josue Balandrano Coronel, The University of Texas at Austin, USA - Marcel Gehrke, University of Luebeck, Germany - Hasan Ali Khattak, Comsats Institute of Information Technology, Islamabad, Pakistan - Hariharan Krishnaswamy, DELL Technologies, USA - Gianfranco E. Modoni, National Research Council of Italy - Bari, Italy - Oezguer L. Oezcep, University of Luebeck, Germany - Nuno Silva, Instituto Superior de Engenharia do Porto, Portugal ** Important Dates ** Submission (extended): June 4, 2018 Notification: July 9, 2018 Workshop: September 25, 2018 ** Submission ** Authors are invited to submit original, unpublished research papers that are not being considered for publication in any other forum. Accepted papers will be published online in the Open Journal of Web Technologies. OJWT is an open access journal, and the proceedings will hence be highly visible to all interested readers. Manuscripts should be formatted using the templates of the Open Journal of Web Technologies. Research papers as well as experiments and analysis papers should have between 6 and 15 pages, application papers between 6 and 12 pages and vision papers between 4 and 12 pages. We describe manuscript preparation and submission procedure at http://www.ifis.uni-luebeck.de/~groppe/wdpar/submit From icsai2018cfp2 at sdju.edu.cn Tue May 29 00:58:55 2018 From: icsai2018cfp2 at sdju.edu.cn (Prof Song) Date: Tue, 29 May 2018 06:58:55 +0800 Subject: ICSAI2018, Nanjing, Submission Deadline July 30 2018/5/29 6:59:07 dtcerbuvx Message-ID: <20180529065907738312@sdju.edu.cn> Dear Colleague, The 2018 5th International Conference on Systems and Informatics (ICSAI 2018) will be held from 10-12 November 2018 in Nanjing, China. ICSAI 2018 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems • Control and Automation Systems • Power and Energy Systems • Intelligent Systems • Computer Systems and Applications Informatics • Communications and Networking • Image, Video, and Signal Processing • Data Engineering and Data Mining • Software Engineering All papers in the conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore. Substantially extended versions of best papers will be considered for publication in special issues of SCI-indexed journals, including Computer Science and Information Systems. Nanjing, capital of Jiangsu Province, is one of the Four Great Ancient Capitals of China and was the capital of six Chinese imperial dynasties. The city provides visitors with a great number of historical and cultural sites, as well as stunning scenic spots and areas such as Qixia Mountain, Purple Mountain and Xuanwu Lake. One of the great activities that you must not miss is boating on the Qinhuai River during the evening to enjoy the city's fantastic night views. Other attractions include Yuejiang Tower, Linggu Temple, Presidential Palace, Sun Yat-sen Mausoleum, and Ming Dynasty Xiaoling Mausoleum. For more information, visit the conference web page: http://www.icsai.org.cn/ If you have any questions after visiting the conference web page, please email the secretariat at icsai2018 at sdju.edu.cn Join us at this major event in beautiful Nanjing !!! Organizing Committee icsai2018 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2018/5/29 6:59:07 t1 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Tue May 29 04:29:49 2018 From: irdta at irdta.eu (IRDTA) Date: Tue, 29 May 2018 04:29:49 +0200 Subject: TPNC 2018: 1st call for papers Message-ID: <545102060a010b05055056000e005a560451025754060356020609080f57000003040105000c0304540000500e0707@grlmc_ip-zone_com-6> TPNC 2018: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2018   Dublin, Ireland   December 12-14, 2018   Co-organized by:   Natural Computing Research & Applications Group School of Business University College Dublin   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2018.irdta.eu/ ***************************************************************************   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 2018 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 2018 will take place in Dublin, a major historical and contemporary centre for education, arts, administration, economy and industry. The venue will be:   Michael Smurfit Graduate Business School University College Dublin Carysfort Avenue Blackrock Co. Dublin http://www.smurfitschool.ie/   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   artificial chemistry artificial immune systems artificial life cellular automata cognitive computing cognitive engineering cognitive robotics collective behaviour complex systems computational intelligence computational social science computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing evolutionary game theory fractal geometry fuzzy control fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural computing neural networks quantum communication quantum computing rough sets self-assembly self-organization social computing social simulation soft computing 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 2018 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS: (to be completed)   Georgios Ch. Sirakoulis (Democritus University of Thrace), tba   PROGRAMME COMMITTEE:   Andrew Adamatzky (University of the West of England, UK) Wolfgang Banzhaf (Memorial University of Newfoundland, CA) Mauro Birattari (Université Libre de Bruxelles, BE) Christian Blum (Spanish Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Sung-Bae Cho (Yonsei University, KR) Claude Crépeau (McGill University, CA) Jean-Louis Deneubourg (Université Libre de Bruxelles, BE) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Carlos M. Fonseca (University of Coimbra, PT) Amir H. Gandomi (Stevens Institute of Technology, US) Michel Gendreau (Polytechnique Montréal, CA) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Zeng-Guang Hou (Chinese Academy of Sciences, CN) Licheng Jiao (Xidian University, CN) Janusz Kacprzyk (Polish Academy of Sciences, PL) Hamid Reza Karimi (Polytechnic University of Milan, IT) Ljupco Kocarev (Macedonian Academy of Sciences and Arts, MK) Vladik Kreinovich (University of Texas El Paso, US) Rudolf Kruse (University of Magdeburg, DE) José Ignacio Latorre (University of Barcelone, ES) Jing Liang (Zhengzhou University, CN) Gui Lu Long (Tsinghua University, CN) Jianquan Lu (Southeast University, CN) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez (University of Jaén, ES) Ujjwal Maulik (Jadavpur University, IN) José M. Merigó (University of Chile, CL) Nenad Mladenovic (Serbian Academy of Sciences and Arts, RS) Michael O'Neill (University College Dublin, IE) Celso C. Ribeiro (Fluminense Federal University, BR) Frank Schweitzer (Swiss Federal Institute of Technology Zurich, CH) Patrick Siarry (Paris-Est Créteil Val de Marne University, FR) Andrzej Skowron (University of Warsaw, PL) John A. Smolin (IBM Thomas J. Watson Research Center, US) Attila Szolnoki (Hungarian Academy of Sciences, HU) José Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (State University of Campinas, BR) David Wolpert (Santa Fe Institute, US) Hao Ying (Wayne State University, US) Jacek M. Żurada (University of Louisville, US)   ORGANIZING COMMITTEE:   David Fagan (Dublin, co-chair) Sara Morales (Brussels) Michael O'Neill (Dublin, co-chair) Manuel Jesús Parra Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Irene Ward (Dublin)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) 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=tpnc2018   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 Soft Computing (Springer, 2016 JCR impact factor: 2.472) 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://tpnc2018.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 29, 2018 Notification of paper acceptance or rejection: September 5, 2018 Final version of the paper for the LNCS proceedings: September 12, 2018 Early registration: September 12, 2018 Late registration: November 28, 2018 Submission to the journal special issue: March 14, 2019   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   UCD – University College Dublin   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leon.vandertorre at uni.lu Tue May 29 11:23:08 2018 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Tue, 29 May 2018 09:23:08 +0000 Subject: 2nd CFP MIREL 2018, DL July 2, 2018 Message-ID: Call for Papers MIREL workshop MIning and REasoning with Legal texts In conjunction with LuxLogAI September 17th - Luxembourg https://sites.google.com/view/mirelworkshop2018/ Submission deadline: July 2, 2018 The aim of MIREL-2018 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications). Background Legal scholars and practitioners are feeling increasingly overwhelmed with the expanding set of legislation and case law available these days, which is assuming more and more of an international character. For example, European legislation is estimated to be 170,000 pages long, of which over 100,000 pages have been produced in the last ten years. Furthermore, legislation is available in unstructured formats, which makes it difficult for users to cut through the information overload. As the law gets more complex, conflicting, and ever changing, more advanced methodologies are required for analyzing, representing and reasoning on legal knowledge. The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics, which is experiencing growth in activity, also at the industrial level. Specifically, it is necessary to address both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance. Legal domain has always been attractive to language and semantic technology because of its importance for the society with respect to globalization and common markets as well as for its challenges for formalization and specific language use. For this reason, several research projects in the legal domain have been recently funded by the EU and similar institutions, among which ``MIREL: MIning and REasoning with Legal texts'' (http://www.mirelproject.eu/). The past two editions of the present workshop were held in Nice, in conjunction with the Jurix 2016 conference, and in London, in conjunction with the ICAIL 2017 conference. Objective The development of NLP techniques and semantic technologies for automatic analysis and indexing of big data freely available on the web has created opportunities for building new approaches to improve the efficiency, comprehensibility, and consistency of legal systems. Semantic analysis aims at relating syntactic elements – which could be phrases, clauses, sentences, paragraphs, and whole documents - to their meanings in a given domain, including meanings specific to legal information. On the one hand, in recent years the EU has delivered huge amounts of resources on EU law in many languages (such as, EuroParl, JRC, etc.). On the other hand, the matured NLP and Semantic Web technology provides a good inventory: for formalizing the law data in the form of domain ontologies; for automating the process of relevant knowledge extraction from legal documents; and for representing it in form of Linked Data in RDF. This will support legal reasoning tasks such as better search possibilities, compliance checking and decision support, as well as a better presentation of the legal information to professional and non-professional stakeholders. Topics Language technologies for processing of legal texts Legal reasoning (searching, compliance checking, decision support) Ontology design patterns for the legal domain Ontological modeling of legal data Core and domain ontologies for the legal domain Legal knowledge on the Web Legal Linked Open Data Machine learning and data mining for legal applications Adaptation of language processing modules to legal domain Large-scale normative reasoning Computational methods for legal reasoning Extraction of legal Named entities - legal citations, etc. Legal search engines - requirements, implementations, etc. Semantic annotations for legal texts Formal analysis of normative concepts and normative systems Formal analysis of the semantics/pragmatics of deontic and normative expressions in natural language Expressive vs. lightweight representations of legal knowledge Legislation and case law corpora in Linked Open Data Applications in the legal domain Submission We invite submissions up to 12 pages plus 3 additional pages for bibliography and appendix, in LNCS format (http://www.springer.com/comp/lncs/authors.html). Authors shall submit their papers electronically via EasyChair before the due date in PDF format: https://easychair.org/conferences/?conf=mirel2018 The proceedings will appear in College Publications' IfCoLoG Journal of Logics and their Applications. http://collegepublications.co.uk/ifcolog/ Organizers Laura Alonso Alemany, Universidad Nacional de Córdoba (Argentina) Guillermo Simari, Universidad Nacional del Sur (Argentina) Leon van der Torre, University of Luxembourg (Luxembourg) LuxLogAI The MIREL 2018 workshop is the start of the Luxembourg Logic for AI Summit, which takes place on 17-26 September 2018 (https://luxlogai.uni.lu/). The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), the MIREL 2018 workshop, and the Deduktionstreffen 2018. With its special focus theme on "methods and tools for responsible AI", a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. Enquiries For questions contact the organizers (lauraalonsoalemany at gmail.com, grsimari at gmail.com, leon.vandertorre at uni.lu). -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From vitordouzi at gmail.com Wed May 30 20:26:44 2018 From: vitordouzi at gmail.com (Vitor Mangaravite) Date: Wed, 30 May 2018 19:26:44 +0100 Subject: CfP: Special issue on Narrative Extraction from Texts (Text2Story): IPM Journal Message-ID: CALL FOR PAPERS: Narrative Extraction from Texts (Text2Story) A special issue of Information Processing and Management https://www.journals.elsevier.com/information-processing-and-management/call-for-papers/special-issue-on-narrative-extraction-from-texts-text2story We invite submissions for a special issue of Information Processing and Management on Narrative Extraction from Texts. ===== Overview ===== The increasing availability of text information in the form of news articles, comments or posts in social networks poses new challenges for those who aim to understand the storyline of an event. Although understanding natural language text has improved over the last couple of years with several research works emerging on the grounds of information extraction and text mining, the problem of constructing consistent narrative structures is yet to be solved. It is not only the algorithms that need to be improved, but also the state-of-the-art that needs to advance in order to provide methods that automatically identify, interpret and relate the different elements of a narrative which will be likely spread from different sources. In this special issue we aim to foster the discussion of recent advances in the link between Information Retrieval (IR) and formal narrative representations from texts. More specifically, we aim to capture a wide range of multidisciplinary issues related to the text-to-narrative-structure and to its various related tasks. This is a very rich line of research that poses many challenging problems in information retrieval, text mining, information extraction, computational linguistics and automatic production of media content. ===== Scope & Topics of Interest ===== Research works submitted to the special issue should foster the scientific advance on all aspects of storyline generation from texts including but not limited to narrative and content generation, formal representation, and visualization of narratives. This includes the following topics: - Event Identification - Narrative Representation Language - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Storyline Visualization - Temporal Aspects of Storylines - Timeline Generation - Story Evolution and Shift Detection - Causal Relation Extraction and Arrangement - Evaluation Methodologies for Narrative Extraction - Big data applied to Narrative Extraction - Resources and Dataset showcase - Personalization and Recommendation - User Profiling and User Behavior Modeling - Credibility Estimation - Fact Checking - Bots Influence ===== Important dates ===== - Manuscript Submission deadline: July 16th, 2018 - Acceptance Notification Date: November 5th, 2018 - Final Manuscript Due Date: February 4th, 2019 - Publication date: Spring 2019 Contributions must not have been previously published or be under consideration for publication elsewhere, although substantial extensions of conference or workshop papers will be considered. All submissions should be prepared according to the Guide for Authors at http://www.elsevier.com/journals/information-processing-and-management/0306-4573/guide-for-authors . Submissions should be made through EVISE, please visit the Journal Homepage: https://www.journals.elsevier.com/information-processing-and-management/ to submit your article. ===== Guest Editors ===== - Alípio M. Jorge (INESC TEC; University of Porto, Portugal) - Ricardo Campos (INESC TEC; Polytechnic Institute of Tomar, Tomar, Portugal) - Adam Jatowt (Kyoto University, Japan) - Sérgio Nunes (INESC TEC; University of Porto, Portugal) Primary contact: amjorge at fc.up.pt ===== Editorial Board ===== - Gabriella Pasi (University of Milano-Bicocca) - Klaus Berberich (Max Planck Institute for Informatics) - Marc Spaniol (Normandie University) - Eric Gaussier (University of Grenoble Alps) - Nicola Ferro (University of Padua) - Miguel Martinez-Alvarez (Signal) - Dhruv Gupta (Max Planck Institute for Informatics) - Jannik Strötgen (Bosch center for artificial intelligence) - Federico Nanni (University of Mannheim) - Yihong Zhang (Kyoto University) - Udo Kruschwitz (University of Essex) - Conceição Rocha (LIAAD INESC TEC) - João Paulo Cordeiro (University of Beira Interior) - Grace Hui Yang (Georgetown University) - Denilson Barbosa (University of Alberta) - Mark Finlayson (Florida International University) - Sumit Bhatia (IBM) - Yating Zhang (Alibaba) - Jaime Arguello (University of North Carolina at Chapel Hill) - Gerasimos Lampouras (The University of Sheffield) - Bruno Martins (University of Lisbon) - Gael Dias (University of Caen) - Henrique Lopes Cardoso (University of Porto) - Pablo Gamallo (University of Santiago de Compostela) - António Horta Branco (University of Lisbon) - Fernando Batista (INESC-ID & ISCTE-IUL) - Álvaro Figueira (INESC TEC & University of Porto) - Paulo Quaresma (University of Evora) - Pedro Saleiro (University of Chicago) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu May 31 21:46:07 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 31 May 2018 15:46:07 -0400 (EDT) Subject: LPAR-22 in Ethiopia - Call for Papers and Workshops Message-ID: <20180531194607.8FDEE170104E@cs.miami.edu> The 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR-22 Awassa, Ethiopia, 16-21 November 2018 http://www.LPAR-22.info CALL FOR PAPERS The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright. ==Important Dates Abstract submission 6th August 2018 Paper submission 13th August 2018 Notification 24th September 2018 Final version 15th October 2018 Early registration 15th October 2018 Workshops 16th November 2018 Conference 17-21st November 2018 ==Topics New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, which may examine open questions and raise fundamental concerns about existing theories and practices. Topics of interest include, but are not limited to: + Abduction and interpolation methods + Answer set programming + Automated reasoning + Constraint programming + Contextual reasoning + Decision procedures + Description logics + Foundations of security + Hardware verification + Implementations of logic + Inconsistency- and exception tolerant reasoning + Interactive theorem proving + Knowledge representation and reasoning + Logic and computational complexity + Logic and databases + Logic and games + Logic and machine learning + Logic and the web + Logic and types + Logic in artificial intelligence + Logic of distributed systems + Logic of knowledge and belief + Logic programming + Logical aspects of concurrency + Logical foundations of programming + Modal and temporal logics + Model checking + Non-monotonic reasoning + Ontologies and large knowledge bases + Paraconsistent logics + Probabilistic and fuzzy reasoning + Program analysis + Rewriting + Satisfiability checking + Satisfiability modulo theories + Software verification + Specification using logic + Unification theory ==Organization Program Chairs: Gilles Barthe (IMDEA Software Institute) Margus Veanes (Microsoft Research) Martin Hofmann (Ludwig-Maximilians-Universität München, in memoriam) Conference Chair: Geoff Sutcliffe (University of Miami, USA) ==Submission Details Submissions of two kinds are welcome: - Regular papers that describe solid new research results. They can be up to 15 pages long in EasyChair style, including figures but excluding references and appendices (that reviewers are not required to read). - Experimental and tool papers that describe implementations of systems, report experiments with implemented systems, or compare implemented systems. They can be up to 8 pages long in the EasyChair style. Both types of papers must be electronically submitted in PDF via EasyChair: https://easychair.org/conferences/?conf=lpar22 Authors must register a title and an abstract by the abstract submission deadline. ==Participation Authors of accepted papers are required to ensure that at least one of them will be present at the conference. ==Workshop Proposals Proposals for workshops to be held in conjunctionwith LPAR-22 are solicited. Please email proposals to the program and conference chairs. For more details about the venue and organization, see the conference webpage http://www.LPAR-22.info