From irdta at irdta.eu Thu Oct 3 10:12:51 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: SLSP 2019: call for participation Message-ID: SLSP 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 7th INTERNATIONAL CONFERENCE ON STATISTICAL LANGUAGE AND SPEECH PROCESSING SLSP 2019 Ljubljana, Slovenia October 14-16, 2019 Co-organized by: Jožef Stefan Institute Institute for Research Development, Training and Advice (IRDTA), Brussels/London http://slsp2019.irdta.eu/ ********************************************************************************** PROGRAM Monday, October 14 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Jure Leskovec. Learning and Reasoning with Knowledge Graphs - Invited lecture 10:30 - 11:00    Break 11:00 - 12:40 Izidor Mlakar, Darinka Verdonik, Simona Majhenic and Matej Rojc. Towards Pragmatic Understanding of Conversational Intent: A Multimodal Annotation Approach to Multiparty Informal Interaction – the EVA Corpus Matthieu Riou, Bassam Jabaian, Stéphane Huet and Fabrice Lefèvre. Lilia, a Showcase for Fast Bootstrap of Conversation-like Dialogues Based on a Goal-oriented System Natalia Tomashenko, Antoine Caubrière, Yannick Estève, Antoine Laurent and Emmanuel Morin. Recent Advances in End-to-end Spoken Language Understanding Adrien Bardet, Fethi Bougares and Loïc Barrault. A Study on Multilingual Transfer Learning in Neural Machine Translation: Finding the Balance between Languages 12:40 - 14:10    Lunch 14:10 - 15:25 Daphné Chopard and Irena Spasic. A Deep Learning Approach to Self-expansion of Abbreviations Based on Morphology and Context Distance Ondrej Herman, Miloš Jakubícek, Vojtech Kovár and Pavel Rychlý. Word Sense Induction Using Word Sketches Tatiana Kachkovskaia. Temporal "Declination" in Different Types of IPs in Russian: Preliminary Results 15:25 - 15:55    Break 15:55 - 16:45 Sammy Khalife, Leo Liberti and Michalis Vazirgiannis. Geometry and Analogies: A Study and Propagation Method for Word Representations Blaž Škrlj and Senja Pollak. Language Comparison via Network Topology 16:45 - 17:00    Break 17:00 - 17:40    Poster session I Abdulrahman Alqarafi and Kevin Swingler. Arabic Multi-dialects Multi-modal Sentiment Analysis Andrejaana Andova and Mitja Luštrek. Four Attempts at Cross-dataset Speech Emotion Recognition Leila Ben Letaifa, Mikel de Velasco, Raquel Justo and M. Inés Torres. First Steps to Develop a Corpus of Interactions between Elderly and Virtual Agents in Spanish with Emotion Labels Fuad Mire Hassan and Mark Lee. Multi-stage Stance Detection using Classical and Deep Learning Approaches --- Tuesday, October 15 09:00 - 09:50    Alexandros Potamianos. Emotion and Behavioral Tracking in the Lab and in the Wild - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Rimah Amami, Hassan Eraky and Rim Amami. An Incremental System for Voice Pathology Detection Combining Possibilistic SVM and HMM Ascensión Gallardo-Antolín and Juan Montero. External Attention LSTM Models for Cognitive Load Classification from Speech Dominik Machácek, Jonáš Kratochvíl, Tereza Vojtechová and Ondrej Bojar. A Speech Test Set of Practice Business Presentations with Additional Relevant Texts 11:35 - 12:05    Break 12:05 - 12:55 Meysam Shamsi, Damien Lolive, Nelly Barbot and Jonathan Chevelu. Investigating the Relation between Voice Corpus Design and Hybrid Synthesis under Reduction Constraint Nirayo Hailu Gebreegziabher and Andreas Nuernberger. An Amharic Syllable-based Speech Corpus for Continuous Speech Recognition 12:55 - 14:25    Group photo and Lunch 14:25 - 15:40 Diana Geneva, Georgi Shopov and Stoyan Mihov. Building an ASR Corpus Based on Bulgarian Parliament Speeches Jens Heitkaemper, Thomas Feher, Michael Freitag and Reinhold Haeb-Umbach. A Study on Online Source Extraction in the Presence of Changing Speaker Positions Sean Robertson, Gerald Penn and Yingxue Wang. Improving Speech Recognition with Drop-in Replacements for f-bank Features 15:40 - 16:10    Break 16:10 - 17:00 Balázs Tarján, György Szaszák, Tibor Fegyó and Péter Mihajlik. Investigation on N-gram Approximated RNNLMs for Recognition of Morphologically Rich Speech Jan Vanek, Josef Michalek and Josef Psutka. Tuning of Acoustic Modeling and Adaptation Technique for a Real Speech Recognition Task 17:00 - 17:15    Break 17:15 - 17:55    Poster session II Denis Memmesheimer and Karin Harbusch. Analytical and Visual Support Choosing the Optimal k for Top k Parse Reordering in Natural Language Ambiguity Resolution Shamila Nasreen and Matthew Purver. Interaction Patterns in Conversations with Alzheimer's Patients Rémi Uro, Marc Evrard, Nicolas Hervé and Béatrice Mazoyer. The Constitution of a French Tweet Corpus for Automatic Stance Detection Olga Yakovenko and Ivan Bondarenko. Convolutional Variational Autoencoders for Audio Feature Representation in Speech Recognition Systems 18:00 - 20:00    Touristic visit --- Wednesday, October 16 09:00 - 09:50    Odette Scharenborg. The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems - Invited lecture 09:50 - 10:20    Break 10:20 - 11:35 Luís Barbosa, João Filgueiras, Gil Rocha, Henrique Lopes Cardoso, Luis Paulo Reis, João Pedro Machado, Ana Cristina Caldeira and Ana Maria Oliveira. Automatic Identification of Economic Activities in Complaints Rajarshi Biswas, Michael Barz, Aditya Mogadala, Dietrich Klakow and Daniel Sonntag. Automatic Judgement of Neural Network-Generated Image Captions Fuad Mire Hassan and Mark Lee. Imbalanced Stance Detection by Combining Deep Learning and External Features 11:35 - 11:50    Break 11:50 - 13:05 Kristian Miok, Dong Nguyen-Doan, Blaž Škrlj, Daniela Zaharie and Marko Robnik-Šikonja. Prediction Uncertainty Estimation for Hate Speech Classification Polina Panicheva and Tatiana Litvinova. Authorship Attribution in Russian in Real-World Forensics Scenario Blaž Škrlj, Andraž Repar and Senja Pollak. RaKUn: Rank-based Keyword Detection via Unsupervised Learning and Meta Vertex Aggregation 13:05 - 13:15    Closing 13:15    Lunch   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jncor at dei.uc.pt Thu Oct 3 10:12:51 2019 From: jncor at dei.uc.pt (=?UTF-8?Q?Jo=C3=A3o_Nuno?=) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: Call for Papers - EvoApps Special Session on Evolutionary Machine Learning Message-ID: -------------------------------------------------------- Call for papers EvoApps Special Session on Evolutionary Machine Learning http://www.evostar.org/2020/evoapps/eml/ Please distribute (Apologies for cross-posting) -------------------------------------------------------- The Special Session on Evolutionary Machine Learning (EML) of Evo Apps will provide a specialized forum of discussion and exchange of information for researchers interested in exploring approaches that combine nature and nurture, with the long-term goal of evolving Artificial Intelligence (AI). Giving response to the growing interest in the area, and consequent advances of the state-of-the-art, the special session covers theoretical and practical advances on the combination of Evolutionary Computation (EC) and Machine Learning (ML) techniques. Topics of interest include, but are not limited to: - EC as an ML technique: Using EC to solve typical ML tasks such as Classification or Clustering - EC applied ML algorithms: Neuroevolution, Feature Selection, Feature Engineering, Evolutionary Adversarial Models - ML applied to EC: Surrogate-model design by ML for EC, Learning Problem Structure, ML for Diversity, Designing Search Strategies, Predicting Promising Regions, Using ML to Decrease Computational Effort - Real world applications issues: EC for Fairness, Robustness, Trustworthiness and Explainability; Green EML - Emerging topics: EC for AutoML; EC for Transfer Learning; EC for Multitasking; Evolving Learning Functions, Neurons and Linkage; EC for Verification and Validation of ML Important Dates Submission deadline: 1 November 2019 Evo*: 15-17 April 2020 Submission details: Submissions must be original and not published elsewhere. They will be peer reviewed by members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format and provide up to five keywords in your Abstract. Page limit: 16 pages Submission link: https://easychair.org/conferences/?conf=evo2020 Organizers Penousal Machado Wolfgang Banzhaf From cuzzocrea at si.dimes.unical.it Thu Oct 3 10:12:51 2019 From: cuzzocrea at si.dimes.unical.it (Alfredo Cuzzocrea) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: SDM 2020 Last 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 Last 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 epontell at cs.nmsu.edu Thu Oct 3 10:12:51 2019 From: epontell at cs.nmsu.edu (epontell) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: Call for Proposals: TPLP 20th Anniversary Special Issue Message-ID: Call for Paper Proposals Theory and Practice of Logic Programming (TPLP) The 20th Anniversary Issue Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of TPLP to celebrate its 20th anniversary. The special issue will be published some time in 2021, 20 years after the first issue of TPLP was published in January 2001. Logic programming was born from the idea of Horn logic as the basis for a programming language and from its embodiment in Prolog programming language, both dating their origins back to late 1960s and early 1970s. It quickly became a major milestone in the development of computer science. Since then, logic programming has remained a vibrant area of basic research on theoretical foundations of declarative programming, developing and exploiting connections to related fields such as knowledge and data bases, satisfiability and constraint programming, probabilistic programming, learning, implementation principles, and applications. TPLP has been established in 2001. Since its launch date in January 2001, the journal has been serving our community as its flagship publication, a worthy successor to the Journal of Logic Programming. The 20th anniversary of the birth of TPLP is an excellent opportunity to look at our field, survey its accomplishments, identify and discuss challenges it faced, as well as, successes and failures in meeting them. Finally, it is an opportunity to map the road into the future. The 20th Anniversary Issue of TPLP initiative will be coordinated by Thomas Eiter, Luc De Raedt, Michael Maher, Enrico Pontelli and Mirek Truszczynski, who will also serve as guest editors of the special issue. The guest editors envision that issue as consisting of invited papers that survey the state-of-the-art of most rapidly developing and emerging areas of logic programming, offer modern tutorials on well-established classical subjects, or present position statements on the field and its future, all targeting a broad audience rather than narrow groups of experts. The editors invite proposals for such papers. These proposals should present the topic, and motivate its importance and interest. The proposals should be limited to two pages. These proposals will be reviewed by the editors, who will then invite some for full submission. These submissions will undergo a rigorous review. Those accepted will form the special issue. The target deadlines are: - November 30, 2019: the two-page paper proposals due - January 31, 2020: invitations to submit papers sent to the authors of the selected proposals - May 31, 2020: full papers due - March 31, 2021: the paper review process ends - list of accepted papers finalized - April 30, 2021: final versions of papers submitted - June 30, 2021: the publication of the combined (1-3) issue of TPLP Paper proposals should be submitted by email to Mirek Truszczynski at mirek at cs.uky.edu. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Thu Oct 3 10:12:51 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: FoIKS 2020: new submission deadlines for long and short 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 for long and short papers (new): October 6, 2019 (abstract), October 13, 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 For long papers the suggested number of pages is 16, and the maximum number of pages is 18. For short papers the maximum number of pages is 10. 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. 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 (long and short papers): October 6, 2019 Paper submission deadline (long and short papers): October 13, 2019 Author notification: November 19, 2019 Camera-ready paper due: December 05, 2019 FoIKS 2020 Symposium: February 17-21, 2020 *** Program Committee see https://foiks2020.cs.tu-dortmund.de/organization.php *** 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 ricardo.campos at ipt.pt Thu Oct 3 10:12:51 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 03 Oct 2019 10:12:51 +0200 Subject: ECIR2020: Full-papers deadline extension 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 ===================== (new) Full paper submission: 10 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 irdta at irdta.eu Mon Oct 7 11:11:38 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 07 Oct 2019 11:11:38 +0200 Subject: LATA 2020: 3rd call for papers Message-ID: LATA 2020: 3rd 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. The venue will be:   University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan   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 the journal Information and Computation (Elsevier, 2018 JCR impact factor: 1.077) 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 cdomenic at gmu.edu Mon Oct 7 11:11:38 2019 From: cdomenic at gmu.edu (Carlotta Domeniconi) Date: Mon, 07 Oct 2019 11:11:38 +0200 Subject: ECMLPKDD Journal Track 2020 - Call for Papers Message-ID: CALL FOR PAPERS ECML PKDD 2020 Journal Track Website: https://ecmlpkdd2020.net/submissions/journalTrack/ We invite submissions for the journal track of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECMLPKDD) 2020. The journal track of the conference is implemented in partnership with the Machine Learning Journal and the Data Mining and Knowledge Discovery Journal. The conference provides an international forum for the discussion of the latest high-quality research results in all areas related to machine learning, data mining, and knowledge discovery. ELIGIBILITY CRITERIA Papers on all topics related to machine learning, knowledge discovery, and data mining are invited. However, given the special nature of the journal track, only papers that satisfy the quality criteria of journal papers and at the same time lend themselves to conference talks will be considered. Consequently, journal versions of previously published conference papers, or survey papers will not be considered for the special issue. Note that a paper rejected by the Machine Learning Journal should not be submitted to the Data Mining and Knowledge Discovery Journal and vice versa. Papers that do not fall into the eligible category may be rejected without formal reviews but can of course be resubmitted as regular papers. Authors are encouraged to adhere to the best practices of Reproducible Research (RR), by making available data and software tools for reproducing the results reported in their papers. For the sake of persistence and proper authorship attribution, we require the use of standard repository hosting services such as dataverse, mldata, openml, etc. for data sets, and mloss, bitbucket, github, etc. for source code. Authors who submit their work to the ECMLPKDD special issues of these journals commit themselves to presenting their paper at the ECMLPKDD conference if it is accepted. Note that for the earlier deadlines, this is likely to be ECMLPKDD 2020, but for the later deadlines this may be a later edition. REVIEWING The journal track allows continuous submissions from September 2019 to mid May 2020. Papers will be processed and sent out for review after each of the following five cutoff dates: - November 8, 2019 - January 10, 2020 - May 15, 2020 (note that papers submitted by this last deadline cannot possibly be accepted in time for ECMLPKDD 2020) The deadline on each of these dates is 23:59, Central European Time. We strive for a high quality and efficient review process. For each submission, we aim at obtaining three reviews from experienced reviewers, including members of the Guest Editorial Board. Our goal is to arrive at an initial decision about 10 weeks after each cutoff date, though meeting this target may not always be possible. After the initial review phase, many papers will require substantial revisions, and the revised paper will be re-reviewed, which extends the review process. Consequently, a paper’s chance of finishing the review cycle and being included in the ECMLPKDD 2020 special issue decreases with each subsequent cutoff date, and for the May 15 deadline this is even impossible. This means that accepted papers, especially those that were submitted to the later deadlines, may be included in the ECMLPKDD 2021 (or even later) special issue (and subject to approval of the ECMLPKDD steering committee and future organizers). The reviewing process is single-blind. SUBMISSION PROCEDURE To submit to this track, authors have to make a journal submission to either the Springer Data Mining and Knowledge Discovery journal or the Springer Machine Learning journal (no paper can be submitted to both), and select the type of submission to be for the ECMLPKDD 2020 special issue. It is recommended that submitted papers do not exceed 20 pages including references. Every paper may be accompanied with unlimited appendices. The papers should be formatted in the Springer journal style (svjour3, smallcondensed). Both journals require authors to include an information sheet (for Machine learning submissions) or a cover letter (up to 2 pages) as a supplementary material (for Data Mining and Knowledge Discovery submissions) that contains a short summary of their contribution and specifically address the following questions: - What is the main claim of the paper? Why is this an important contribution to the machine learning/data mining literature? - What is the evidence provided to support claims? Be precise. - Report 3-5 most closely related contributions in the past 7 years (authored by researchers outside the authors’ research group) and briefly state the relation of the submission to them. - Who are the most appropriate reviewers for the paper? Authors are required to suggest up to four candidate reviewers (especially if external to the Guest Editorial Board), including a brief motivation for each suggestion. - Optionally, list up to four researchers/potential reviewers with competing interests that should not be considered for reviewers. SUBMIT Submit to Machine Learning or submit to Data Mining and Knowledge Discovery QUERIES For Queries relating to Journal Track Submissions email: jt_chairs[at]ecmlpkdd2020.net The Journal Track Chairs: Ira Assent, Carlotta Domeniconi, Aristides Gionis, and Eyke Huellermeier From ricardo.campos at ipt.pt Thu Oct 10 10:13:14 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: ECIR2020: Short-papers, Demos and Reproducibility deadline extension 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.) Short Paper Track ===================== The Short Paper Track calls for original contributions presenting novel, thought-provoking ideas and addressing innovative application areas within the field of Information Retrieval. The inclusion of promising (preliminary) results is encouraged but not required. Papers that stimulate and promote discussion are particularly encouraged. Short paper submissions should be 6 pages in length plus additional pages for references. Reproducibility Track ===================== ECIR also strongly encourages the submission of reproducibility papers that repeat and analyze prior work. In particular we solicit classical reproducibility papers, which replicate prior experiments and show how, why, and when the methods work (or not), along with two other types of reproducibility papers: generalizability papers, that focus on assessing how well technology performs in new contexts (e.g., different time, location, access device, task), and predictability papers, that focus on developing theory and methods that assess and evaluate how generalizable methods are and whether they will work in other contexts. Reproducibility submissions are welcome in any of the ares related to aspects of Information Retrieval, and either fits with the classical or alternative types of reproducibility papers. Reproducibility submissions should be 12 pages in length plus additional pages for references. Demonstration Track ===================== The Demo Track provide the opportunity for researchers to present their research prototypes and operational systems which they wish to share with the community, obtain feedback from experts, and exchanges knowledge on implementing and developing such systems. Submissions should clearly define their purpose, scope, and audience. All submissions should provide a URL to a live online version of their demo or, alternatively, provide a URL to a video showcasing the main features of their demo. Demonstrations that make their source code freely available are especially encouraged. Demonstration submissions are welcome in any of the areas related to Information Retrieval (IR), as identified in the Topics of Interest listed above. Demo submissions should be 4 pages in length plus additional pages for references. 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. Short papers are up to 6 pages in length plus additional pages for references, and demonstration papers are to be 4 pages in length plus additional pages for references. Short paper submissions will be refereed through double-blind peer review. Demonstration papers will undergo single-blind review. Accepted short papers, and demo 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 short papers, and demos papers will have to be presented at the conference--and at least one author will be required to register. Timeline ===================== (new) Short-papers, Demos and Reproducibility paper submission: 20 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 ruy at cin.ufpe.br Thu Oct 10 10:13:14 2019 From: ruy at cin.ufpe.br (Ruy de Queiroz) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: 27th WoLLIC 2020 (Lima, Peru) - 1st Call for Papers In-Reply-To: References: Message-ID: [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2020 27th Workshop on Logic, Language, Information and Computation August 4th to 7th, 2020 Lima, Peru ORGANISATION Universidad de Ingenieria y Tecnologia, Lima, Peru Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-seventh WoLLIC will be held at Universidad de Ingenieria y Tecnologia, Lima, Peru from August 4th to 7th, 2020. It is scientifically sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2020 EasyChair website. (Please go to http://wollic.org/wollic2020/instructions.html for instructions.) PROCEEDINGS The proceedings of WoLLIC 2020, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2020 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) STUDENT GRANTS ASL sponsorship of WoLLIC 2020 will permit ASL student members to apply for a limited travel grant (deadline: 90 days before the event starts). Visit https://aslonline.org/meetings/student-travel-awards/ for details. IMPORTANT DATES April 15, 2020: Full paper deadline May 23, 2020: Author notification May 30, 2019: Final version deadline (firm) PROGRAMME COMMITTEE Carlos Areces (Cordoba, Argentina) Arthur Amorim Azevedo (CMU, USA) Paul Brunet (UCL, UK) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hansen (TU Delft, The Netherlands) Justin Hsu (University of Wisconsin–Madison, USA) Fairouz Kamareddine (Heriot-Watt University, UK) Sandra Kiefer (Aachen University, Germany) Clemens Kupke (Strathclyde University, Scotland) Konstantinos Mamouras (Rice University, USA) Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) Larry Moss (Indiana Univ, USA) Claudia Nalon (University of Brasília, Brazil) Valeria de Paiva (Samsung Research, USA) Elaine Pimentel (UFRN, Brazil) Revantha Ramanayake (TU Wien, Austria) Jurriaan Rot (Radboud University, The Netherlands) Yamilet Serrano (UTEC, Peru) Alexandra Silva (Univ College London) (Co-Chair) Christine Tasson (IRIF, France) Sebastiaan Terwijn (Radboud University, The Netherlands) Renata Wassermann (Univ São Paulo) (Co-Chair) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ernesto Quadro-Vargas (Universidad de Ingenieria y Tecnologia, Lima, Peru) (Local chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician whose contributions were recognized with a Fields Medal just a few years before her untimely death. It is a joint production (still on its course) of The Mathematical Sciences Research Institute (MSRI) and George Csicsery (Zala Films): ‘Secrets of the Surface - The Mathematical Vision of Maryam Mirzakhani’. “The biographical film is about Maryam Mirzakhani, a brilliant woman, and Muslim immigrant to the United States who became a superstar in her field. The story of her life will be complemented with sections about Mirzakhani’s mathematical contributions, as explained by colleagues and illustrated with animated sequences. Throughout, we will look for clues about the sources of Mirzakhani’s insights and creativity." (http://www.zalafilms.com/secrets/) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2020/ -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Oct 10 10:13:14 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: AlCoB 2020: 1st call for papers Message-ID: AlCoB 2020: 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 ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020   Missoula, Montana, USA   April 13-15, 2020   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice, Brussels/London   https://alcob2020.irdta.eu **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 will consist of:   invited lectures peer-reviewed contributions posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Joe Felsenstein (University of Washington, US) Olivier Gascuel (Pasteur Institute, FR) Daniel Huson (University of Tübingen, DE) Alla Lapidus (Saint Petersburg State University, RU) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Aaron McKenna (Dartmouth College, US) Sayan Mukherjee (Duke University, US) James Taylor (Johns Hopkins University, US) David A. Wheeler (Baylor College of Medicine, US) Travis Wheeler (University of Montana, US) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, 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).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://alcob2020.irdta.eu/registration/   DEADLINES (all at 23:59 CET):   Paper submission: December 2, 2019 Notification of paper acceptance or rejection: January 6, 2020 Final version of the paper for the LNCS/LNBI proceedings: January 13, 2020 Early registration: January 13, 2020 Late registration: March 30, 2020 Submission to the journal special issue: July 15, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From saoussen.cheikhrouhou at redcad.org Thu Oct 10 10:13:14 2019 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: Call for participation CRiSIS 2019 Message-ID: Call for participation The 14th International Conference on Risks and Security of Internet and Systems (CRiSIS) Alhambra Hotel, Yassmine Hammamet, Tunisia 29-31 October 2019 http://crisis2019.redcad.org The International Conference on Risks and Security of Internet and Systems 2019 will be the 14th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defence, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. ------- Registration is open as follows: • Early – Before 20 September • Late – Before 5 October • On site – After 29 October Registration is via the CRiSIS2019 website: http://crisis2019.redcad.org/Website/Registration.html ------- Program Information The conference will feature invited speakers and presentations of accepted papers. More details on the program: http://crisis2019.redcad.org/Website/Program.html ------- Keynote Speakers Lotfi ben Othmane, *Iowa State University, USA* Takoua Abdellatif, *University of Carthage, Tunisia* ------- Chairs General chairs: Nora Cuppens, IMT Atlantique, France Ahmed Hadj Kacem, University of Sfax, Tunisia Programme chairs: Frédéric Cupens, University of Bretagne Loire, France Slim Kallel, University of Sfax, Tunisia -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icores at scitevents.net Thu Oct 10 10:13:14 2019 From: icores at scitevents.net (ICORES Secretariat) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: Call for Papers - ICORES 2020 (Deadline Extension) Message-ID: null http://tracking.scitevents.net/tracking/unsubscribe?msgid=3aaBVY5nq6fXDzdjsLxsOw2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icpram at scitevents.net Thu Oct 10 10:13:14 2019 From: icpram at scitevents.net (ICPRAM Secretariat) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: Call for Papers - ICPRAM 2020 (Deadline Extension) Message-ID: null SCITEVENTS, Av. S. Francisco Xavier Lote 7 Cv. C, Setúbal, 2900-616, Portugal http://tracking.scitevents.net/tracking/unsubscribe?msgid=O6aROcoEGq2Uw8Qi-LM6sw2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icaart at scitevents.net Thu Oct 10 10:13:14 2019 From: icaart at scitevents.net (ICAART Secretariat) Date: Thu, 10 Oct 2019 10:13:14 +0200 Subject: Call for Papers - ICAART 2020 (Deadline Extension) Message-ID: null SCITEVENTS, Av. S. Francisco Xavier Lote 7 Cv. C, Setúbal, 2900-616, Portugal http://tracking.scitevents.net/tracking/unsubscribe?msgid=8XVLaYWVPplgVguJgo7HEg2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From M.M.Dastani at uu.nl Mon Oct 14 10:15:32 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Mon, 14 Oct 2019 10:15:32 +0200 Subject: CFP: 3rd International Conference on Logic and Argumentation (CLAR 2020) Message-ID: CFP: The 3rd International Conference on Logic and Argumentation (CLAR 2020), 6-9 April 2020, Hangzhou, China Proceedings: on site Springer LNCS (TBC), post: Journal of Logic and Computation. Deadline: November 30, 2019 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 Conferences on Logics in Artificial Intelligence (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 a special issue of the Journal of Logic and Computation. 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 CLAR 2020 and ZJULogAI are in collaboration with the Second Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning: Monotonicity in Logic and Language, 10-12 April 2020 (http://tsinghualogic.net/JRC/?page_id=1576). ************************ 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 Notification: 10 January 2020 Camera-Ready: 31 January 2020 Conference: 6-9 April 2020 ************************ PC members (to be completed) ************************ Thomas Ågotnes, University of Bergen Johan van Benthem, University of Amsterdam & Stanford University Pietro Baroni, University of Brescia Stefano Bistarelli, Università di Perugia Alexander Bochman, Holon Institute of Technology Thomas Bolander, Technical University of Denmark Weiwei Chen, Sun Yat-Sen University Zoé Christoff, University of Bayreuth Agata Ciabattoni, Vienna University of Technology Dragan Doder, University of Belgrade Shanshan Du, Wuhan University Massimiliano Giacomin, University of Brescia Guido Governatori, CSIRO Norbert Gratzl, Ludwig Maximilian University of Munich Davide Grossi, University of Groningen Jiahong Guo, Beijing Normal University Andreas Herzig, IRIT-CNRS Wesley Holliday, UC Berkeley Jeff Horty, University of Maryland Fengkui Ju, Beijing Normal University Souhila Kaci, LIRMM Hannes Leitgeb, Ludwig Maximilian University of Munich Hengfei Li, Shandong Jianzhu University Fenrong Liu, Tsinghua University Hu Liu, Sun Yat-sen University Emiliano Lorini, IRIT-CNRS, Université Paul Sabatier, Toulouse Réka Markovich, University of Luxembourg Alessandra Marra, University of Bayreuth Thomas Meyer, University of Cape Town and CAIR Sara Negri, University of Helsinki Nir Oren, University of Aberdeen Eric Pacuit, University of Maryland Valeria de Paiva, Samsung Research America and University of Birmingham Gabriella Pigozzi, Université Paris-Dauphine Henry Prakken, University of Utrecht & University of Groningen R. Ramanujam, Institute of Mathematical Sciences, Chennai Chenwei Shi, Tsinghua University Guillermo R. Simari, Universidad del Sur in Bahia Blanca. Sonja Smets, University of Amsterdam Christian Strasser, Ruhr-University Bochum Yì N. Wáng, Zhejiang University Xuefeng Wen, Sun Yat-sen University Stefan Woltran, Vienna University of Technology Jiachao Wu, Shandong Normal University Yun Xie, Sun Yat-sen University Yuming Xu, Shandong Univers Tomoyuki Yamada, Hokkaido University Fan Yang, University of Helsinki Teng Ying, Zhejiang University City College Zhe Yu, Sun Yat-sen University ************************ 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 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From luis.magdalena at upm.es Mon Oct 14 10:15:32 2019 From: luis.magdalena at upm.es (LUIS MAGDALENA) Date: Mon, 14 Oct 2019 10:15:32 +0200 Subject: Third CFP: 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 visitwww.ecai2020.eu. ECAI 2020 has coordinated with AAAI 2020, IJCAI 2020, AAMAS 2020 and ICAPS 2020 for deadlines and synergies. 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 including the following ones: - 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 athttp://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 athttp://ecai2020.eu/call-for-papers/workshops/ - Tutorial proposals, CFP available athttp://ecai2020.eu/call-for-papers/tutorials/ - PAIS 2020, the Prestigious Applications of Intelligent Systems conference, CFP available athttp://ecai2020.eu/call-for-papers/pais/ - STAIRS 2020, the Starting AI Researcher Symposium, CFP available athttp://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 has coordinated with AAAI 2020, IJCAI 2020, AAMAS 2020 and ICAPS 2020 for deadlines and synergies. In particular, ECAI 2020 and ICAPS 2020 have an agreement so that in specific cases the ECAI 2020 PC may decide to transfer a paper on Planning and Scheduling to ICAPS 2020 (provided that the permission to do so has been given by the authors in the submission form), and viceversa. 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 geoff at cs.miami.edu Thu Oct 17 10:10:02 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 17 Oct 2019 10:10:02 +0200 Subject: Artificial Intelligence and Theorem Proving 2020 - Call for Papers Message-ID: CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving AITP 2020 March 22-27, 2020, Aussois, France http://aitp-conference.org/2020 Deadline: December 3, 2019 https://easychair.org/conferences/?conf=aitp2020 BACKGROUND Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. TOPICS - AI, machine learning and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving, in particular their AI/ML aspects. - Common-sense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries, Formal Abstracts. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods - Formal verification of AI and machine learning algorithms, explainable AI . SESSIONS There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. CONFIRMED PARTICIPANTS/SPEAKERS (TBC) João Araújo, Universidade Nova de Lisboa Kevin Buzzard, Imperial College London Michael R. Douglas*, Stony Brook University Vlad Firoiu, DeepMind Ben Goertzel, SingularityNET Georges Gonthier, INRIA Thomas C. Hales, University of Pittsburgh John Harrison, Amazon Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Michael Kinyon, University of Denver Joao Marques Silva, ANITI, University of Toulouse David McAllester, Toyota Technological Institute at Chicago Tomáš Mikolov, Facebook AI Research Lawrence C. Paulson, University of Cambridge Alison Pease, University of Dundee Markus Rabe, Google Research Stephan Schulz, DHBW Stuttgart Daniel Selsam, Microsoft Research Martin Suda, Czech Technical University in Prague Robert Veroff, University of New Mexico Petr Vojtchovsky, University of Denver *: To be confirmed. CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2020). DATES Submission deadline: December 3, 2019 Author notification: January 10, 2020 Conference registration: January 21, 2020 Camera-ready versions: March 1, 2020 Conference: March 22 - 27, 2020 POST-PROCEEDINGS We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR). PROGRAM COMMITTEE (TBC) Jasmin Christian Blanchette, INRIA Nancy Ulrich Furbach, University of Koblenz Tibault Gauthier, Czech Technical University in Prague Thomas C. Hales (co-chair), University of Pittsburgh Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Cezary Kaliszyk (co-chair), University of Innsbruck Peter Koepke, University of Bonn Konstantin Korovin, The University of Manchester Ramana Kumar (co-chair), DeepMind Sarah Loos, Google Research Stephan Schulz (co-chair), DHBW Stuttgart Geoff Sutcliffe, University of Miami Josef Urban (co-chair), Czech Technical University in Prague Sarah Winkler, University of Innsbruck LOCATION AND PRICE The conference will take place from March 22 to March 27 2020 in the CNRS Paul-Langevin Conference Center (https://www.caes.cnrs.fr/sejours/centre-paul-langevin/) located in the mountain village of Aussois in Savoy. Dominated by the "Dent Parrachee", one of the highest peaks of La Vanoise, Aussois is located on a sunny plateau at 1500 m altitude, offering a magnificent panorama of the surrounding mountains and a direct access to the downhill ski slopes or cross country slopes in winter. The total price for accommodation, food and registration for the five days will be around 600 EUR. ARRIVAL/DEPARTURE Aussois is less than 2h from the airports of Lyon, Geneve, Chambery, Annecy, Grenoble and Turin. There are trains and buses from these airports. Aussois is 7km from the Modane TGV station with direct trains from/to Paris. We will organize a bus for the participants from there to Aussois. Further buses to these airports/station can be found at http://www.altibus.com/ . ORGANIZERS Cezary Kaliszyk and Josef Urban From irdta at irdta.eu Thu Oct 17 10:10:02 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 17 Oct 2019 10:10:02 +0200 Subject: LATA 2020: extended submission deadline October 26 Message-ID: LATA 2020: extended submission deadline October 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: October 26 ***** ------------------------------------------------------------------------------   ************************************************************************* 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. The venue will be:   University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan   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   Laure Daviaud (City, University of London), About Decision Problems for Weighted Automata   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) Marie-Pierre Béal (University of Paris-Est, FR) 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) Amélie Gheerbrant (Paris Diderot University, FR) 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 the journal Information and Computation (Elsevier, 2018 JCR impact factor: 1.077) 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 26, 2019 – EXTENDED 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 geoff at cs.miami.edu Thu Oct 17 10:10:02 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 17 Oct 2019 10:10:02 +0200 Subject: IJCAR 2020 - Call for Papers Message-ID: =============================================================================== CALL FOR PAPERS IJCAR 2020 The 10th International Joint Conference on Automated Reasoning Paris, France, June 29-July 5, 2020 https://ijcar2020.org =============================================================================== IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR 2020 technical program will consist of presentations of high-quality original research papers, short papers describing interesting work in progress, system descriptions, and invited talks. IJCAR 2020 (+ workshops, tutorials, etc.) will take place in Paris (France) from June 29 to July 5 2020. It will be co-located with the conference FSCD. IJCAR 2020 is the merger of leading events in automated reasoning: * CADE (Conference on Automated Deduction) * FroCoS (Symposium on Frontiers of Combining Systems) * ITP (International Conference on Interactive Theorem Proving) * TABLEAUX (Conference on Analytic Tableaux and Related Methods) TOPICS ====== IJCAR 2020 invites submissions related to all aspects of automated or interactive reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems or proof assistants are solicited. IJCAR topics include the following ones: * Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, type theory. * Methods of interest include: tableaux, sequent calculi, resolution, model- elimination, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, automated theorem proving, combination of decision or proof procedures, SAT and SMT solving, integration of proof assistants with automated provers and other symbolic tools, etc. * Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, education, formalization of mathematics etc. The proceedings of IJCAR 2020 will be published by Springer in the LNAI/LNCS series (www.springer.com/lncs). IMPORTANT DATES =============== * Abstract submission: January 16, 2020 * Paper submission: January 23, 2020 * Rebuttal: March 6-10, 2020 * Notification: March 20, 2020 * Final version of papers due: April 10, 2020 * IJCAR Conference + Workshops: June 29 - July 5, 2020 SUBMISSION GUIDELINES ===================== Submission is electronic, through https://easychair.org/conferences/?conf=ijcar2020 Authors are strongly encouraged to use LaTeX and the Springer "llncs" format, which can be obtained from http://www.springer.de/comp/lncs/authors.html We solicit three categories of submissions: REGULAR PAPERS. Submissions, not exceeding fifteen (15) pages excluding bibliography, should contain original research, and sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and software available with their submission for reproducibility. In particular submissions describing formal proofs are expected to be accompanied by the source files of the formalization. The PC will take availability of software and data into account when evaluating submissions. Submissions reporting on case studies in an industrial context are strongly invited, and should describe details, weaknesses and strength in sufficient depth. Simultaneous submission to other conferences with proceedings or submission of material that has already been published elsewhere is not allowed. SYSTEM DESCRIPTIONS. Submissions, not exceeding seven (7) pages excluding bibliography, should describe the implemented tool and its novel features. Submissions in this category should bear the phrase "(system description)" beneath the title. One author is expected to be able to perform a demonstration on demand to accompany a tool presentation. Papers describing tools that have already been presented in other conferences before will be accepted only if significant and clear enhancements to the tool are reported and implemented. SHORT PAPERS. Submissions, not exceeding five (5) pages excluding bibliography, and describing interesting work in progress. Such a preliminary report may consist of an extended abstract. Each of these papers should bear the phrase "(short paper)" beneath the title. Accepted submissions in this category will be presented as short talks and published in the main proceedings. There will be no downgrading from regular papers or system descriptions to short papers. All submissions should meet high academic standards; proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. BEST PAPER AWARD ================ IJCAR 2020 will recognize the most outstanding submission with a best paper award at the conference. STUDENT TRAVEL AWARDS ==================== Woody Bledsoe Travel Awards will be available to support selected students attending the conference. SPECIAL ISSUE ============= The authors of a selection of the best IJCAR 2020 papers will be invited to submit an extended version of their paper after the conference, to be published in a special issue of Logical Methods in Computer Science. ORGANIZATION ============ Conference Chair: * Kaustuv Chaudhuri (INRIA, Ecole Polytechnique) Programme Chairs: * Nicolas Peltier (CNRS, LIG, Univ. Grenoble Alpes, Grenoble France), * Viorica Sofronie-Stokkermans (University Koblenz-Landau, Koblenz, Germany) Workshop, Tutorial and Competition Chairs: * Giulio Manzonetto (Université Paris-Nord, France) * Andrew Reynolds (University of Iowa, USA) Programme Committee: * Takahito Aoto (Niigata University, Japan) * Carlos Areces (FaMAF Universidad Nacional de Cordoba, Argentina) * Jeremy Avigad (Carnegie Mellon University, USA) * Franz Baader (TU Dresden, Germany) * Peter Baumgartner (Data 61 and CSIRO, Australia) * Christoph Benzmüller (Freie Universität Berlin, Germany) * Armin Biere (Johannes Kepler University Linz, Austria) * Nikolaj Bjorner (Microsoft Research, USA) * Jasmin Blanchette (Vrije Universiteit Amsterdam, Netherlands) * Maria Paola Bonacina (Universita degli Studi di Verona, Italy) * James Brotherston (University College London, UK) * Serenella Cerrito (IBISC, Univ. Evry, Paris Saclay University, France) * Agata Ciabattoni (Vienna University of Technology, Austria) * Koen Claessen (Chalmers University of Technology, Gothenburg, Sweden) * Leonardo de Moura (Microsoft Research, USA) * Stéphane Demri (CNRS, LSV, ENS Paris-Saclay, France) * Gilles Dowek (Inria and ENS Paris-Saclay, France) * Marcelo Finger (University of São Paulo, Brazil) * Pascal Fontaine (Universite de Lorraine, CNRS, Inria, LORIA, France) * Didier Galmiche (Universite de Lorraine - LORIA, France) * Silvio Ghilardi (Universita degli Studi di Milano, Italy) * Martin Giese (Universitetet i Oslo, Norway) * Juergen Giesl (RWTH Aachen University, Germany) * Valentin Goranko (Stockholm University, Sweden) * Rajeev Gore (The Australian National University, Australia) * Stefan Hetzl (Vienna University of Technology, Austria) * Marijn J. H. Heule (The University of Texas at Austin, USA) * Cezary Kaliszyk (University of Innsbruck, Austria) * Deepak Kapur (University of New Mexico, USA) * Laura Kovacs (Vienna University of Technology, Austria) * Christopher Lynch (Clarkson University, USA) * Assia Mahboubi (Inria, France) * Panagiotis Manolios (Northeastern University, USA) * Dale Miller (Inria and LIX/Ecole Polytechnique, France) * Claudia Nalon (University of Brasilia, Brazil) * Tobias Nipkow (Technical University of Munich, Germany) * Albert Oliveras (Universitat Politècnica de Catalunya, Spain) * Jens Otten (University of Oslo, Norway) * Lawrence Paulson (University of Cambridge, UK) * Frank Pfenning (Carnegie Mellon University, USA) * Andrei Popescu (Middlesex University London, UK) * Andrew Reynolds (University of Iowa, USA) * Christophe Ringeissen (LORIA-INRIA, France) * Katsuhiko Sano (Hokkaido University, Japan) * Renate Schmidt (The University of Manchester, UK) * Stephan Schulz (DHBW Stuttgart, Germany) * Roberto Sebastiani (DISI, University of Trento, Italy) * Martin Suda (Czech Technical University, Czech Republic) * Geoff Sutcliffe (University of Miami, USA) * Sofiene Tahar (Concordia University, Canada) * Cesare Tinelli (The University of Iowa, USA) * Christian Urban (King's College London, UK) * Josef Urban (Czech Technical University in Prague, Czech Republic) * Uwe Waldmann (Max Planck Institute for Informatics, Germany) * Christoph Weidenbach (Max Planck Institute for Informatics, Germany) From mpavone at dmi.unict.it Thu Oct 24 10:38:55 2019 From: mpavone at dmi.unict.it (Mario Pavone) Date: Thu, 24 Oct 2019 10:38:55 +0200 Subject: MESS 2020 :: Metaheuristics Summer School - Learning & Optimization from Big Data Message-ID: 1st Call for Participation (apologies for multiple copies) ----------------------------------------------------------------------- MESS 2020 - Metaheuristics Summer School ~ Learning & Optimization from Big Data ~ 27-31 July 2020, Catania, Italy https://www.ANTs-lab.it/mess2020/ mess.school at ANTs-lab.it ----------------------------------------------------------------------- ** APPLICATION DEADLINE: 5th March 2020 ** MESS 2020 is aimed at qualified and strongly motivated MSc and PhD students; post-docs; young researchers, and both academic and industrial professionals to provide an overview on the several metaheuristics techniques, and an in-depth analysis of the state-of-the-art. The main theme of the 2020 edition is ?Learning and Optimization from Big Data?, therefore MESS 2020 wants to focus on (i) Learning for Metaheuristics; (ii) Optimization in Machine Learning; and (iii) how Optimization and Learning affect the Metaheuristics making them relevant in handling Big Data. The courses will be held by world renowned experts in the field, and will be inspected practical aspects on complex combinatorial optimization problems, as well as examples of their successful real-world applications. The participants will have plenty of opportunities for debate and work with leaders in the field, benefiting from direct interaction and discussions in a stimulating environment. They will also have the possibility to present their recently results and/or their working in progress through oral or poster presentations, and interact with their scientific peers, in a friendly and constructive environment. MESS 2020 will involve a total of 36-40 hours of lectures, therefore in according to the academic system, all PhD and master students attending to the summer school will may get 8 ECTS points. Further, during the summer school the students will tackle homework, or project development. MESS 2020 will take place at the ?Palazzo delle Scienze?, today place of the Department of Economics and Business of the University of Catania. ** MESS 2020 Workshop All participants may submit an abstract of their recent results, or works in progress, for presentation and having the opportunities for debate and interact with leaders in the field. Workshop Organizers and Scientific Committee will review the abstracts and will recommend for the format of the presentation (oral or poster). All abstracts will be published on the electronic hands-out book of the summer school. The Abstracts must be submitted by *March 5, 2020*. ** MESS 2020 Metaheuristics Competition All participants to the school will be involved in the ?Metaheuristics Competition?, where each of them, individually or divided in working groups, they will must develop a metaheuristic solution on the given problem. The top three of the competition ranking will receive the MESS 2020 prize. Further, the students, whose algorithms will rank in the five top of the competition ranking, will be invited to submit a report/manuscript of their work to be published in the special MESS 2020 Volume of the AIRO Springer Series. ** School Directors + Salvatore Greco, University of Catania, Italy + Ender Ozcan, University of Nottingham, UK + Mario Pavone, University of Catania, Italy + El-Ghazali Talbi, University of Lille 1, France + Daniele Vigo, University of Bologna, Italy https://www.ANTs-lab.it/mess2020/ -- mess.school at ANTs-lab.it Facebook Group: https://www.facebook.com/groups/MetaheuristicsSchool/ Twitter: https://twitter.com/MESS_school -- Mario F. Pavone, PhD Associate Professor Dept of Mathematics and Computer Science University of Catania V.le A. Doria 6 - 95125 Catania, Italy --------------------------------------------- tel: +39 095 7383034 Email: mpavone at dmi.unict.it http://www.dmi.unict.it/mpavone/ FB: https://www.facebook.com/mfpavone Skype: mpavone ============================================= From bm3302 at rit.edu Thu Oct 24 10:38:55 2019 From: bm3302 at rit.edu (Behrooz Mansouri (RIT Student)) Date: Thu, 24 Oct 2019 10:38:55 +0200 Subject: Text2Story Workshop @ECIR2020 | Call for Papers Message-ID: ++ CALL FOR PAPERS ++ ****************************************************************************************** Third International Workshop on Narrative Extraction from Texts (Text2Story'20) held in conjunction with the 42nd European Conference on Information Retrieval (ECIR'20) Lisbon, Portugal, April 14th, 2020 Website: http://text2story20.inesctec.pt ****************************************************************************************** ++ Important Dates ++ - Submission deadline: January 10th, 2020 - Acceptance Notification Date: February 18th, 2020 - Camera-ready copies: March 23rd, 2020 - Workshop: April 14th, 2020 ++ Overview ++ Building upon the success of the previous two editions of the workshop (Text2Story at ECIR’18 and Text2Story at ECIR’19), and the subsequent special issue hosted at IPM journal [ https://www.sciencedirect.com/journal/information-processing-and-management/vol/56/issue/5], we will organize the third edition of the Text2Story Workshop on Narrative Extraction from Texts at ECIR’20. Although the understanding of natural language has improved over the last couple of years - with research works emerging on the grounds of information extraction and text mining - the problem of constructing consistent narrative structures is yet to be solved. ++ List of Topics ++ In the third edition of the workshop, we aim to discuss scientific advances on all aspects of storyline identification from texts including but not limited to narrative extraction and understanding, content generation, formal representation, and visualization of narratives. This includes the following topics (not necessarily complete): - Event Identification - Narrative Representation - Information Retrieval Models based on Story Evolution - Narrative-focused Search in Text Collections - Temporal Information Retrieval and Narrative Extraction - Sentiment and Opinion Detection - Argumentation Mining - Narrative Summarization - Multi-modal Summarization - Storyline Visualization - Temporal Aspects of Storylines - 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 - Models for detection and removal of bias in generated stories - Ethical and fair narrative generation - Fact Checking - Bots Influence - Bias in Text Documents - Automatic Timeline Generation - Narratives for explainable AI ++ Submission Guidelines ++ We invite two kinds of submissions: - Research papers (max 7 pages + references) - Demos and position papers (max 5 pages + references) Papers must be submitted electronically in PDF format through EasyChair ( https://easychair.org/conferences/?conf=text2story2020). All submissions must be in English and formatted according to Springer LNCS style ( http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines ) Submissions will be peer-reviewed by at least two members of the programme committee. The accepted papers will appear in the proceedings published at CEUR workshop proceedings (usually indexed on DBLP). ++ Workshop Format ++ Participants of accepted papers will be given 15 minutes for oral presentations. All papers will also be presented in an interactive poster session. ++ Invited Speakers ++ TBA ++ Organizing committee ++ Ricardo Campos (INESC TEC; Ci2 - Smart Cities Research Center, Polytechnic Institute of Tomar, Tomar, Portugal) Alípio M. Jorge (INESC TEC; University of Porto, Portugal) Adam Jatowt (Kyoto University, Japan) Sumit Bhatia (IBM Research AI, India) ++ Proceedings Chair ++ − Conceição Rocha (INESC TEC) − João Paulo Cordeiro (INESC TEC; University of Beira Interior) ++ Web Chair ++ − Arian Pasquali (INESC TEC) ++ Dissemination Chair ++ − Behrooz Mansouri (Rochester Institute of Technology) ++ Program Committee ++ Álvaro Figueira (INESC TEC & University of Porto) Andreas Spitz (École polytechnique fédérale de Lausanne) António Horta Branco (University of Lisbon) Arian Pasquali (Signal AI) Bruno Martins (IST and INESC-ID - Instituto Superior Técnico, University of Lisbon) Daniel Gomes (FCT/Arquivo.pt) Daniel Loureiro (INESC TEC & University of Porto) Denilson Barbosa (University of Alberta) Dhruv Gupta (Max Planck Institute for Informatics) Dwaipayan Roy (ISI Kolkata, India) Dyaa Albakour (Signal AI) Gaël Dias (Normandie University) Henrique Lopes Cardoso (University of Porto) Ismail Sengor Altingovde (Middle East Technical University) Jeffery Ansah (BHP) Jeremy Pickens (OpenText) João Magalhães (Universidade Nova de Lisboa) Ludovic Moncla (INSA Lyon) Marc Spaniol (Université de Caen Normandie) Mark Finlayson (Florida International University) Mengdie Zhuang (The University of Sheffield) Nina Tahmasebi (University of Gothenburg) Nuno Moniz (LIAAD/INESC TEC) Pablo Gamallo (University of Santiago de Compostela) Paulo Quaresma (Universidade de Évora) Preslav Nakov (Qatar Computing Research Institute (QCRI)) Ross Purves (University of Zurich) Satya Almasian (Heidelberg University) Sebastiao Miranda (Priberam) Sérgio Nunes (INESC TEC & University of Porto) Udo Kruschwitz (University of Essex) Vítor Mangaravite (UFMG) Yihong Zhang (Kyoto University) ++ Contacts ++ Website: http://text2story20.inesctec.pt For general inquiries regarding the workshop, reach the organizers at: ricardo.campos at ipt.pt, amjorge at fc.up.pt, adam at dl.kuis.kyoto-u.ac.jp, sumitbhatia at in.ibm.com -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nicola.olivetti at univ-amu.fr Thu Oct 24 10:38:55 2019 From: nicola.olivetti at univ-amu.fr (OLIVETTI Nicola) Date: Thu, 24 Oct 2019 10:38:55 +0200 Subject: AiML 2020, FIrst Call for Papers In-Reply-To: <97fd34b1892a47d4aeb2c7c71ce86c7a@univ-amu.fr> References: ,<97fd34b1892a47d4aeb2c7c71ce86c7a@univ-amu.fr> Message-ID: 13TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC HELSINKI, 17 AUGUST -- 21 AUGUST 2020 https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net AiML 2020 is the 13th conference in the series. TOPICS We invite submissions on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - automated reasoning for modal logics - computational aspects of modal logic (complexity and decidability of modal and temporal logics, model checking, model generation) - theoretical aspects of modal logic (topological/algebraic/categorical perspectives on modal logic, co-algebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed-point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, conditional logics, spatial and temporal logics, hybrid logic, intuitionistic (modal) logics, intermediate logics, bunched implication and separation logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions for AiML 2020: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at: https://easychair.org/conferences/?conf=aiml2020 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML 2020 will be published by College Publications (http://www.collegepublications.co.uk) in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML 2020 website: https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 in due time. Authors must submit an abstract in plain text via EasyChair by the abstract deadline prior to full submission of their paper. The presentations of accepted full papers will be 30 minutes long. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS To be announced PROGRAM COMMITTEE - Natasha Alechina, University of Nottingham - Maria Aloni, University of Amsterdam - Philippe Balbiani, CNRS, IRIT Toulouse - Guram Bezhanishvili, New Mexico State University - Marta Bílková, Charles University Prague - Patrick Blackburn, University of Roskilde - Agata Ciabattoni, TU Wien - Giovanna Corsi, University of Bologna - Giovanna D'Agostino, University of Udine - Stéphane Demri, CNRS, LSV, ENS Paris-Saclay - Hans van Ditmarsch, CRNS, LORIA Nancy - David Fernández-Duque, Ghent University - David Gabelaia, TSE Razmadze Mathematical Institute - Didier Galmiche, LORIA, University of Lorraine - Silvio Ghilardi, University of Milan - Valentin Goranko, Stockholm University - Rajeev Goré, The Australian National University - Davide Grossi, University of Groningen - Helle Hvid Hansen, Delft University of Technology - Wesley Holliday, UC Berkeley - Agi Kurucz, King's College London - Roman Kuznets, TU Wien - Carsten Lutz, University of Bremen - George Metcalfe, University of Bern - Larry Moss, Indiana University - Cláudia Nalon, University of Brasilia - Sara Negri, University of Helsinki - Eric Pacuit, University of Maryland - Xavier Parent, University of Luxembourg - Valeria De Paiva, Samsung Research America, Birmingham University - Sophie Pinchinat, IRISA, University of Rennes I - Mark Reynolds, The University of Western Australia - Renate Schmidt, University of Manchester - Ilya Shapirovsky, Institute for the Information Transmission Problems - Valentin Shehtman, Institute for the Information Transmission Problems - Thomas Studer, University of Bern - Sara L. Uckelman, Durham University - Yde Venema, University of Amsterdam - Yanjing Wang, Peking University - Michael Zakharyashev, Birbeck University of London. PROGRAMME COMMITTEE CHAIRS Nicola Olivetti (LIS, Aix-Marseille University) Rineke Verbrugge (University of Groningen) LOCAL ORGANIZING COMMITTEE Sara Negri, University of Helsinki (chair) Gabriel Sandu, University of Helsinki (co-chair) Fausto Barbero Annika Kanckos Eugenio Orlandelli Edi Pavlovic IMPORTANT DATES Abstracts of full papers submission deadline: 11 March 2020 Full papers submission deadline: 18 March 2020 Full papers acceptance notification: 18 May 2020 Short presentations submission deadline: 25 May 2020 Short presentations acceptance notification: 8 June 2020 Final version of full papers and short presentations due: 11 June 2020 Conference: 17 August -- 21 August 2020 FURTHER INFORMATION Please see https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020 ENQUIRIES E-mail enquiries should be directed to the PC chairs, sent to aiml2020 at easychair.org -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Oct 24 10:38:55 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 24 Oct 2019 10:38:55 +0200 Subject: BigDat 2020: early registration October 27 Message-ID: BigDat 2020: early registration October 27*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 27, 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 1 keynote lecture and 22 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 SPEAKER: (to be completed)   PROFESSORS AND COURSES:   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   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Private Data Analytics at Scale   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate/advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Machine Learning Methods for Big Microbiome Data Analysis   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 That Exploits Massively Parallel Computing – An Overview of Concepts, Architectures and Neural Network Algorithm Implementation   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jaideep Srivastava (University of Minnesota), [introductory/intermediate] Social Computing   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 are available at   https://bigdat2020.irdta.eu/accommodation/   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 evostarpub at gmail.com Thu Oct 31 10:01:01 2019 From: evostarpub at gmail.com (Pub EvoStar) Date: Thu, 31 Oct 2019 10:01:01 +0100 Subject: Deadline Extension: EvoApps Special Session on Evolutionary Machine Learning Message-ID: Please distribute (Apologies for cross-posting) NEWS: Due to a large number of requests for late submissions, the EvoStar submission sites will stay open until Friday, November 15, after which no further submissions will be accepted. Authors who have already submitted, can update their work until this time. -------------------------------------------------------- EvoApps Special Session on Evolutionary Machine Learning http://www.evostar.org/2020/evoapps/eml/ April 15 - 17, 2020 Seville, Spain held as part of EvoStar (http://www.evostar.org) -------------------------------------------------------- The Special Session on Evolutionary Machine Learning (EML) of Evo Apps will provide a specialized forum of discussion and exchange of information for researchers interested in exploring approaches that combine nature and nurture, with the long-term goal of evolving Artificial Intelligence (AI). Giving response to the growing interest in the area, and consequent advances of the state-of-the-art, the special session covers theoretical and practical advances on the combination of Evolutionary Computation (EC) and Machine Learning (ML) techniques. Topics of interest include, but are not limited to: - EC as an ML technique: Using EC to solve typical ML tasks such as Classification or Clustering - EC applied ML algorithms: Neuroevolution, Feature Selection, Feature Engineering, Evolutionary Adversarial Models - ML applied to EC: Surrogate-model design by ML for EC, Learning Problem Structure, ML for Diversity, Designing Search Strategies, Predicting Promising Regions, Using ML to Decrease Computational Effort - Real world applications issues: EC for Fairness, Robustness, Trustworthiness and Explainability, Green EML - Emerging topics: EC for AutoML; EC for Transfer Learning; EC for Multitasking; Evolving Learning Functions, Neurons and Linkage; EC for Verification and Validation of ML Important Dates Submission deadline: 15 November 2019 Evo*: 15-17 April 2020 Submission details: Submissions must be original and not published elsewhere. They will be peer reviewed by members of the program committee. The reviewing process will be double-blind, so please omit information about the authors in the submitted paper. Submit your manuscript in Springer LNCS format and provide up to five keywords in your Abstract. Page limit: 16 pages Submission link: https://easychair.org/conferences/?conf=evo2020 Organizers Penousal Machado Wolfgang Banzhaf -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From evomusart at gmail.com Thu Oct 31 10:01:01 2019 From: evomusart at gmail.com (=?UTF-8?Q?Jo=C3=A3o_Correia?=) Date: Thu, 31 Oct 2019 10:01:01 +0100 Subject: [EXTENDED DEADLINE] Call for papers for the 9th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) Message-ID: ------------------------------------------------ [EXTENDED DEADLINE] Call for papers for the 9th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) Please distribute (Apologies for cross-posting) ------------------------------------------------ The 9th International Conference on Artificial Intelligence in Music, Sound, Art and Design (EvoMUSART) will be held in Seville, Spain, on 15-17 April 2020, as part of the evo* event. SPECIAL ISSUES: There are two special issues on JCR journals associated to EvoMUSART: "Neural Computing and Applications" (Q1, IF: 4.66) and "Entropy" (Q2, IF: 2.419). See EvoMUSART 2020 webpage for more information on these special issues. The main goal of EvoMUSART is to bring together researchers who are using Artificial Intelligence techniques (e.g. artificial neural network, evolutionary computation, swarm, cellular automata, alife) for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Accepted papers will be published by Springer Verlag in the Lecture Notes in Computer Science series. IMPORTANT DATES Extended! Submission deadline: 15 November 2019 Evo*: 15-17 April 2020 We welcome submissions which use Artificial Intelligence techniques in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format. Each submission must be anonymised for a double-blind review process. The deadline for submission is 1 November 2019. Accepted papers will be presented orally or as posters at the event and included in the EvoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; * Systems that create artefacts such as game content, architecture, furniture, based on aesthetic and/or functional criteria; * Systems that resort to artificial intelligence to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; * Systems in which artificial intelligence is used to promote the creativity of a human user; * Theories or models of computational aesthetics; * Computational models of emotional response, surprise, novelty; * Representation techniques for images, videos, music, etc.; * Surveys of the current state-of-the-art in the area; * New ways of integrating the user in the process (e.g. improvisation, co-creation, participation). More information on the submission process and the topics of EvoMUSART can be found at: http://www.evostar.org/2020/cfp_evomusart.php Papers published in EvoMUSART can be found at: https://evomusart-index.dei.uc.pt We look forward to seeing you in Seville in 2020! The EvoMUSART 2020 organisers Juan Romero Aniko Ekart Tiago Martins (publication chair) From irdta at irdta.eu Thu Oct 31 10:01:01 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 31 Oct 2019 10:01:01 +0100 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 rl.stpuu at gmail.com Thu Oct 31 10:01:01 2019 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Thu, 31 Oct 2019 10:01:01 +0100 Subject: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2020 Message-ID: CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2020 22 - 24 February, 2020 - Valletta, Malta http://www.icaart.org/NLPinAI.aspx?y=2020 http://www.icaart.org/NLPinAI.aspx Special Session within the 12th International Conference on Agents and Artificial Intelligence - ICAART 2020 http://www.icaart.org ------------------------------------------------------------- SCOPE Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - 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 processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES aper Submission: December 19, 2019 Authors Notification: January 9, 2020 Camera Ready and Registration: January 17, 2020 PAPER SUBMISSION: Prospective authors are invited to submit papers in any of the topics listed above. Instructions for preparing the manuscript (in Word and Latex formats) are available at: Paper Templates http://www.icaart.org/Templates.aspx Please also check the Guidelines http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the button SUBMIT PAPER on the pages of NLPinAI 2020. PUBLICATIONS After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Semantic Scholar and Google Scholar. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2020. ------------------------------------------------------------- CHAIR: Roussanka Loukanova Sweden and Bulgaria CONTACT: Roussanka Loukanova (rloukanova the special symbol gmaildotcom) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: