From leon.vandertorre at uni.lu Fri Sep 6 13:38:57 2019 From: leon.vandertorre at uni.lu (Leon VAN DER TORRE) Date: Fri, 06 Sep 2019 13:38:57 +0200 Subject: CFP CLAR 2020: Logic & Argumentation, Hangzhou (China), 6-9 Apr 2020 Message-ID: ------------------------------------------------------------ The 3rd International Conference on Logic and Argumentation CLAR 2020, 6-9 April 2020, Hangzhou, China CALL FOR PAPERS ------------------------------------------------------------ The 3rd International Conference on Logic and Argumentation (CLAR 2020) invites interdisciplinary contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2020 will be held in Hangzhou, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZJULogAI 2020). With a special focus on ?methods and tools for explainable AI?, a core objective of ZJULogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, trustworthy and accountable, both in China as well as in the rest of the world. All participants to CLAR 2020 have access to all other events of ZJULogAI as well. Proceedings with accepted submissions will be available during the conference, and extended versions will be published after the conference in special issues of the Journal of Logic and Computation and the Journal of Applied Logics. More information can be found at the websites: http://www.xixilogic.org/events/clar2020 (CLAR 2020) https://www.xixilogic.org/zjulogai/ (ZJULogAI) CLAR 2020 conference highlights recent advances in the two fields of logic and argumentation and promotes communication between researchers in logic and argumentation within and outside China. Previous conferences can be accessed at: http://www.xixilogic.org/events/clar2018 http://www.xixilogic.org/events/clar2016 ************************ List of Topics ************************ Suggested topics include, but are not limited to the following: * Abstract argumentation * Applications of logic and/or argumentation * Applied logic * Argumentation and game theory * Argumentation and law * Argumentation and linguistics * Argumentation and medical reasoning * Argumentation in AI * Argument mining * Argumentation schemes * BDI logic * Computational argumentation * Deontic logic * Dynamic epistemic logic and belief revision * Formal models for dialog and argumentation * Informal logic * Judgment aggregation * Knowledge representation and reasoning * Logic for game theory * Logic for multi-agent systems * Logic for semantic web * Logic for social network * Mathematical logic * Modal logic * Nonmonotonic logics * Numerical and uncertainty reasoning * Philosophical logic * Pragma-Dialectics * Preference logic * Structured argumentation * Uncertain argumentation ************************ Submission Guidelines ************************ We invite two types of submissions: full papers (between 8 and 20 pages) describing original and unpublished work and extended abstracts (max 5 pages) of preliminary original work or extended abstracts of already published work, from either the field of logic or the field of formal argumentation. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. Submissions must be prepared in LaTeX, using the LaTex template myifcolog.cls: http://icr.uni.lu/flap/ Submissions not complying with these guidelines will be desk rejected. Papers in PDF format should be submitted via EasyChair: https://easychair.org/conferences/?conf=clar2020 Each submitted paper will be carefully peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition and relevance for the conference. For each accepted paper, at least one author is expected to register and present the paper at the conference. ************************ Important Dates ************************ Submission: 30 November 2019 Conference: 6-9 April 2020 ************************ PC Chairs ************************ Mehdi Dastani, Utrecht University Huimin Dong, Zhejiang University Leon van der Torre, University of Luxembourg ************************ Contact ************************ All questions about submissions should be emailed to: clar2020 at xixilogic.org -- From nevrenato at gmail.com Fri Sep 6 13:38:57 2019 From: nevrenato at gmail.com (Renato Neves) Date: Fri, 06 Sep 2019 13:38:57 +0200 Subject: FM'19 - 2nd Call for Participation Message-ID: 3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 ______________________________________________________________ *** Apologies for cross-posting *** ______________________________________________________________ *** FM Week News: Tony Hoare's keynote (Oct 8) jointly organized by UTP'19, LOPSTR'19, MPC'19, PPDP'19 and RV'19 will mark the 50th anniversary (October 1969) of the publication of "An Axiomatic Basis for Computer Programming”. ______________________________________________________________ The FM'19 World Congress on Formal Methods will take place at the Alfandega do Porto Congress Center, Porto, October 7-11, 2019, under the motto "The Next 30 Years". Registration is open at https://bit.ly/2JfdBjO as follows: . Early – until Sep 10 (AoE) . Late – from Sep 11 until Oct 5 (AoE) . On site – from Oct 6 to Oct 11 (AoE) Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a social event on Oct 10), FM'19 involves more than 30 parallel events (symposia, conferences, workshops and tutorials) spreading over several FM related areas: . FM 2019 – 23rd International Symposium on Formal Methods . LOPSTR 2019 – 29th International Symposium on Logic-Based Program Synthesis and Transformation . MPC 2019 – 13th International Conference on Mathematics of Program Construction . PPDP 2019 – 21st International Symposium on Principles and Practice of Declarative Programming . RV 2019 – 19th International Conference on Runtime Verification . SAS 2019 – 26th International Static Analysis Symposium . TAP 2019 – 13th International Conference on Tests and Proofs . UTP 2019 – 7th International Symposium on Unifying Theories of Programming . VECoS 2019 – 13th International Conference on Verification and Evaluation of Computer and Communication Systems . AFFORD 2019 – Practical Formal Verification for Software Dependability . DALI 2019 – 2nd Workshop on Dynamic Logic: New Trends and Applications . DataMod 2019 – 8th International Symposium “From Data to Models and Back (DataMod)” . FMAS 2019 – Formal Methods for Autonomous Systems . FMBC 2019 – Workshop on Formal Methods for Blockchains . FMIS 2019 – 8th Formal Methods for Interactive Systems Workshop . FMTea 2019 – Formal Methods Teaching Workshop and Tutorial . F-IDE 2019 – 5th Workshop on Formal Integrated Development Environment . HFM 2019 – History of Formal Methods . NSAD 2019 – 8th International Workshop on Numerical and Symbolic Abstract Domains . OpenCERT 2019 – 9th Int. Workshop on Open Community approaches to Education, Research and Technology . OVT 2019 – 17th Overture Workshop . REFINE 2019 – 19th Refinement Workshop . RPLA 2019 – Reversibility in Programming, Languages, and Automata . SASB 2019 – 10th International Workshop on Static Analysis and Systems Biology . TAPAS 2019 – 10th Workshop on Tools for Automatic Program Analysis . ALLOY – Formal software design with Alloy and Electrum (Tutorial) . CbC – The Correctness by Construction Approach to Programming (Tutorial) . FM4BioMed – Formal Methods for BioMedicine (Tutorial) . FRAMA-C-IoT – Formal Verification of IoT Software with Frama-C (Tutorial) . KEYMAERA X – Modular Formal Verification of Cyber-Physical Systems with KeYmaera X (Tutorial) . MLFV – ML + FV = ♥? A Gentle Introduction to the use of Machine Learning within Formal Verification Tools (Tutorial) . SRV – Stream-based Runtime Verification (Tutorial) As a whole, the FM'19 congress will bring together a distinguished group of 40+ world-top guest speakers whose short bios can be found at https://bit.ly/2Io2Lsh. The FM'19 organizers thank all corporations that have been so kind to sponsor the Congress – please see the 'Sponsor FM'19' gallery at https://bit.ly/2CrKnMA. For more information, please visit the following pages of the FM'19 website: . FM Week - https://bit.ly/2zsyCUu . Accepted papers - https://bit.ly/2YtIp9Y (updated as data arrive from event chairs; currently: 344 papers involving 750 authors) . Call for participation - https://bit.ly/2JfdBjO . Registration page - https://bit.ly/2NTR9SR . Venue - https://bit.ly/2MdNCMu . Accommodation - https://bit.ly/2OuHXEu . Getting to Porto - https://bit.ly/2ykguKN . Social program - https://bit.ly/2JfdBjO . Weather forecast - https://bit.ly/2SLOKZ5 (or https://bit.ly/2YjeEo3 for more details) Contact: contactfm2019 at inesctec.pt We are also on Twitter: @formalmethods19 _____________________________________________________________ *** Welcome to FM'19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________ From irdta at irdta.eu Fri Sep 6 13:38:57 2019 From: irdta at irdta.eu (IRDTA) Date: Fri, 06 Sep 2019 13:38:57 +0200 Subject: BigDat 2020: early registration September 7 Message-ID: BigDat 2020: early registration September 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: September 7, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, 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, BigDat 2020 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:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Sanchita Bhattacharya (University of California, San Francisco), [introductory/advanced] Big Data in Immunology: Sharing, Dissemination, and Repurposing   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Sheelagh Carpendale (University of Calgary), [introductory] Data Visualization   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Bamshad Mobasher (DePaul University), [intermediate] Context-aware Recommender Systems   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [introductory/intermediate] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   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 January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   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 will be available in due time.   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:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From osman.hasan at seecs.edu.pk Fri Sep 6 13:38:57 2019 From: osman.hasan at seecs.edu.pk (Osman Hasan) Date: Fri, 06 Sep 2019 13:38:57 +0200 Subject: Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) In-Reply-To: References: Message-ID: ------------------------------------------------------------------- Call for Papers FTSCS 2019 7th International Workshop on Formal Techniques for Safety-Critical Systems Shenzhen, China, November, 9, 2019 (satellite workshop of ICFEM 2019) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** *** Extended and final submission deadline: September 10, 2019 *** Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (16 pages max); B- applications and experiences (16 pages max); C- surveys, comparisons, and state-of-the-art reports (16 pages max); D- tool papers (6 pages max); E- position papers and work in progress (6 pages max) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/my/conference?conf=ftscs2019. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2019. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 10, 2019 (extended and final) Notification of acceptance: October 4, 2019 Workshop: November 9, 2019 Venue: Shenzhen, China Program chairs: Frederic Mallet (INRIA Sophia Antipolis, France) Osman Hasan (National University of Sciences & Technology, Pakistan) Program committee: Cyrille Artho (KTH Royal Institute of Technology, Sweden) Peter Csaba Ölveczky (University of Oslo, Norway) Thomas Noll (RWTH Aachen University, Germany) Klaus Havelund (Jet Propulsion Laboratory, USA) Étienne André (University Paris 13, France) Robi Malik (University of Waikato, New Zealand) Roberto Nardone (Mediterranean University of Reggio Calabria, Italy) Ralf Huuck (UNSW, Australia) Sofiène Tahar (Concordia University, Canada) Toshiaki Aoki (JAIST, Japan) Kyungmin Bae (Pohang University of Science and Technology, Korea) Fuyuki Ishikawa (National Institute of Infomatics, Japan) Carolyn Talcott (SRI International, USA) Tatsuhiro Tsuchiya (Osaka University, Japan) Huibiao Zhu (East China Normal University, China) Alexander Knapp (Universität Augsburg, Germany) Musab AlTurki (King Fahd University of Petroleum & Minerals, Saudi Arabia) Lee Pike (Automated Reasoning Group of Amazon Web Services, USA) Nils Timm (Univesity of Pretoria, South Africa) Stefen Mitsch (CMU, USA) Tom van Dijk (University of Twente, The Netherlands) Jean-Pierre Talpin (INRIA, France) Zhiping Shi (Capital Normal University, China) Sven Linker (U. Of Liverpool, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jerome.mengin at irit.fr Thu Sep 12 10:35:55 2019 From: jerome.mengin at irit.fr (Jerome Mengin - Univ. de Toulouse) Date: Thu, 12 Sep 2019 10:35:55 +0200 Subject: PhD / Postdoc positions in AI / Knowledge Compilation in Toulouse In-Reply-To: <9578be7f-677c-495a-37a9-98b5d31efcee@irit.fr> References: <7ebc9ffd-e0b9-4992-c0af-df4eebe73594@irit.fr> <94bdb096-c8b2-6bf3-3962-35531cc82a10@irit.fr> <9578be7f-677c-495a-37a9-98b5d31efcee@irit.fr> Message-ID: Bonjour, within the Artificial and Natural Intelligence Toulouse Institute (Toulouse, France), the Aniti KC project offers several Ph.D. and postdoctoral positions. Areas of interest include, but are not limited to : * Knowledge Compilation * Discrete Optimization by Local Search * Model Checking * Complexity Theory * Pac Learning with applications to * Product Configuration * Satellite Design * Automotive and Aerospace * Planning and Routing * Recommendation systems The subject could be adjusted according to the candidate's profile. Ongoing positions are : * Knowledge Compilation for Incomplete Combinatorial Optimization Techniques (Ph. D position) * Constraint compilation : A study on Satellite Design (CIFRE Ph. D position, cosupervision with Airbus DS and Altran) * From Machine Learning to Knowledge Compilation and Back (postdoctoral position) * Approximate Compilation for Preference and Likelihood Models (postdoctoral position) The monthly gross salaries are 2600 euros for a Ph.D. position and start from 3500 euros for a postdoctoral position. The positions come with health insurance and other social benefits. Prospective applicants should have a strong mathematical background (probability & statistics, optimization, etc.), good scientific programming skills and good communication skills in English, both written and oral, with particular interests in one or several aforementioned disciplines. Check here how to apply for these positions. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From andreas.herzig at irit.fr Thu Sep 12 10:35:55 2019 From: andreas.herzig at irit.fr (Andreas HERZIG) Date: Thu, 12 Sep 2019 10:35:55 +0200 Subject: FoIKS 2020 deadline extension and final call for papers Message-ID: FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems University of Dortmund, Germany, Feb. 17-21, 2020 Conference website: https://foiks2020.cs.tu-dortmund.de/ Submission link: https://easychair.org/conferences/?conf=foiks2020 Submission deadlines (extended): September 21, 2019 (abstract), September 28, 2019 (paper) The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. *** Suggested topics The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems * The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining *** Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair. *** Important Dates Abstract submission deadline: September 21, 2019 Paper submission deadline: September 28, 2019 Author notification: November 19, 2019 Camera-ready paper due: December 05, 2019 FoIKS 2020 Symposium: February 17-21, 2020 *** Program Committee Ait Ameur, Yamine Artale, Alessandro Bauters, Kim Beierle, Christoph Bertossi, Leopoldo Besnard, Philippe Bidoit, Nicole Bienvenu, Meghyn Biskup, Joachim Botoeva, Elena Britz, Arina Doder, Dragan Eiter, Thomas Fermüller, Christian Ferrarotti, Flavio Gierasimczuk, Nina Gyssens, Marc Janhunen, Tomi Järvisalo, Matti Kern-Isberner, Gabriele Kiss, Attila Krötzsch, Markus Kuusisto, Antti Link, Sebastian Lukasiewicz, Thomas Palmigiano, Alessandra Rudolph, Sebastian Sali, Attila Schewe, Klaus-Dieter Schockaert, Steven Shchekotykhin, Kostyantyn Simari, Guillermo R. Thalheim, Bernhard Thomo, Alex Truszczynski, Mirek Turull-Torres, Jose Van Gucht, Dirk Varzinczak, Ivan Virtema, Jonni Wang, Qing Woltran, Stefan *** Program Chairs Andreas Herzig, CNRS, IRIT, Toulouse, France Juha Kontinen, University of Helsinki, Finland *** Local Organization Chair Gabriele Kern-Isberner, TU Dortmund Christoph Beierle, University of Hagen *** Invited Speakers Klaus-Dieter Schewe tba tba *** Publication The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2020 special issue of the Annals of Mathematics and Artificial Intelligence. *** Venue The conference will be held at the TU Dortmund; further information on the venue will be provided in time. *** Contact All questions about submissions should be emailed to foiks2020 at easychair.org. From irdta at irdta.eu Thu Sep 12 10:35:55 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 12 Sep 2019 10:35:55 +0200 Subject: LATA 2020: 2nd call for papers Message-ID: LATA 2020: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020   Milan, Italy   March 2-6, 2020   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   https://lata2020.irdta.eu *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2020 will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, inductive inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization   Christoph Haase (University College London), Approaching Arithmetic Theories with Finite-state Automata   Artur Jeż (University of Wrocław), Recompression: Technique for Word Equations and Compressed Data   Jean-Éric Pin (CNRS), How to Prove that a Language Is Regular or Star-free?   Thomas Place (University of Bordeaux), Deciding Classes of Regular Languages: A Language Theoretic Point of View   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Flavio Corradini (University of Camerino, IT) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Tero Harju (University of Turku, FI) Jeffrey Heinz (Stony Brook University, US) Lane A. Hemaspaandra (University of Rochester, US) Marcin Jurdziński (University of Warwick, UK) Juhani Karhumäki (University of Turku, FI) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) François Le Gall (Kyoto University, JP) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Antonio Restivo (University of Palermo, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Tomáš Vojnar (Brno University of Technology, CZ) Mikhail Volkov (Ural Federal University, RU) James Worrell (University of Oxford, UK)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Rafael Peñaloza Nyssen (Milan) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, 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). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2020   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:   https://lata2020.irdta.eu/registration   DEADLINES (all at 23:59 CET):   Paper submission: October 18, 2019 Notification of paper acceptance or rejection: November 25, 2019 Final version of the paper for the LNCS proceedings: December 2, 2019 Early registration: December 2, 2019 Late registration: February 17, 2020 Submission to the journal special issue: June 6, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Università degli Studi di Milano-Bicocca   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From komendantskaya at gmail.com Thu Sep 19 10:31:59 2019 From: komendantskaya at gmail.com (Ekaterina Komendantskaya) Date: Thu, 19 Sep 2019 10:31:59 +0200 Subject: Practical Aspects of Declarative Languages PADL2020: 2nd CFP Message-ID: 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) https://popl20.sigplan.org/home/PADL-2020,20-21 January 2020, New Orleans, Louisiana, United States Co-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative languages* is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020* especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 - Symposium dates: 20 - 21 January 2020 Submission instructions can be found at: https://popl20.sigplan.org/home/PADL-2020#Call-for-Papers Looking forward to receiving your submission, PADL19 PC members: https://popl20.sigplan.org/home/PADL-2020#About -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cuzzocrea at si.dimes.unical.it Thu Sep 19 10:31:59 2019 From: cuzzocrea at si.dimes.unical.it (Alfredo Cuzzocrea) Date: Thu, 19 Sep 2019 10:31:59 +0200 Subject: SDM 2020 Call for Papers Message-ID: 20th SIAM International Conference on Data Mining May 7 - May 9, 2020, Cincinnati, OH, USA ======================================== SDM 2020 - http://www.siam.org/meetings/sdm20 Call for Papers Scope ===== Data mining is the computational process for discovering valuable knowledge from data - the core of modern Data Science. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, data scientists and application developers from different disciplines, as well as usable by stakeholders. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form and are also made available on the SIAM web site. Topics of Interest ================== *Methods and Algorithms -Anomaly & Outlier Detection -Big Data & Large-Scale Systems -Classification & Semi-Supervised Learning -Clustering & Unsupervised Learning -Data Cleaning & Integration -Deep Learning & Representation Learning -Frequent Pattern Mining -Feature Extraction, Selection and Dimensionality Reduction -Mining Data Streams -Mining Graphs & Complex Data -Mining on Emerging Architectures & Data Clouds -Mining Semi Structured Data -Mining Spatial & Temporal Data -Mining Text, Web & Social Media -Online Algorithms -Optimization Methods -Parallel and Distributed Methods -Probabilistic & Statistical Methods -Scalable & High-Performance Mining -Other Novel Methods *Applications -Astronomy & Astrophysics -Automation & Process Control -Climate / Ecological / Environmental Science -Customer Relationship Management -Data Science -Drug Discovery -Finance -Genomics & Bioinformatics -Healthcare Management -High Energy Physics -Intelligence Analysis -Internet of Things -Intrusion & Fraud detection -Logistics Management -Recommendation -Risk Management -Social Network Analysis -Supply Chain Management -Other Emerging Applications *Human Factors and Social Issues -Ethics of Data Mining -Intellectual Ownership -Interestingness & Relevance -Privacy and Fairness Models -Privacy Preserving Data Mining -Risk Analysis and Risk Management -Transparency and Algorithmic Bias -User Interfaces and Visual Analytics -Other Human and Social Issues Submission URL ============== https://cmt3.research.microsoft.com/SDM2020 Workshop and Tutorials ====================== The conference will feature workshops and tutorials on several special topics. Please see the SDM 2020 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2019 website, http://www.siam.org/meetings/sdm19/ Organization ============ GENERAL CO-CHAIRS Nitesh Chawla, University of Notre Dame, USA Carlotta Domeniconi, George Mason Univeristy, USA PROGRAM CO-CHAIRS Yan Liu, University of Southern California, USA Sriraam Natarajan, University of Texas at Dallas, USA WORKSHOPS CO-CHAIRS Yuxiao Dong, Microsoft Research, USA Gregor Stiglic, University of Maribor, Slovenia TUTORIALS CHAIR Danai Koutra, University of Michigan, USA DOCTORAL FORUM CHAIRS Matteo Riondato, Amherst College, USA Brandeis Marshall, Spelman College, USA PANELS CHAIR Zhenhui Jessie Li, Penn State University, USA PUBLICITY CHAIRS Xiang Ren, University of Southern California, USA Alfredo Cuzzocrea, University of Calabria, Italy Sourangshu Bhattacharya, IIT, Kharagpur, India AWARDS CHAIR TBA STEERING COMMITTEE CHAIR Zoran Obradovic, Temple University, USA LOCAL CHAIR Ping Zhang, Ohio State University, USA Important Dates (tentative) =========================== Abstract Submission: October 4, 2019 11:59pm (US Eastern Time) Paper Submission: October 11, 2019 11:59pm (US Eastern Time) Workshop Proposals: October 4, 2019 11:59pm (US Eastern Time) Tutorial Proposals: October 4, 2019 11:59pm (US Eastern Time) From shiloviis at mail.ru Thu Sep 19 10:31:59 2019 From: shiloviis at mail.ru (=?UTF-8?B?U2hpbG92IE5pa29sYXk=?=) Date: Thu, 19 Sep 2019 10:31:59 +0200 Subject: =?UTF-8?B?Q2FsbCBmb3IgY29udHJpYnV0aW9ucyAtIEZ1biBXaXRoIEZvcm1hbCBNZXRo?= =?UTF-8?B?b2Rz?= Message-ID: The Third Workshop "Fun With Formal Methods" (FWFM-2019, http://persons.iis.nsk.su/en/FWFM19 ) will take place in October 2019 (a day from 14 to 20) in Innopolis University (near Kazan, Russia) The workshop will be a satellite event of TOOLS 50+1 - "Technology of Object-Oriented Languages and Systems" (October 14-20, 2019, http://tools2019.innopolis.ru/ ). The day of the workshop will be settled later (by October 7, 2019) to meet wishes of all speakers (but the most probable date is Thursday October 17, 2019). Distance participation is welcome! The workshop will be streamed! (The media for distance participation and streaming will be set in advance by October 8, 2019.) Call for Papers The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods. Not an exhaustive list of topics of FWFM follows: * fascinating examples of use of FM in SE; * simple but interesting educational examples of FM; * FM for puzzles, games and entertainment; * FM and programming contests; * FM elsewhere (outside software and hardware); * everything and anything related to popularization of FM. Scheduling: * Submission deadline: October 1, 2019 * Notification deadline: October 8, 2019 * Version of accepted papers for dissemination at the workshop: October 13, 2019 * Workshop program on-line: October 8, 2019 Program Committee: * Hamna Aslam (Innopolis University, Russia) * Joseph Brown (Innopolis University, Russia) * Natalia Garanina (Institute of Informatics Systems, Novosibirsk, Russia) * Lidiya Gorodnyaya (Institute of Informatics Systems, Novosibirsk, Russia) * Nikolay V. Shilov (Innopolis University, Russia) - organizer (contact by e-mail shiloviis(at)mail.ru) Invited Speakers: TBD (still:-( Submission and Publication Plans Extended abstracts and/or papers on topics related to FWFM are solicited. There is no any strict limit for page number or style, but it is recommended to be in range 2-4 pages for extended abstracts and 4-16 pages for papers. (Single column, single interval, font not less than 12 for review convenience.) All submitted paper will be reviewed by Program Committee and selection of accepted papers will based on relevance, quality, (partly) originality and FUN of the submitted papers. Papers already published somewhere are also welcome but must make it explicit their publication status. All submissions should be via EasyChair conference system ( https://easychair.org/conferences/?conf=fwfm2019 ) We plan to publish informal proceedings before the workshop and disseminate them among participants at the workshop. Post-proceedings publication is subject to decide on base of quality and number of the original submissions. (Recall that we welcome papers already published somewhere.) Registration - via the web-page of the main conference TOOLS 50+1. (Please don't be scared by registration fee: just submit an abstract/paper and wait , because we are working with perspective sponsors to reduce the fee. Distance participation will be free!) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Sep 19 10:31:59 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 19 Sep 2019 10:31:59 +0200 Subject: TPNC 2019: call for posters Message-ID: TPNC 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2019) invites researchers to submit poster presentations. TPNC 2019 will be held in Kingston, Ontario on December 9-11, 2019. See  https://tpnc2019.irdta.eu/ 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 computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 2, 2019 Notification of poster acceptance or rejection: November 9, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2019 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 proceedings volume of TPNC 2019. However, they will be eligible for submission to the post-conference journal special issue in Natural Computing (Springer, 2018 JCR impact factor: 0.860). REGISTRATION At least one author of each accepted poster must register to the conference by November 25, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From luis.magdalena at gmail.com Thu Sep 19 10:31:59 2019 From: luis.magdalena at gmail.com (LUIS MAGDALENA) Date: Thu, 19 Sep 2019 10:31:59 +0200 Subject: Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020) Message-ID: ** Please accept our apologies for cross-posting ** ** It would be highly appreciated if you could disseminate this CFP among your colleagues ** ---------------------------------------------------------------------------- Some DEADLINES of the 24th European Conference on Artificial Intelligence (ECAI 2020) are APPROACHING. Please find below the overall Call for Papers, but particularly consider these deadlines: + WORKSHOP Proposal submission will close by October 30, 2019 + ECAI2020 Abstract submission will close by November 15, 2019 + PAIS Abstract submission will close by November 21, 2019 ECAI 2020 will take place in Santiago de Compostela from June 8 to 12, 2020. For additional information visit www.ecai2020.eu. CALL FOR PAPERS =============== The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme "Paving the way towards Human-Centric AI", the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages. The conference dates are 10-12 June 2020, with the workshops taking place on 8-9 June. Save these dates! The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI. The following list of topics is indicative; other topics are welcome. - Agent-based and Multi-agent Systems (MAS) - Computational Intelligence (CI) - Constraints and Satisfiability (CS) - Games and Virtual Environments (GAME) - Heuristic Search (HEU) - Human Aspects in AI (HAI) - Information Retrieval and Filtering (IRF) - Knowledge Representation and Reasoning (KRR) - Machine Learning (ML) - Multidisciplinary Topics and Applications (MULT) - Natural Language Processing (NLP) - Planning and Scheduling (PLAN) - Robotics (ROB) - Safe, Explainable, and Trustworthy AI (XAI) - Semantic Technologies (SEM) - Uncertainty in AI (UAI) - Vision (VIS) The Call for Papers is available at http://ecai2020.eu/call-for-papers/mainconference/ WORKSHOPS, TUTORIALS AND OTHER EVENTS ------------------------------------- In addition to its full programme of technical papers, ECAI2020 will feature many AI-related events for researchers, students and all attendants who are interested on contemporary AI. Separate calls have been issued for: - Workshop proposals, CFP available at http://ecai2020.eu/call-for-papers/workshops/ - Tutorial proposals, CFP available at http://ecai2020.eu/call-for-papers/tutorials/ - PAIS 2020, the Prestigious Applications of Intelligent Systems conference, CFP available at http://ecai2020.eu/call-for-papers/pais/ - STAIRS 2020, the Starting AI Researcher Symposium, CFP available at http://ecai2020.eu/call-for-papers/stairs/ In addition, other AI-related events will be announced, specially addressing the role of AI in Europe (and vice-versa) with special focus on the Conference general theme. Among these, The Frontiers in AI track sessions, the Lab To Market event, the Women in AI Breakfast and the EU Challenges forum. Futhermore, ECAI2020 will have a special focus on Starting Researchers, who will be able to participate in an specific program including the Doctoral Consortium, the Three Minutes Thesis Competition, the Lunch with an EurAI Fellow and the Job Fair. SOME IMPORTANT DATES -------------------- ECAI2020 Abstract submission: November 15, 2019 ECAI2020 Paper submission: November 19, 2019 ECAI2020 Notification of acceptance/rejection: January 15, 2020 WORKSHOP Proposal submission: October 30, 2019 WORKSHOP Proposal notification: November 28, 2019 TUTORIAL Proposal Submission: February 20, 2020 TUTORIAL Acceptance Notification: March 20, 2020 PAIS Abstract submission: November 21, 2019 PAIS Paper submission: November 26, 2019 PAIS Notification of acceptance/rejection: January 20, 2020 ORGANIZATION ------------ The Conference is hosted by the European Association for Artificial Intelligence (EurAI) and the Spanish AI Society (AEPIA). ECAI 2020 is organized by the Intelligent Systems Group (GSI) and the Research Centre in Intelligent Technologies (CiTIUS), University of Santiago de Compostela. SYNERGIES WITH OTHER CONFERENCES -------------------------------- ECAI 2020 is coordinating with AAMAS 2020 and ICAPS 2020 to exploit synergies. Details will be announced very soon at the Website. CONTACT AND UPDATES ------------------- Updates will be regularly published at the Conference Website: www.ecai2020.eu Follow us in Twitter @ECAI2020 -- Luis Magdalena ECAI2020 Publicity Chair www.ecai2020.eu From icsai_cfp at sdju.edu.cn Thu Sep 26 16:50:03 2019 From: icsai_cfp at sdju.edu.cn (Prof Chen) Date: Thu, 26 Sep 2019 16:50:03 +0200 Subject: ICSAI2019, Shanghai, Submission Open until 30 October [SCI Special Issue/EI Compendex/SCOPUS/IEEE Xplore] 2019/9/26 19:56:11 68rv Message-ID: Dear Colleague, The 2019 6th International Conference on Systems and Informatics (ICSAI 2019) will be held from 2-4 November 2019 in Lingang, Shanghai, China. Submission remains open until 30 October 2019 (papers already submitted should not be re-submitted). ICSAI 2019 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. Some papers will be recommended for publication in a special issue in SCI-indexed journal Applied Sciences (2018 Impact Factor: 2.217). Lingang is a new district of Shanghai, the largest city in China. Several famous universities have established new campuses in Lingang. Nearby attractions include Shanghai Wildlife Park, Shanghai Disneyland, Shanghai Haichang Ocean Park, China Maritime Museum, Shanghai Flower Harbor, Binhai Forest Park, and Dishui Lake. 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 icsai2019 at sdju.edu.cn Join us at this major event in beautiful Lingang !!! Organizing Committee icsai2019 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. 2019/9/26 19:56:11 0jpwh2t -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nevrenato at gmail.com Thu Sep 26 16:50:03 2019 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 26 Sep 2019 16:50:03 +0200 Subject: FM'19 - Last call for participation References: <000309a86710b559fd51f7fe4b1de56f9aa06e42.camel@gmail.com> Message-ID: 3rd World Congress on Formal Methods Porto, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ @formalmethods19 ______________________________________________________________ *** Apologies for cross-posting *** ______________________________________________________________ *** FM Week News: Tony Hoare's keynote (Oct 8) jointly organized by UTP'19, LOPSTR'19, MPC'19, PPDP'19 and RV'19 will mark the 50th anniversary (October 1969) of the publication of "An Axiomatic Basis for Computer Programming”. ______________________________________________________________ The FM'19 World Congress on Formal Methods will take place at the Alfandega do Porto Congress Center, Porto, October 7-11, 2019, under the motto "The Next 30 Years". Registration is open at https://bit.ly/2JfdBjO as follows: . Early – until Sep 10 (AoE) . Late – from Sep 11 until Oct 5 (AoE) . On site – from Oct 6 to Oct 11 (AoE) Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a social event on Oct 10), FM'19 involves more than 30 parallel events (symposia, conferences, workshops and tutorials) spreading over several FM related areas: . FM 2019 – 23rd International Symposium on Formal Methods . LOPSTR 2019 – 29th International Symposium on Logic-Based Program Synthesis and Transformation . MPC 2019 – 13th International Conference on Mathematics of Program Construction . PPDP 2019 – 21st International Symposium on Principles and Practice of Declarative Programming . RV 2019 – 19th International Conference on Runtime Verification . SAS 2019 – 26th International Static Analysis Symposium . TAP 2019 – 13th International Conference on Tests and Proofs . UTP 2019 – 7th International Symposium on Unifying Theories of Programming . VECoS 2019 – 13th International Conference on Verification and Evaluation of Computer and Communication Systems . AFFORD 2019 – Practical Formal Verification for Software Dependability . DALI 2019 – 2nd Workshop on Dynamic Logic: New Trends and Applications . DataMod 2019 – 8th International Symposium “From Data to Models and Back (DataMod)” . FMAS 2019 – Formal Methods for Autonomous Systems . FMBC 2019 – Workshop on Formal Methods for Blockchains . FMIS 2019 – 8th Formal Methods for Interactive Systems Workshop . FMTea 2019 – Formal Methods Teaching Workshop and Tutorial . F-IDE 2019 – 5th Workshop on Formal Integrated Development Environment . HFM 2019 – History of Formal Methods . NSAD 2019 – 8th International Workshop on Numerical and Symbolic Abstract Domains . OpenCERT 2019 – 9th Int. Workshop on Open Community approaches to Education, Research and Technology . OVT 2019 – 17th Overture Workshop . REFINE 2019 – 19th Refinement Workshop . RPLA 2019 – Reversibility in Programming, Languages, and Automata . SASB 2019 – 10th International Workshop on Static Analysis and Systems Biology . TAPAS 2019 – 10th Workshop on Tools for Automatic Program Analysis . ALLOY – Formal software design with Alloy and Electrum (Tutorial) . CbC – The Correctness by Construction Approach to Programming (Tutorial) . FRAMA-C-IoT – Formal Verification of IoT Software with Frama-C (Tutorial) . KEYMAERA X – Modular Formal Verification of Cyber-Physical Systems with KeYmaera X (Tutorial) . SRV – Stream-based Runtime Verification (Tutorial) As a whole, the FM'19 congress will bring together a distinguished group of 40+ world-top guest speakers whose short bios can be found at https://bit.ly/2Io2Lsh. The FM'19 organizers thank all corporations that have been so kind to sponsor the Congress – please see the 'Sponsor FM'19' gallery at https://bit.ly/2CrKnMA. For more information, please visit the following pages of the FM'19 website: . FM Week - https://bit.ly/2zsyCUu . Accepted papers - https://bit.ly/2YtIp9Y (updated as data arrive from event chairs; currently: 344 papers involving 750 authors) . Call for participation - https://bit.ly/2JfdBjO . Registration page - https://bit.ly/2NTR9SR . Venue - https://bit.ly/2MdNCMu . Accommodation - https://bit.ly/2OuHXEu . Getting to Porto - https://bit.ly/2ykguKN . Social program - https://bit.ly/2JfdBjO . Weather forecast - https://bit.ly/2SLOKZ5 (or https://bit.ly/2YjeEo3 for more details) Contact: contactfm2019 at inesctec.pt We are also on Twitter: @formalmethods19 _____________________________________________________________ *** Welcome to FM'19 *** *** Welcome to PORTO *** *** Welcome to Portugal *** ______________________________________________________________ From cuzzocrea at si.dimes.unical.it Thu Sep 26 16:50:03 2019 From: cuzzocrea at si.dimes.unical.it (Alfredo Cuzzocrea) Date: Thu, 26 Sep 2019 16:50:03 +0200 Subject: SDM 2020 Call for Papers Message-ID: 20th SIAM International Conference on Data Mining May 7 - May 9, 2020, Cincinnati, OH, USA ======================================== SDM 2020 - http://www.siam.org/meetings/sdm20 Call for Papers Scope ===== Data mining is the computational process for discovering valuable knowledge from data - the core of modern Data Science. It has enormous application in numerous fields, including science, engineering, healthcare, business, and medicine. Typical datasets in these fields are large, complex, and often noisy. Extracting knowledge from these datasets requires the use of sophisticated, high-performance, and principled analysis techniques and algorithms, which are based on sound theoretical and statistical foundations. These techniques in turn require implementations on high performance computational infrastructure that are carefully tuned for performance. Powerful visualization technologies along with effective user interfaces are also essential to make data mining tools appealing to researchers, analysts, data scientists and application developers from different disciplines, as well as usable by stakeholders. The SDM conference provides a venue for researchers who are addressing these problems to present their work in a peer-reviewed forum. It also provides an ideal setting for graduate students and others new to the field to learn about cutting-edge research by hearing outstanding invited speakers and attending presentations and tutorials (included with conference registration). A set of focused workshops is also held on the last day of the conference. The proceedings of the conference are published in archival form and are also made available on the SIAM web site. Topics of Interest ================== *Methods and Algorithms -Anomaly & Outlier Detection -Big Data & Large-Scale Systems -Classification & Semi-Supervised Learning -Clustering & Unsupervised Learning -Data Cleaning & Integration -Deep Learning & Representation Learning -Frequent Pattern Mining -Feature Extraction, Selection and Dimensionality Reduction -Mining Data Streams -Mining Graphs & Complex Data -Mining on Emerging Architectures & Data Clouds -Mining Semi Structured Data -Mining Spatial & Temporal Data -Mining Text, Web & Social Media -Online Algorithms -Optimization Methods -Parallel and Distributed Methods -Probabilistic & Statistical Methods -Scalable & High-Performance Mining -Other Novel Methods *Applications -Astronomy & Astrophysics -Automation & Process Control -Climate / Ecological / Environmental Science -Customer Relationship Management -Data Science -Drug Discovery -Finance -Genomics & Bioinformatics -Healthcare Management -High Energy Physics -Intelligence Analysis -Internet of Things -Intrusion & Fraud detection -Logistics Management -Recommendation -Risk Management -Social Network Analysis -Supply Chain Management -Other Emerging Applications *Human Factors and Social Issues -Ethics of Data Mining -Intellectual Ownership -Interestingness & Relevance -Privacy and Fairness Models -Privacy Preserving Data Mining -Risk Analysis and Risk Management -Transparency and Algorithmic Bias -User Interfaces and Visual Analytics -Other Human and Social Issues Submission URL ============== https://cmt3.research.microsoft.com/SDM2020 Workshop and Tutorials ====================== The conference will feature workshops and tutorials on several special topics. Please see the SDM 2020 website for submission requirements. Examples of workshops and tutorials are available through the SDM 2019 website, http://www.siam.org/meetings/sdm19/ Organization ============ GENERAL CO-CHAIRS Nitesh Chawla, University of Notre Dame, USA Carlotta Domeniconi, George Mason Univeristy, USA PROGRAM CO-CHAIRS Yan Liu, University of Southern California, USA Sriraam Natarajan, University of Texas at Dallas, USA WORKSHOPS CO-CHAIRS Yuxiao Dong, Microsoft Research, USA Gregor Stiglic, University of Maribor, Slovenia TUTORIALS CHAIR Danai Koutra, University of Michigan, USA DOCTORAL FORUM CHAIRS Matteo Riondato, Amherst College, USA Brandeis Marshall, Spelman College, USA PANELS CHAIR Zhenhui Jessie Li, Penn State University, USA PUBLICITY CHAIRS Xiang Ren, University of Southern California, USA Alfredo Cuzzocrea, University of Calabria, Italy Sourangshu Bhattacharya, IIT, Kharagpur, India AWARDS CHAIR TBA STEERING COMMITTEE CHAIR Zoran Obradovic, Temple University, USA LOCAL CHAIR Ping Zhang, Ohio State University, USA Important Dates (tentative) =========================== Abstract Submission: October 4, 2019 11:59pm (US Eastern Time) Paper Submission: October 11, 2019 11:59pm (US Eastern Time) Workshop Proposals: October 4, 2019 11:59pm (US Eastern Time) Tutorial Proposals: October 4, 2019 11:59pm (US Eastern Time) From irdta at irdta.eu Thu Sep 26 16:50:03 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 26 Sep 2019 16:50:03 +0200 Subject: BigDat 2020: early registration October 2 Message-ID: BigDat 2020: early registration October 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: October 2, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, 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, BigDat 2020 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:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Sanchita Bhattacharya (University of California, San Francisco), [introductory/advanced] Big Data in Immunology: Sharing, Dissemination, and Repurposing   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Sheelagh Carpendale (University of Calgary), [introductory] Data Visualization   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Charles Elkan (University of California, San Diego), [intermediate] A Rapid Introduction to Modern Deep Learning   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Bamshad Mobasher (DePaul University), [intermediate] Context-aware Recommender Systems   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [introductory/intermediate] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate/advanced] Meta-analysis Methods for High-dimensional Data   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   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 January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   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 will be available in due time.   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:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ricardo.campos at ipt.pt Thu Sep 26 16:50:03 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 26 Sep 2019 16:50:03 +0200 Subject: 42nd European Conference on Information Retrieval | Lisbon, 2020 | Last Call for Full Papers Message-ID: ===================== ECIR 2020 :: 42nd European Conference on Information Retrieval http://www.ecir2020.org/ Lisbon April 14 -17, 2020 ===================== The European Conference on Information Retrieval is the prime European forum for the presentation of original research in the field of Information Retrieval. ECIR 2020 is seeking high-quality and original submissions on theory, experimentation, and practice regarding the retrieval, representation, management, and usage of textual, visual and multi-modal information. ECIR strongly supports user, system, application, and evaluation focused papers: * User aspects including information interaction, contextualisation, personalisation, simulation, characterisation, and information behaviours. * System aspects including retrieval and recommendation algorithms, machine learning, deep learning, content representation, natural language processing, system architectures, and efficiency methods. * Applications such as search and recommender systems, web and social media apps, domain specific search (professional, bio, chem, etc.), novel interfaces, intelligent search agents/bots, and related innovative search tools. * Evaluation research including new measures and novel methods for the measurement and evaluation of users, systems and/or applications. In addition to these traditional topic areas, ECIR 2020 will be encouraging the submissions of papers on a specialised theme (eHealth, DeepLearning, education IR etc.) Full Paper Track ===================== The Full paper track provides the opportunity for researchers to present their state of the art research in Information Retrieval, which makes, or have the potential to make, a significant contribution to the field. Full paper submissions should be 12 pages in length plus additional pages for references. NEW!!!: As of 2020, a selection of the best papers at ECIR will be published in a special issue of the Information Retrieval Journal. Information Retrieval Journal ===================== Selected papers from ECIR 2020 will be published in a special issue of the Information Retrieval Journal in early 2021. Submission Guidelines ===================== All submissions must be written in English and be formatted according to the LNCS author guidelines. All papers should be submitted electronically through the conference submission system. Full papers (e.g. main paper track and reproducibility track) are up to 12 pages in length plus additional pages for references. Full paper submissions will be refereed through double-blind peer review. Accepted full papers will be published in the conference proceedings published in the Springer Lecture Notes in Computer Science series. The proceedings will be distributed to all delegates at the conference. Accepted full papers will have to be presented at the conference--and at least one author will be required to register. Timeline ===================== Full paper submission: 1 October 2019 Notification: 30 November 2019 Workshops and tutorials: 14 April 2020 Main Conference: 15-17 April 2020 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From cidixgroup at googlemail.com Mon Sep 30 14:22:46 2019 From: cidixgroup at googlemail.com (cidix Group) Date: Mon, 30 Sep 2019 14:22:46 +0200 Subject: CFP: Engineering Reliable Multi-Agent Systems - JAAMAS Special Issue Message-ID: Engineering Reliable Multi-Agent Systems Special Issue of the Journal of Autonomous Agents and Multi-Agent Systems There is increasing interest in the application of multi-agent systems (MAS) technology in safety-critical applications, such as UAVs, healthcare, manufacturing, etc. However, deployment of MAS in safety-critical applications will only be achieved if they can be shown to operate reliably. Demonstrating that a multi-agent system will operate reliably is an extremely challenging problem. The potential "behaviour space" of many systems (e.g., robots for care of the elderly) is vastly larger than that addressed by current approaches to engineering reliable systems. Such systems are implicitly expected to be able to "do the right thing" in the face of conflicting objectives and in complex, ill-structured environments. Addressing these challenges cannot be achieved by incremental improvements to existing software engineering and verification methodologies, but will require step changes in how we specify, engineer, test and verify systems. The special issue targets high-quality papers on current trends in research on engineering reliable multi-agent systems. Submissions to the special issue may take the form of original research papers, surveys, and viewpoints offering perspectives on the future of engineering reliable multi-agent systems. Relevant topics include, but are not limited to, the following: * Methodologies for identifying properties that a particular reliable MAS needs to satisfy * Languages and formalisms for specifying reliability properties * Individual and collective reliability in MAS * Techniques and technologies for the engineering of reliable MAS * Engineering reliable MAS that include learning * Engineering reliable MAS that include human-machine interaction * Frameworks, architectures, and infrastructures for reliable agents and MAS * Programming languages for reliable agents and MAS * Verification techniques for reliable MAS Issue Editors Jurgen Dix, Clausthal University of Technology, dix at tu-clausthal.de Brian Logan, University of Nottingham, brian.logan at nottingham.ac.uk Michael Winikoff, Victoria University of Wellington, michael.winikoff at vuw.ac.nz Submission and Reviews Procedures Special Issues are handled in the normal way via the online Editorial Manager system found at https://agnt.edmgr.com. Please choose the article type "S.I. : Engineering Reliable Multi-Agent Systems". Special Issue articles should fulfil all the standard requirements of any JAAMAS article. Authors should note that the same criteria apply to articles in Special Issues as to regular articles. All papers will undergo the same rigorous AGNT review process. Please refer to the JAAMAS website for detailed instructions on paper submission: http://www.springer.com/computer/ai/journal/10458 Deadline for Submissions: 1 January 2020 Notification: 1 March 2020 Final Version: 1 May 2020 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ricardo.campos at ipt.pt Mon Sep 30 14:22:46 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Mon, 30 Sep 2019 14:22:46 +0200 Subject: ECIR2020: Call for Volunteer Reviewers Message-ID: ECIR2020: Call for Volunteer Reviewers We would like to invite applications from all members of the information retrieval research community to join and serve on the program committee (PC) of ECIR 2020. This call aims to broaden participation in the review process, and ensure the involvement of young, promising researchers with a strong technical background. PC members provide constructive feedback to the authors and a detailed evaluation of 3-4 submissions to PC chairs to help form the technical program of ECIR 2020. Being a reviewer is a serious role as it serves as the frontline to ensure that rigorous, novel, and interesting scientific results get accepted and published while seriously flawed submissions do not. As such, reviewers can shape the progress and the direction of the research field in the long run. We ask that applicant reviewers be ready to commit serious time and effort in reviewing each submission if accepted into the PC. The reviewing period will start on 15 October 2019 and run over 6 weeks until 30 November 2019. To be selected as a reviewer, you must be an active researcher having published regularly in peer-reviewed, reputable conferences or journals over the past years, and have demonstrated expertise in one or more research areas in our call for papers. Deadline: October 10, 2019 Apply here: https://forms.gle/cEfsMsFqj2fwD6Nq5 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: