From ijcci at insticc.info Thu May 2 09:28:14 2019 From: ijcci at insticc.info (ijcci at insticc.info) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: CFP IJCCI 2019 - 11th Int.l Joint Conf. on Computational Intelligence (Vienna/Austria) Message-ID: SUBMISSION DEADLINE 11th International Joint Conference on Computational Intelligence Submission Deadline: May 20, 2019 http://www.ijcci.org/ September 17 - 19, 2019 Vienna, Austria. IJCCI is organized in 4 major tracks: - Evolutionary Computation - Fuzzy Computation - Neural Computation - Cognitive and Hybrid Systems In Cooperation with: AI*IA, APPIA, ERCIM and APRP. Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS, Semantic Scholar and Google Scholar. With the presence of internationally distinguished keynote speakers: Pietro Oliveto, University of Sheffield, United Kingdom Marco Dorigo, Université Libre de Bruxelles, Belgium A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don't hesitate contacting me. Kind regards, IJCCI Secretariat Address: Avenida de S. Francisco Xavier, Lote 7 Cv. L 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.ijcci.org/ e-mail: ijcci.secretariat at insticc.org From ricardo.campos at ipt.pt Thu May 2 09:28:14 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: ECIR 2020 Call for Papers Message-ID: ECIR 2020 :: 42nd European Conference on Information Retrieval http://www.ecir2020.org/ Lisbon April 14 -17, 2020 ===================== The European Conference on Information Retrieval is the prime European forum for the presentation of original research in the field of Information Retrieval. ECIR 2020 is seeking high-quality and original submissions on theory, experimentation, and practice regarding the retrieval, representation, management, and usage of textual, visual and multi-modal information. ECIR strongly supports user, system, application, and evaluation focused papers: * User aspects including information interaction, contextualisation, personalisation, simulation, characterisation, and information behaviours. * System aspects including retrieval and recommendation algorithms, machine learning, deep learning, content representation, natural language processing, system architectures, and efficiency methods. * Applications such as search and recommender systems, web and social media apps, domain specific search (professional, bio, chem, etc.), novel interfaces, intelligent search agents/bots, and related innovative search tools. * Evaluation research including new measures and novel methods for the measurement and evaluation of users, systems and/or applications. In addition to these traditional topic areas, ECIR 2020 will be encouraging the submissions of papers on a specialised theme (eHealth, DeepLearning, education IR etc.) Full Paper Track ===================== The Full paper track provides the opportunity for researchers to present their state of the art research in Information Retrieval, which makes, or have the potential to make, a significant contribution to the field. Full paper submissions should be 12 pages in length plus additional pages for references. NEW!!!: As of 2020, a selection of the best papers at ECIR will be published in a special issue of the Information Retrieval Journal. Information Retrieval Journal ===================== Selected papers from ECIR 2020 will be published in a special issue of the Information Retrieval Journal in early 2021. 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. Full papers (e.g. main paper track and reproducibility track) are up to 12 pages in length plus additional pages for references, 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. Full paper and short paper submissions will be refereed through double-blind peer review. Demonstration papers will undergo single-blind review. Accepted full papers, 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 full papers, short papers, and demos papers will have to be presented at the conference--and at least one author will be required to register. Timeline ===================== Workshop submission: 1 September 2019 Workshop notifications: 1 October 2019 Full paper submission: 1 October 2019 Short paper submission: 15 October 2019 Demo submission: 15 October 2019 Doctoral consortium submission: 15 December 2019 Full/short/demo notifications: 30 November 2019 Camera-ready copy: 27 December 2019 Tutorials submission: 15 November 2019 Tutorials notifications: 15 December 2019 Workshops and tutorials: 14 April 2020 Main Conference: 15-17 April 2020 From Nicolas.Troquard at unibz.it Thu May 2 09:28:14 2019 From: Nicolas.Troquard at unibz.it (Troquard Nicolas) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: [Cfp] BOG 2019: Bad Ontology workshop Message-ID: CALL FOR PAPER ============================================= BOG: BadOntoloGy http://bog.inf.unibz.it/ 2nd International Workshop on Bad Or Good Ontology, part of the Joint Ontology Workshops (JOWO 2019), held between September 23-25, 2019, in Graz, Austria Submission deadline: May 31, 2019 ============================================= As ontologies are used in more domains and applications and as they grow in size, the consequences of bad ontology design become more critical. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns, or simply be incomprehensible. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible. Programmers have had access to various tools, such as debuggers or linters, to help identify stylistic errors, suspicious constructs, or logical errors, to avoid bad program design. Similar methods and tools are needed for ontology engineering. This workshop aims to bring together research on all aspects to bad or good ontology design, including use cases and systematic reviews of bad or good ontology design, techniques and tools for diagnosing, explaining, and repairing bad ontologies, and approaches or benchmarks for evaluating such techniques. We welcome original contributions about all topics related to bad or good ontologies, including but not limited to: - systematic analysis of ontologies for symptoms of bad ontology design - cataloguing of symptoms of bad ontology design - methods for detecting or explaining symptoms - metrics and methods to gauge ontology quality - design methods that likely result in bad ontologies - principled methods to avoid building bad ontologies - benchmarks of bad or good ontologies for evaluating diagnostic and repairing methods. Submissions: ========== Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/. Submissions should be uploaded via EasyChair. They can be accepted for publication as: Short papers: between 5 - 7 pages. Regular papers: between 10 - 12 pages. Submission page: https://easychair.org/conferences/?conf=jowo2019 (Select the “BOG” track) Publication: ========= Articles will be published in the IAOA subseries of the CEUR workshop proceedings. See previous edition here http://ceur-ws.org/Vol-2205/. Schedule: ======== - May 31, 2019: Paper submission deadline - June 30, 2019: Acceptance notification - Sept 23-25, 2019: JOWO 2019 Organizing committee: ================= Torsten Hahmann - University of Maine, USA Rafael Peñaloza - University of Milano-Bicocca, Italy Stefan Schulz - Medical University of Graz, Austria Giancarlo Guizzardi - University of Bozen-Bolzano, Italy Oliver Kutz - University of Bozen-Bolzano, Italy Nicolas Troquard - University of Bozen-Bolzano, Italy Program Committee: ================ Claudia d'Amato - University of Bari João Paulo Almeida - Federal University of Espirito Santo Werner Ceusters - SUNY at Buffalo Ricardo A. Falbo - Federal University of Espirito Santo Aldo Gangemi - Università di Bologna & CNR-ISTC Zubeida Khan - Council for Scientific and Industrial Research, Pretoria, South Africa Fabian Neuhaus - University of Magdeburg María Poveda-Villalón - Universidad Politécnica de Madrid Catherine Roussey - Irstea Uli Sattler - The University of Manchester Claudia Schon - Universität Koblenz-Landau -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu May 2 09:28:14 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: SLSP 2019: 3rd call for papers Message-ID: SLSP 2019: 3rd 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 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/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS: (to be completed)   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From radicion at di.unito.it Thu May 2 09:28:14 2019 From: radicion at di.unito.it (daniele radicioni) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: Second Call for Papers - Contextual Representation of Events and Objects in Language - CREOL@JOWO2019 Message-ID: # CREOL at JOWO2019 Call for Papers ## Contextual Representation of Events and Objects in Language ### http://creol2019.di.unito.it Graz, Austria, September 23-25, 2019 The Joint Ontology WOrkshops (JOWO, https://www.iaoa.org/jowo/2019/) is a venue of workshops that, together, address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. ### SCOPE CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between the semantic representation of objects and events and their context, from an ontological and linguistic perspective. Dealing with context is a key factor in the conceptualisation of human experience, and thus a major issue for understanding natural language. It is well known that some properties of objects and events may be activated according to their context of occurrence, and thus determine selective access to salient aspects. Current ontologies and lexicons (e.g. DOLCE [1], Unified Verb Index [2])) offer limited (meaning) representations of events and objects that then may find different realisations in text. Additionally, the growing interest towards multimodal information systems requires devising approaches and resources aimed at representing context by considering different sources (e.g., textual description, image, video) as a whole. Contextual access to objects and events needs to be investigated at its interface with language and visual scene, as well. Recently, several advanced approaches have been proposed to model meaning representations of lexical items in their context (e.g., Deep contextualised word representations [3]). Likewise, approaches and resources have been designed to represent and make explicit the relations intervening between objects in scenes depicting events (e.g., Visual Genome [4]). Moreover, established theories of meaning representation allow for the representation of context to varying extent (e.g., Abstract Meaning Representation [5], Discourse Representation Theory [6]). The goal of this workshop is to promote and discuss the design of ontologies, linguistic resources, and computational methods that treat context as a primary focus of interest. [1] Gangemi et al. (2002) “Sweetening Ontologies with DOLCE” [2] Trumbo (2006) “Increasing the usability of research lexica” [3] Peters et al. (2018) “Deep contextualized word representations” [4] Krishna et al. (2017) "Visual genome: Connecting language and vision using crowdsourced dense image annotations" [5] Banarescu et al. (2013) “Abstract Meaning Representation for Sembanking” [6] Kamp and Reyle (1993) “From Discourse to Logic” ### SUBMISSION We solicit contributions of up to 8 pages plus references. All submissions must be in PDF format and must follow the IOS Press FOIS formatting guidelines, available at https://goo.gl/qkTpT7. All accepted contributions will appear in the proceedings, which will be published by CEUR. (For previous editions of the JOWO proceedings, see www.iaoa.org/jowo/). ### APPLICATION AREAS Contributions are solicited that cover a variety of topics, including but not limited to: - ontologies of objects, qualities, and events; - context-aware ontologies and ontologies of context; - theoretical foundations for the use of AI techniques to deal with context and with changing/evolving objects and events; - KR frameworks to represent mutable/evolving objects and events, including formal ontologies, conceptual spaces and distributed representations; - formal methods for reasoning in evolving scenarios; - theoretical, methodological, experimental, and application-oriented aspects of knowledge engineering and knowledge management centered on events and evolving objects; - linguistic approaches to context analysis; - context-aware lexical resources to describe events; - context-aware topic and event detection and tracking, knowledge discovery; - context-aware frame semantics, and ontology-based frame design; - context in typicality-based knowledge; - contextual knowledge for eXplainable AI; - formal ontologies and models for context-aware accountability; - entity linking, keyword linking, word sense disambiguation; - context-aware multimodal resources and applications; - contextualised meaning representations (formal and distributional); - use cases (such as Natural Language Processing, Computer Vision, Robotics) and application scenarios (e.g., in law, medicine) where contextual information impacts on concepts/events representation and processing. ### IMPORTANT DATES - May 15, 2019 - Submission of contributions to workshops - July 1 , 2019 - Workshop paper acceptance notification - August 1, 2019 - Deadline for final camera ready - September 23-25, 2019 - CREOL at JOWO ### WORKSHOP ORGANIZERS Valerio Basile, University of Turin, Italy Tommaso Caselli, University of Groningen, NL Daniele P. Radicioni, University of Turin, Italy Andrea Amelio Ravelli, University of Florence, Italy ### PROGRAM COMMITTEE Stefano Borgo, Laboratory for Applied Ontology, ISTC-CNR, Trento Dagmar Gromann, TU Dresden Nicola Guarino, ISTC-CNR Roser Morante, Vrije Universiteit Amsterdam Alessandro Oltramari, Bosch Research and Technology Center Sara Tonelli, Fondazione Bruno Kessler Fabio Massimo Zanzotto, University of Rome Tor Vergata (more to come) : : : : : : : : : : : : : : : : : : : Daniele Radicioni, PhD Department of Computer Science University of Turin Corso Svizzera, 185 10149 - Torino phone: +39 011 6706802 fax: +39 011 751603 http://www.di.unito.it/~radicion From vesic at cril.fr Thu May 2 09:28:14 2019 From: vesic at cril.fr (Srdjan Vesic) Date: Thu, 02 May 2019 09:28:14 +0200 Subject: ECSQARU 2019 last call: abstract submission deadline May 3rd Message-ID: ******************************************************************************** 3rd CALL FOR PAPERS Fifteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2019 September 18-20, 2019 Belgrade (Serbia) http://www.mi.sanu.ac.rs/~ecsqaru2019/ Invited Speakers: Fabio Gagliardi Cozman, University of Sao Paulo Lluís Godo, Artificial Intelligence Research Institute (IIIA), CSIC Francesca Toni, Imperial College London ******************************************************************************** The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Previous ECSQARU events have been held in Marseille (1991), Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001), Aalborg (2003), Barcelona (2005), Hammamet (2007), Verona (2009), Belfast (2011), Utrecht (2013), Compiègne (2015), and Lugano (2017). ::: SCOPE ::: For ECSQARU 2019 we invite submissions of original papers on topics which include but are not limited to: - Algorithms for uncertain inference - Applications of uncertain systems - Argumentation systems - Automated planning and acting under uncertainty - Belief functions - Belief change & merging - Classification & clustering - Decision theory & decision graphs - Default reasoning - Description logics with uncertainty - Foundations of reasoning under uncertainty - Fuzzy sets & fuzzy logic - Game theory - Hybrid reasoning - Imprecise probabilities - Inconsistency handling - Information fusion - Learning for uncertainty formalisms - Learning for uncertainty formalisms - Logics for reasoning under uncertainty - Markov decision processes - Possibility theory & possibilistic logic - Preferences - Probabilistic graphical models - Probabilistic logics - Qualitative uncertainty models - Rough sets - Uncertainty & data ::: PROCEEDINGS ::: In accordance with the previous conferences, the proceedings of ECSQARU 2019 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning. A Best Paper Award supported by Springer will be granted at the conference. ::: SUBMISSIONS ::: Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Reviewing will be double-blind, so names of authors and affiliations must be omitted from the paper. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 10 pages (excluding references) in the Springer LNCS/LNAI format. Submissions will be through EasyChair: https://easychair.org/conferences/?conf=ecsqaru2019 ::: IMPORTANT DATES ::: May 3, 2019: Abstract submission deadline May 10, 2019: Paper submission deadline June 11, 2019: Author notification Sept 18-20, 2019: ECSQARU 2019 _________________________________ ::: ORGANIZATION ::: Co-Chairs: ========== Gabriele Kern-Isberner Department of Computer Science TU Dortmund, Germany gabriele.kern-isberner at cs.uni-dortmund.de Zoran Ognjanović (also Local Organization) Mathematical Institute SANU Belgrade, Serbia (ex: Serbia and Montenegro, Yugoslavia) zorano at mi.sanu.ac.rs Program Committee: ================== Leila Amgoud, IRIT, France Alessandro Antonucci, IDSIA, Switzerland Ringo Baumann, Leipzig University, Germany Christoph Beierle, University of Hagen, Germany Vaishak Belle, University of Edinburgh, UK Concha Bielza, Technical University of Madrid, Spain Isabelle Bloch, ENST-LTCI, France Guy van den Broeck, University of California, US Giovanni Casini, University of Luxembourg, Luxembourg Laurence Cholvy, ONERA-Toulouse, France Giulianella Coletti, Univesity of Perugia, Italy Ines Couso, University of Oviedo, Spain Fabio G. Cozman, University of Sao Paulo, Brazil Fabio Cuzzolin, Oxford Brookes University, UK Luis (M.) De Campos, University of Granada, Spain Thierry Deneoux, University of Technology of Compiegne, France Sebastien Destercke, University of Technology of Compiegne, France Dragan Doder, University of Belgrade, Serbia Florence Dupin de Saint-Cyr, IRIT, France Zied Elouedi, Institut Superieur de Gestion de Tunis, Tunisia Patricia Everaere, University of Lille 1, France Alessandro Facchini, IDSIA, Switzerland Eduardo Ferme, University of Madeira, Spain Tommaso Flaminio, IIIA - CSIC, Spain Laurent Garcia, University of Angers, France Laura Giordano, Università del Piemonte Orientale, Italy Lluis Godo, Spanish National Research Council, Spain Anthony Hunter, University College London, UK Nebojsa Ikodinovic, University of Belgrade, Serbia Souhila Kaci, LIRMM, France Sebastien Konieczny, CRIL, France Jerome Lang, LAMSADE, France Florence Le Ber, ENGEES, France Philippe Leray, University of Nantes, France Peter Lucas, Radboud University, Netherlands Carsten Lutz, University of Bremen, Germany Francesca Mangili, IDSIA, Switzerland Choh Man Teng, Florida Institute for Human and Machine Cognition, US Pierre Marquis, University of Artois, France Maria Vanina Martinez, University of Oxford, UK David Mercier, University of Artois, France Thomas Meyer, University of Cape Town and CAIR, South Africa Enrique Miranda, University of Oviedo, Spain Serafin Moral, University of Granada, Spain Farid Nouioua, LSIS, France Odile Papini, LSIS UMR CNRS, France Davide Petturiti, University of Perugia, Italy Nico Potyka, University of Osnabrueck, Germany Henri Prade, IRIT, France Silja Renooij, Utrecht University, Netherlands Guillermo Simari, Universidad del Sur in Bahia Blanca, Argentina Karim Tabia, CRIL, France Rafael Testa, Unicamp, Brazil Matthias Thimm, University of Koblenz-Landau, Germany Matthias Troffaes, Durham University, UK Linda Van der Gaag, Utrecht University, Netherlands Leon van der Torre, University of Luxembourg, Ivan Varzinczak, University of Artois and CNRS, France Srdjan Vesic, CNRS, France Jirka Vomlel, Czech Academy of Sciences, Czech Republic Renata Wassermann, University of Sao Paulo, Brazil Stefan Woltran, Vienna University of Technology, Austria Eric Würbel, LSIS/INCA, France ******************************************************************************************* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nbassili at csd.auth.gr Mon May 6 10:24:41 2019 From: nbassili at csd.auth.gr (Nick Bassiliades) Date: Mon, 06 May 2019 10:24:41 +0200 Subject: 3rd CfP: 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) Message-ID: apologies for cross-posting ================================================================== RuleML+RR 2019 CALL FOR PAPERS RuleML+RR 2019: 3rd International Joint Conference on Rules and Reasoning 16-19 September 2019 - Bolzano, Italy http://2019.ruleml-rr.org Part of the Bolzano Rules and Artificial Intelligence Summit (BRAIN 2019, https://brain2019.inf.unibz.it) ================================================================== ************ NEWS: Updated submission dates ********************** == SUMMARY == High-quality papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules are solicited. Important dates: - Abstract:   24 May 2019 (updated) - Full paper: 31 May 2019 (updated) == THE CONFERENCE == The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry. RuleML+RR 2019 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It provides a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems. RuleML+RR 2019 is part of BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit. With its special focus theme on "Beneficial AI", BRAIN 2019 brings together RuleML+RR 2019, DecisionCAMP 2019, the Reasoning Web Summer School (RW 2019), and the Global Conference on Artificial Intelligence (GCAI 2019). == TOPICS == RuleML+RR welcomes original research from all areas of Rules and Reasoning. Topics of particular interest include: * Rule-based approaches for intelligent systems and intelligent information access * Rule-based languages for the semantic web * Vocabularies, ontologies, and business rules * Ontology-based data access * Data management, and data interoperability for web data * Distributed agent-based systems for the web * Rule-based approaches to agents * Scalability and expressive power of logics for the semantic web * Reasoning with incomplete, inconsistent and uncertain data * Non-monotonic, common-sense, and closed-world reasoning for web data * Non-classical logics and the Web * Constraint programming * Logic programming * Production & business rules systems * Streaming data and complex event processing * Rules for machine learning, knowledge extraction and information retrieval * Rule-based approaches to natural language processing * Rule discovery, extraction and transformation * Rules and ontology learning * Deep Learning for rules and ontologies * Neural Networks and logic rules * Neural Networks and ontologies * Higher-order and modal rules * Rules for knowledge graphs * Web reasoning and distributed rule inference and execution * Big data reasoning with rules * Rule markup languages and rule interchange formats * Rule-based policies, reputation, and trust * Scalability and expressive power of logics for rules * System descriptions, applications and experiences * Rules and human language technology * Rules in online market research and online marketing * Applications of ontologies and rules in environmental protection * Applications in climate change monitoring, mitigation & adaptation * Applications in healthcare and life sciences * Applications in peace and conflict studies * Applications in equity and social welfare * Applications in law, regulation and finance * Industrial applications of rules * Rules and social media * Rules of ethics, laws, policies, and regulations Particularly encouraged are submissions that combine one or several of the above topics with the overall focus theme on "Beneficial AI" of the BRAIN 2019 Summit. == SUBMISSIONS == We accept the following submission formats for papers: * Long papers (up to 15 pages in LNCS style) * Short papers (up to 8 pages in LNCS style) Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Submissions: via EasyChair https://easychair.org/conferences/?conf=rulemlrr2019 The RuleML+RR 2019 best papers will be invited for rapid publication in a Special Issue of the Journal of Theory and Practice of Logic Programming (TPLP). In addition to regular submissions, RuleML+RR 2019 will host an Industry Track together with the DecisionCAMP 2019, the 13th International Rule Challenge, and a joint Doctoral Consortium with the Global Conference on Artificial Intelligence (GCAI 2019). == PUBLICATION == The conference proceedings will be published by Springer in the Lecture Notes in Computer Science series (LNCS). All submissions must be prepared in Springer's LaTeX style LNCS (http://www.springer.com/comp/lncs/authors.html). == IMPORTANT DATES == Title and Abstract submission: 11 May 2019 Full papers submission: 18 May 2019 Notification of acceptance: 21 June 2019 Camera-ready submission: 03 July 2019 Conference: 16-19 Sept 2019 For each of these deadlines, a cut-off point of 23:59 AOE (anywhere on earth) applies. == ORGANISATION == Summit Chair (BRAIN 2019): Diego Calvanese, (Free Univ. of Bozen-Bolzano) Program Chairs: Paul Fodor  (Stony Brook Univ.) Marco Montali (Free Univ. of Bozen-Bolzano) From ricardo.campos at ipt.pt Mon May 6 10:24:41 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Mon, 06 May 2019 10:24:41 +0200 Subject: [TPDL 2019] CALL FOR POSTERS & DEMO SUBMISSIONS In-Reply-To: References: Message-ID: TPDL 2019 CALL FOR POSTERS & DEMO SUBMISSIONS ================================ 23rd International Conference on Theory and Practice of Digital Libraries (TPDL 2019) Oslo Metropolitan University, Oslo, Norway 9-12 September 2019 Website: http://www.tpdl.eu/tpdl2019/ EasyChair: https://easychair.org/conferences/?conf=tpdl2019 TPDL 2019 under the general theme “Connecting with Communities”, still invites submissions for scientific and research work in the categories of Posters and Demonstrations. ===IMPORTANT DATES=== Posters and Demos submission: May 20, 2019 Notification of decisions for Posters and Demos: June 3, 2019 Camera-ready submission: June 22, 2019 ===TOPICS=== Contributions, either theoretical or applied, are welcome in all fields related to Digital Libraries. Below is given a (non-exhaustive) list of potential topics: * Information Retrieval and Access * Knowledge Discovery in Digital Libraries * Document (Text) Analysis * Services for Digital Arts and Humanities * GLAM Data for Digital Arts and Humanities * Research Data Management * Data Repositories and Archives * Web Archives * Semantic Web Technologies and Linked Data for DLs * Standards and Interoperability * Digital Preservation and Curation * Data and Information Lifecycle (creation, store, share and reuse) * Linked Data * Open Data and Knowledge * Scholarly Communication * Citation Analysis and Scientometrics * Cultural Heritage Access and Analysis * Digital History * Data and Metadata Quality * Digital Service Infrastructures * Research Infrastructures * User Participation * User Interface and Experience * Legal Issues * Emerging New Challenges and Opportunities * Applications of Digital Libraries * Collection Development and Discovery ===INFORMATION FOR AUTHORS=== The proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS, ISSN 0302-9743) series. All submissions have to be in English and submitted as a PDF file following the LNCS guidelines via the conference’s submission page: https://easychair.org/conferences/?conf=tpdl2019. They should be up to 4 pages long. ===ORGANIZATION=== General chairs: * Trond Aalberg (Oslo Metropolitan University) * Adam Jatowt (Kyoto University) Program chairs: * Koraljka Golub (Linnæus University) * Antoine Doucet (University of La Rochelle) * Antoine Isaac (Europeana) Poster/demo chairs: * Ricardo Campos (Polytechnic Institute of Tomar / INESC TEC) * Mickaël Coustaty (University of La Rochelle) Doctoral consortium chairs: * Jose Borbina (NESC-ID/Univ. of Lisbon) * Avishek Anand (Leibniz University/L3S Research Center) Workshop chairs: * Milena Dobreva (University College London Qatar) * Giannis Tsakonas (University of Patras) From vesic at cril.fr Mon May 6 10:24:41 2019 From: vesic at cril.fr (Srdjan Vesic) Date: Mon, 06 May 2019 10:24:41 +0200 Subject: ECSQARU 2019 extended deadlines: abstract May 6, paper May 13 Message-ID: ******************************************************************************** FINAL CALL FOR PAPERS Fifteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ECSQARU 2019 September 18-20, 2019 Belgrade (Serbia) http://www.mi.sanu.ac.rs/~ecsqaru2019/ Invited Speakers: Fabio Gagliardi Cozman, University of Sao Paulo Lluís Godo, Artificial Intelligence Research Institute (IIIA), CSIC Francesca Toni, Imperial College London ******************************************************************************** The biennial ECSQARU conferences constitute a major forum for advances in the theory and practice of reasoning under uncertainty, with a focus on bringing symbolic and quantitative aspects together. Contributions come from researchers interested in advancing the scientific knowledge and from practitioners using uncertainty techniques in real-world applications. The scope of the ECSQARU conferences encompasses fundamental issues, representation, inference, learning, and decision making in qualitative and numeric uncertainty paradigms. Previous ECSQARU events have been held in Marseille (1991), Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001), Aalborg (2003), Barcelona (2005), Hammamet (2007), Verona (2009), Belfast (2011), Utrecht (2013), Compiègne (2015), and Lugano (2017). ::: SCOPE ::: For ECSQARU 2019 we invite submissions of original papers on topics which include but are not limited to: - Algorithms for uncertain inference - Applications of uncertain systems - Argumentation systems - Automated planning and acting under uncertainty - Belief functions - Belief change & merging - Classification & clustering - Decision theory & decision graphs - Default reasoning - Description logics with uncertainty - Foundations of reasoning under uncertainty - Fuzzy sets & fuzzy logic - Game theory - Hybrid reasoning - Imprecise probabilities - Inconsistency handling - Information fusion - Learning for uncertainty formalisms - Learning for uncertainty formalisms - Logics for reasoning under uncertainty - Markov decision processes - Possibility theory & possibilistic logic - Preferences - Probabilistic graphical models - Probabilistic logics - Qualitative uncertainty models - Rough sets - Uncertainty & data ::: PROCEEDINGS ::: In accordance with the previous conferences, the proceedings of ECSQARU 2019 will be published in the Springer Lecture Notes in Artificial Intelligence series. In addition to that, extended versions of selected papers will be published in a special issue of the International Journal of Approximate Reasoning. A Best Paper Award supported by Springer will be granted at the conference. ::: SUBMISSIONS ::: Authors are requested to prepare their conference papers in the LNCS/LNAI format. Submitted papers must be original and not under review in a journal or another venue with formally published proceedings. They will be evaluated by peer reviews based on originality, significance, technical soundness, and clarity of exposition. Reviewing will be double-blind, so names of authors and affiliations must be omitted from the paper. Authors of accepted papers are expected to attend the conference to present their work, at least one author of each paper must register for the conference. Submitted papers must be at most 10 pages (excluding references) in the Springer LNCS/LNAI format. Submissions will be through EasyChair: https://easychair.org/conferences/?conf=ecsqaru2019 ::: IMPORTANT DATES ::: May 6, 2019: Abstract submission deadline May 13, 2019: Paper submission deadline June 11, 2019: Author notification Sept 18-20, 2019: ECSQARU 2019 _________________________________ ::: ORGANIZATION ::: Co-Chairs: ========== Gabriele Kern-Isberner Department of Computer Science TU Dortmund, Germany gabriele.kern-isberner at cs.uni-dortmund.de Zoran Ognjanović (also Local Organization) Mathematical Institute SANU Belgrade, Serbia (ex: Serbia and Montenegro, Yugoslavia) zorano at mi.sanu.ac.rs Program Committee: ================== Leila Amgoud, IRIT, France Alessandro Antonucci, IDSIA, Switzerland Ringo Baumann, Leipzig University, Germany Christoph Beierle, University of Hagen, Germany Vaishak Belle, University of Edinburgh, UK Concha Bielza, Technical University of Madrid, Spain Isabelle Bloch, ENST-LTCI, France Guy van den Broeck, University of California, US Giovanni Casini, University of Luxembourg, Luxembourg Laurence Cholvy, ONERA-Toulouse, France Giulianella Coletti, Univesity of Perugia, Italy Ines Couso, University of Oviedo, Spain Fabio G. Cozman, University of Sao Paulo, Brazil Fabio Cuzzolin, Oxford Brookes University, UK Luis (M.) De Campos, University of Granada, Spain Thierry Deneoux, University of Technology of Compiegne, France Sebastien Destercke, University of Technology of Compiegne, France Dragan Doder, University of Belgrade, Serbia Florence Dupin de Saint-Cyr, IRIT, France Zied Elouedi, Institut Superieur de Gestion de Tunis, Tunisia Patricia Everaere, University of Lille 1, France Alessandro Facchini, IDSIA, Switzerland Eduardo Ferme, University of Madeira, Spain Tommaso Flaminio, IIIA - CSIC, Spain Laurent Garcia, University of Angers, France Laura Giordano, Università del Piemonte Orientale, Italy Lluis Godo, Spanish National Research Council, Spain Anthony Hunter, University College London, UK Nebojsa Ikodinovic, University of Belgrade, Serbia Souhila Kaci, LIRMM, France Sebastien Konieczny, CRIL, France Jerome Lang, LAMSADE, France Florence Le Ber, ENGEES, France Philippe Leray, University of Nantes, France Peter Lucas, Radboud University, Netherlands Carsten Lutz, University of Bremen, Germany Francesca Mangili, IDSIA, Switzerland Choh Man Teng, Florida Institute for Human and Machine Cognition, US Pierre Marquis, University of Artois, France Maria Vanina Martinez, University of Oxford, UK David Mercier, University of Artois, France Thomas Meyer, University of Cape Town and CAIR, South Africa Enrique Miranda, University of Oviedo, Spain Serafin Moral, University of Granada, Spain Farid Nouioua, LSIS, France Odile Papini, LIS, Aix Marseille University, France Davide Petturiti, University of Perugia, Italy Nico Potyka, University of Osnabrueck, Germany Henri Prade, IRIT, France Silja Renooij, Utrecht University, Netherlands Guillermo Simari, Universidad del Sur in Bahia Blanca, Argentina Karim Tabia, CRIL, France Rafael Testa, Unicamp, Brazil Matthias Thimm, University of Koblenz-Landau, Germany Matthias Troffaes, Durham University, UK Linda Van der Gaag, Utrecht University, Netherlands Leon van der Torre, University of Luxembourg, Ivan Varzinczak, University of Artois and CNRS, France Jirka Vomlel, Czech Academy of Sciences, Czech Republic Renata Wassermann, University of Sao Paulo, Brazil Srdjan Vesic, CNRS, France Stefan Woltran, Vienna University of Technology, Austria Eric Würbel, LIS, Aix Marseille University, France ******************************************************************************************* -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From rl.stpuu at gmail.com Mon May 6 10:24:41 2019 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 06 May 2019 10:24:41 +0200 Subject: CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019 Message-ID: CALL FOR PAPERS 4th International Workshop on AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19) https://www.fedcsis.org/2019/airlangcomp Leipzig, Germany, 1 - 4 September, 2019 There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning. Topics We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, computation, reasoning, and memory - Partiality, underspecification, vagueness, and possibilities - Computation and reasoning with heterogeneous or inconsistent information - Logic and (formal and natural) language --- approaches, theories, methods - Logic approaches to computational linguistics - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches to grammar - Multilingual processing - Logic and theories of computation in machine learning and information retrieval - Mathematics for computational linguistics and cognitive science - Reasoning, information, computation, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to language, computation, reasoning, memory Important Dates - Paper submission (sharp / no extension): May 14, 2019 - Position paper submission: June 4, 2019 - Author notification: June 25, 2019 - Final paper submission and registration: July 10, 2019 - Final deadline for discounted fee: August 1, 2019 -Conference date: September 1-4, 2019 Paper Submission and Publications The publication rules, status, and the submission page for AIRLangComp'19 are the same as for AAIA'19 | FedCSIS: https://www.fedcsis.org/2019/instructions https://www.fedcsis.org/2019/airlangcomp Paper Submission - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore® database -Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland Contact: airlangcomp2019 at fedcsis.org ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From hubie.chen at ehu.eus Thu May 9 10:08:05 2019 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: QBF 2019 - second call for papers Message-ID: [We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2019 -------- International Workshop on Quantified Boolean Formulas and Beyond Lisbon, Portugal, July 7, 2019 http://fmv.jku.at/qbf19/ Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'19) Lisbon, Portugal, July 7-12, 2019 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete, and hence could be encoded in QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs and has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas (QBF Workshop) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== INVITED SPEAKER =============== Alexander Feldman, PARC =============== IMPORTANT DATES =============== May 15: Submission June 1: Notification June 15: Camera-ready versions Please see the workshop webpage for any updates: http://fmv.jku.at/qbf19/ ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): Applications, encodings and benchmarks with quantifiers QBF Proof theory and complexity results Experimental evaluations of solvers or related tools Case studies illustrating the power of quantifiers Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. Formats of proofs and certificates Implementations of proof checkers and verifiers Decision procedures Calculi and their relationships Data structures, implementation details and heuristics Pre- and inprocessing techniques Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf19 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. Tutorial proposals will be reviewed by the PC. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf19 at easychair.org =============================== PROGRAM CHAIRS AND ORGANIZATION =============================== Hubie Chen, Birbeck, University of London Florian Lonsing, Stanford University Martina Seidl, University of Linz, Austria Friedrich Slivovsky, TU Wien, Austria From irdta at irdta.eu Thu May 9 10:08:05 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: AlCoB 2019: call for participation Message-ID: AlCoB 2019: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** 6th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY AlCoB 2019 Berkeley, California, USA May 28-30, 2019 Co-organized by: University of California, Berkeley Institute for Research Development, Training and Advice, Brussels/London http://alcob2019.irdta.eu/ ********************************************************************************** PROGRAM Tuesday, May 28 09:00 - 09:30    Registration 09:30 - 09:40    Opening 09:40 - 10:30    Igor Jurisica. Explanable AI for Data-driven Medicine - Invited lecture 10:30 - 10:45    Break 10:45 - 12:00 Tom Davot, Annie Chateau, Rodolphe Giroudeau and Mathias Weller. New Polynomial-time Algorithm around the Scaffolding Problem Ozan Kahramanogullari. Enumerating Dominant Pathways in Biological Networks by Information Flow Analysis Sridevi Maharaj, Zarin Ohiba and Wayne Hayes. Comparing Different Graphlet Measures for Evaluating Network Model Fits to BioGRID PPI Networks 12:00 - 13:30    Lunch 13:30 - 14:20    Lior Pachter. Algorithms for Single-cell Genomics - Invited lecture 14:20 - 14:35    Break 14:35 - 15:50 Louis Petingi and Tamar Schlick. Graph-theoretic Partitioning of RNAs and Classification of Pseudoknots Alexander Shlemov and Anton Korobeynikov. PathRacer: Racing Profile HMM Paths on Assembly Graph Pavel Avdeyev, Maria Atamanova, and Max A. Alekseyev. A Uniform Theory of Adequate Subgraphs for the Genome Median, Halving, and Aliquoting Problems 15:50 - 17:00    Poster session I --- Wednesday, May 29 09:30 - 10:20    Pavel A. Pevzner. Bioinformatics: A Servant or the Queen of Molecular Biology? - Invited lecture 10:20 - 10:35    Break 10:35 - 11:50 Veronica Guerrini and Giovanna Rosone. Lightweight Metagenomic Classification via eBWT Christopher Wright, Sriram Krishnamoorty and Milind Kulkarni. MULKSG: MULtiple K Simultaneous Graph Assembly João Paulo Pereira Zanetti, Leonid Chindelevitch and João Meidanis. Counting Sorting Scenarios and Intermediate Genomes for the Rank Distance 11:50 - 13:20    Group photo and Lunch 13:20 - 14:10    Teresa Przytycka. Exploring Phenotypic Heterogeneity across Tissues and Conditions with Network-based Approaches - Invited lecture 14:10 - 14:25    Break 14:25 - 15:40     João Paulo Pereira Zanetti, Leonid Chindelevitch and João Meidanis. Generalizations of the Genomic Rank Distance to Indels Thien Le, Aaron Sy, Erin K. Molloy, Qiuyi (Richard) Zhang, Satish Rao and Tandy Warnow. Using INC within Divide-and-Conquer Phylogeny Estimation Alona Levy-Jurgenson, Xavier Tekpli, Vessela N. Kristensen and Zohar Yakhini. Predicting Methylation from Sequence and Gene Expression Using Deep Learning with Attention 15:40 - 16:50    Poster session II 17:00        Walk around the campus --- Thursday, May 30 09:30 - 10:20    Tandy Warnow. Advances in Mathematical Approaches to Constructing the Tree of Life - Invited lecture 10:20 - 10:35    Break 10:35 - 11:50 Kari Nousiainen, Jukka Intosalmi and Harri Lähdesmäki. A Mathematical Model for Enhancer Activation Kinetics during Cell Differentiation Atif Rahman and Lior Pachter. Transcript Abundance Estimation and the Laminar Packing Problem Peng Xiao, Xingyu Cai and Sanguthevar Rajasekaran. Efficient Algorithms for Finding Edit-distance Based Motifs 11:50 - 12:00    Closing 12:00    Lunch   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Andreas.Herzig at irit.fr Thu May 9 10:08:05 2019 From: Andreas.Herzig at irit.fr (Andreas Herzig) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: FroCoS and TABLEAUX 2019 (London): SECOND (AND FINAL) DEADLINE EXTENSION In-Reply-To: <52dab5f5-1eaa-abab-3448-964c90d2611f@irit.fr> References: <52dab5f5-1eaa-abab-3448-964c90d2611f@irit.fr> Message-ID: Dear potential authors and registered authors who wish to polish your submissions, We have decided to issue a second (and final) deadline extension of four days for the 2019 joint editions of the FroCoS and TABLEAUX conferences. The new deadlines are: 10 May 2019 (abstract), 12 May 2019 (paper) We hope to see many of you this September in London! Best wishes---Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (PC chairs and local organizers) Conference websites: https://www.tableaux2019.org, https://frocos2019.org Contact: chair at frocos2019.org, chair at tableaux2019.org From geoff at cs.miami.edu Thu May 9 10:08:05 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: 6th International Workshop on Proof eXchange for Theorem Proving (PxTP) Message-ID: -------------------------------------------------------------------------------- Call for Papers, PxTP 2019 The Sixth International Workshop on Proof eXchange for Theorem Proving (PxTP) http://pxtp.gforge.inria.fr/2019/ 25-26 August 2019, Natal, Brazil associated with the CADE-27 conference ## Background The PxTP workshop brings together researchers working on various aspects of communication, integration, and cooperation between reasoning systems and formalisms. The progress in computer-aided reasoning, both automatic and interactive, during the past decades, has made it possible to build deduction tools that are increasingly more applicable to a wider range of problems and are able to tackle larger problems progressively faster. In recent years, cooperation of such tools in larger verification environments has demonstrated the potential to reduce the amount of manual intervention. Examples include the Sledgehammer tool providing an interface between Isabelle and (untrusted) automated provers, and collaboration of the HOL Light and Isabelle systems in the formal proof of the Kepler conjecture. Cooperation between reasoning systems relies on availability of theoretical formalisms and practical tools for exchanging problems, proofs, and models. The PxTP workshop strives to encourage such cooperation by inviting contributions on suitable integration, translation, and communication methods, standards, protocols, and programming interfaces. The workshop welcomes developers of automated and interactive theorem proving tools, developers of combined systems, developers and users of translation tools and interfaces, and producers of standards and protocols. We are interested both in success stories and descriptions of current bottlenecks and proposals for improvement. ## Topics Topics of interest for this workshop include all aspects of cooperation between reasoning tools, whether automatic or interactive. More specifically, some suggested topics are: * applications that integrate reasoning tools (ideally with certification of the result); * interoperability of reasoning systems; * translations between logics, proof systems, models; * distribution of proof obligations among heterogeneous reasoning tools; * algorithms and tools for checking and importing (replaying, reconstructing) proofs; * proposed formats for expressing problems and solutions for different classes of logic solvers (SAT, SMT, QBF, first-order logic, higher-order logic, typed logic, rewriting, etc.); * meta-languages, logical frameworks, communication methods, standards, protocols, and APIs related to problems, proofs, and models; * comparison, refactoring, transformation, migration, compression and optimization of proofs; * data structures and algorithms for improved proof production in solvers (e.g., efficient proof representations); * (universal) libraries, corpora and benchmarks of proofs and theories; * alignment of diverse logics, concepts and theories across systems and libraries; * engineering aspects of proofs (e.g., granularity, flexiformality, persistence over time); * proof certificates; * proof checking; * mining of (mathematical) information from proofs (e.g., quantifier instantiations, unsat cores, interpolants, ...); * reverse engineering and understanding of formal proofs; * universality of proofs (i.e. interoperability of proofs between different proof calculi); * origins and kinds of proofs (e.g., (in)formal, automatically generated, interactive, ...) * Hilbert's 24th Problem (i.e. what makes a proof better than another?); * social aspects (e.g., community-wide initiatives related to proofs, cooperation between communities, the future of (formal) proofs); * applications relying on importing proofs from automatic theorem provers, such as certified static analysis, proof-carrying code, or certified compilation; * application-oriented proof theory; * practical experiences, case studies, feasibility studies. ## Submissions Researchers interested in participating are invited to submit either an extended abstract (up to 8 pages) or a regular paper (up to 15 pages). Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Short submissions that could stimulate fruitful discussion at the workshop are particularly welcome. We expect that one author of every accepted paper will present their work at the workshop. Submitted papers should describe previously unpublished work, and must be prepared using the LaTeX EPTCS class (http://style.eptcs.org/). Papers will be submitted via EasyChair, at the PxTP'2019 workshop page (https://easychair.org/conferences/?conf=pxtp2019). Accepted regular papers will appear in an EPTCS volume. ## Important Dates * Abstract submission: May 12, 2019 * Paper submission: May 19, 2019 * Notification: June 21, 2019 * Camera ready versions due: July 14, 2019 * Workshop: 25-26 August 2019 ## Invited Speakers TBA ## Program Committee * Haniel Barbosa (University of Iowa), co-chair * Giselle Reis (Carnegie Mellon University), co-chair * Roberto Blanco, Inria, France * Frédéric Blanqui, Inria, France * Simon Cruanes, Aesthetic Integration, USA * Catherine Dubois, ENSIIE, France * Amy Felty, University of Ottawa, Canada * Mathias Fleury, Max-Planck-Institut für Informatik, Germany * Stéphane Graham-Lengrand, SRI, USA * Cezary Kaliszyk, University of Innsbruck, Austria * Chantal Keller, LRI, Université Paris-Sud, France * Laura Kovács, TU Wien, Austria * Olivier Laurent, CNRS, ENS Lyon, France * Stefan Mitsch, Carnegie Mellon University, USA * Carlos Olarte, UFRN, Brazil * Bruno Woltzenlogel Paleo, IOHK, Australia * Florian Rabe, LRI, Université Paris-Sud, France * Martin Riener, University of Manchester, UK * Geoff Sutcliffe, University of Miami, USA * Josef Urban, Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic * Yoni Zohar, Stanford University, USA ## Previous PxTP Editions * PxTP 2017 (https://pxtp.github.io/2017/), affiliated to Tableaux 2017, FroCoS 2017 and ITP 2017 * PxTP 2015 (http://pxtp15.lri.fr/), affiliated to CADE-25 * PxTP 2013 (http://www.cs.ru.nl/pxtp13/), affiliated to CADE-24 * PxTP 2012 (http://pxtp2012.inria.fr/), affiliated to IJCAR 2012 * PxTP 2011 (http://pxtp2011.loria.fr/), affiliated to CADE-23 From asdm at fi.upm.es Thu May 9 10:08:05 2019 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: Fourteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 24th - July 5th, 2019) - Early registration deadline Message-ID: Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school finishes on June 2nd (included). The summer school will be held in Boadilla del Monte, near Madrid, from June 24th to July 5th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2017. See the 2017 ranking at http://bit.ly/2oR00GI Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 24th - June 28th, 2019) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Learning algorithms. Learning and Optimization. Deep Networks. Practical session: Jupyter notebooks in Python Anaconda with keras and tensorflow. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 1st - July 5th, 2019) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization with proximal methods. Practical session: Python Anaconda with scikit-learn. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From Olivier.Boissier at emse.fr Thu May 9 10:08:05 2019 From: Olivier.Boissier at emse.fr (Olivier Boissier) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: Call for participation to the Summer School on AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0 Message-ID: The Summer School on AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0 8th to 12th of July 2019 Saint-Étienne, France https://wiss.univ-st-etienne.fr/ We would like to invite PhD students and early stage researchers to apply to the summer school that we organise in July this year on the topic of AI Technologies for Trust, Interoperability and Autonomy in Industry 4.0, in a collaboration between Université Jean Monnet Saint-Étienne, École des Mines de Saint-Étienne, Universität Bonn, and Fraunhofer IAIS Bonn. This summer school will have a unique format where participants will be intensively working on concrete industry use cases based on key challenges identified by industrial partners during a workshop in April (https://www.iais.fraunhofer.de/en/business-areas/enterprise-information-integration/workshop-series-artificial-intelligence-industry-4-0.html) where academia and industry will join forces to prepare them. If you are a company interested in supporting this summer school, see sponsorship plans at the end of this email. Topics ===== The summer school will address various aspects of AI in Industry 4.0 (or Industry of the future) with a particular focus on: • knowledge graphs • the web of things • decentralised AI • responsible AI Each of these topics will be covered in lectures and practical sessions, then applied to the industry use cases to devise potential solutions. Expected candidates and benefits ======================== We welcome applications from PhD students and early stage researchers that have already some knowledge in at least one of the topics above, but want to broaden their perspective and have a chance to apply their skills on real problems. The benefits for the participants are: • learn or improve knowledge in several areas of Artificial Intelligence • get in touch with high profile researchers and professors • build a network with other talented young researchers • hack together plausible solutions to stimulating real-life problems • have the opportunity to further develop your approach in collaboration with industry partners The most promising contributions from the participants will be presented at a follow-up workshop in September (http://ci.emse.fr/ai4industry/) where again, academics and industry partners will meet to build a roadmap for future research and development. Contributors will be solicited, potentially giving them real career opportunities. How to apply ========= We will limit the number of participants to 30 people. Therefore, in case we receive too many applications, we will select attendees based on their résumés and cover letter. Please use the form at https://wiss.univ-st-etienne.fr/en/registration.html to submit your files. Dates ==== * Opening of application for participation: 12 March 2019 * End of application: 15 May 2019 * Notification of acceptance: 20 May 2019 * Deadline for registration: 1 June 2019 * Summer school: 8-12 July 2019 Sponsorship ========= If you are a company who would like to get privileged access to the results of the summer school and get a chance to make your products known, you may want to take a look at our sponsoring options at https://wiss.univ-st-etienne.fr/en/sponsorship.html. Contact and organising institutions ========================== Main contact person: Antoine Zimmermann (antoine.zimmermann at emse.fr) École des Mines de Saint-Étienne Université Jean Monnet Saint-Étienne Universität Bonn Fraunhofer IAIS From el-ghazali.talbi at univ-lille.fr Thu May 9 10:08:05 2019 From: el-ghazali.talbi at univ-lille.fr (El-ghazali Talbi) Date: Thu, 09 May 2019 10:08:05 +0200 Subject: CFP MOPGP'2019 @Marrakech Message-ID: CALL FOR ABSTRACTS The 13th International Conference on Multiple Objective Programming and Goal Programming (MOPGP) 28-31 October 2019, Marrakech, Morocco http://mopgp.org/ ----------------------------------------------------------------------------------------------------------------------- Dear Colleague, Selected extended-abstracts will be considered as potential full-paper publications, subject to peer reviews in the Journal "Annals of Operations Research" ( http://rutcor.rutgers.edu/CfPMOPGP%202019.pdf ). Abstracts are being accepted in the following categories: Theories and applications of MOP/GP; Fuzzy sets, soft computing and MOP/GP; Neural networks, meta-heuristics and MOP/GP; Interactive MOP/GP methods; Evolutionary MOP; Discrete and combinatorial MOP/GP; Stochastic MOP/GP; Fuzzy MOP/GP; Dynamic MOP/GP; Business applications of MOP/GP (Finance, Management, Marketing, …); Engineering applications of MOP/GP; All other topics in relation to MOP/GP Submission Deadline: May 30, 2019. Thank you in advance and look forward to seeing you! Best regards http://mopgp.org/ -- *********************************************************************** MOPGP'2019 Int. Conference on Multiple Objective Programming and Goal Programming 28-31 Oct 2019, Marrakech, Morocco http://www.mopgp.org *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS From blllne2 at unife.it Sun May 12 22:05:22 2019 From: blllne2 at unife.it (Elena Bellodi) Date: Sun, 12 May 2019 22:05:22 +0200 Subject: DEADLINE APPROACHING - IJAR Special Issue on Probabilistic Logic Programming Message-ID: DEADLINE * MAY 15th - Last deadline* ---------------------------------------------------------------------- CALL FOR PAPERS International Journal of Approximate Reasoning http://www.journals.elsevier.com/international-journal-of-approximate-reasoning Special issue on Probabilistic Logic Programming The 5th Workshop on Probabilistic Logic Programming ( http://stoics.org.uk/plp/plp2018) was held on September 1st 2018 in Ferrara, Italy, co-located with the 28th International Conference on Inductive Logic Programming (ILP 2018). We welcome submissions of (improved/extended versions of) papers that were presented at the workshop, as well as new submissions on all topics of the workshop. ---------------------------------------------------------------------- Topics include but are not limited to: -------------------------------------- * probabilistic logic programming formalisms * parameter estimation * statistical inference * implementations * structure learning * reasoning with uncertainty * constraint store approaches * stochastic and randomised algorithms * probabilistic knowledge representation and reasoning * constraints in statistical inference * applications, such as * * bioinformatics * * semantic web * * robotics * probabilistic graphical models * answer set programming * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software Important dates --------------- Submission of manuscripts: before May 15th, 2019 (papers will be sent to reviewers as soon as we receive them) Publication of the special issue: January 2020 (tentative) Submissions ----------- All submitted papers under this call will undergo the standard review process of the journal. All papers should be submitted to IJAR website http://www.evise.com/evise/jrnl/IJA by choosing the Special Issue “VSI: PLP2018”. All online submissions should follow the “Guide for Authors” of the journal. Guest Editors: -------------- Elena Bellodi (University of Ferrara, Italy) - elena.bellodi at unife.it Tom Schrijvers (KU Leuven, Belgium) - tom.schrijvers at cs.kuleuven.be -- Elena Bellodi, Ph.D. Assistant Professor Machine Learning Research Group DE - Engineering Department University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From leroux at labri.fr Sun May 12 22:05:22 2019 From: leroux at labri.fr (Jerome Leroux) Date: Sun, 12 May 2019 22:05:22 +0200 Subject: Last CFP GandALF'19 Bordeaux In-Reply-To: References: Message-ID: GandALF 2019 https://gandalf2019.sciencesconf.org The Tenth International Symposium on Games, Automata, Logics, and Formal Verification 2 - 4 September 2019, Bordeaux, France Call for papers The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LaBRI laboratory. The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization. The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Stochastic models such Markov decision processes and stochastic games Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. PUBLICATIONS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, and 2018; the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://www.easychair.org/conferences/?conf=gandalf2019. IMPORTANT DATES Abstract submission: May 15th, 2019 Paper submission: May 19th, 2019 Notification: July 3rd, 2019 Camera-ready: July 19th, 2018 Symposium : September 2-4, 2019 WEBSITE https://gandalf2019.sciencesconf.org INVITED SPEAKERS Nathanaël Fijalkow (CNRS, France) Emmanuel Filiot (ULB, Belgium) Mariëlle Stoelinga (U Twente & Radboud University, Netherlands) James Worrell (U Oxford, UK) PROGRAM COMMITEE Christel Baier (TU Dresden, Germany) Saddek Bensalem (U Grenoble Alpes, France) Patricia Bouyer (CNRS, France) Franck Cassez (Macquarie University, Australia) Dario Della Monica (U Udine, Italy) Hugo Gimbert (CNRS, France) Holger Hermanns (U Saarbrucken, Germany) Rasmus Ibsen-Jensen (U Liverpool, UK) Jan Kretinsky (TU Munich, Germany) Orna Kupferman (U Jerusalem, Israël) Kim G. Larsen (U Aalborg, Denmark) Slawomir Lasota (U Warsaw, Poland) Jérôme Leroux (CNRS, France) co-chair Andrea Orlandini (ISTC-CNR, Italy) Gennaro Parlato (University of Molise, Italy) M. Praveen (CMI Chennai, India) Jean-François Raskin (ULB, Belgium) co-chair Vojtěch Řehák (U Masaryk, Czech Republic) Pierre-Alain Reynier (U Marseille, France) Jie-Hong Roland (NTU, Taiwan) Pietro Sala (U Verona, Italy) Pierluigi San Pietro (Pierluigi San Pietro, Italy) Martin Zimmermann (Liverpool University, UK) STEERING COMMITEE Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) LOCAL ORGANIZERS From LABRI, Université de Bordeaux -- https://www.labri.fr Auriane Dantes Katel Guerin Frédéric Herbreteau Jérôme Leroux Vincent Penelle Gabriele Puppis Grégorie Sutre From valentina.ivanova at ri.se Sun May 12 22:05:22 2019 From: valentina.ivanova at ri.se (Valentina Ivanova) Date: Sun, 12 May 2019 22:05:22 +0200 Subject: [CfP] VOILA!2019 @ISWC2019 5th International Workshop on Visualization and Interaction for Ontologies and Linked Data Message-ID: CALL FOR CONTRIBUTIONS VOILA 2019 - Visualization and Interaction for Ontologies and Linked Data 5th International Workshop at ISWC 2019, 18th International Semantic Web Conference October 26 or 27, Auckland, New Zealand http://voila2019.visualdataweb.org -------------------------------------------------- Abstracts Deadline: June 21, 2019 Submission Deadline: June 28, 2019 -------------------------------------------------- We are looking for submissions addressing one or more of the following topics, subjects, and contexts (or related ones): * Topics: - visualizations - user interfaces - visual analytics - requirements analysis - case studies - user evaluations - cognitive aspects * Subjects: - ontologies - linked data - knowledge graphs - ontology engineering (development, collaboration, ontology design patterns, alignment, debugging, evolution, provenance, etc.) * Contexts: - classical interaction contexts (desktop, keyboard, mouse, etc.) - modern interaction contexts (mobile, touch, gesture, speech, etc.) - special settings (large, high-resolution, and multiple displays, etc.) - specific user groups and needs (people with disabilities, domain experts, etc.) Submission Guidelines ========== The following types of contributions are welcome. The recommended page length is given in brackets. There is NO strict page limit but the length of a paper should be commensurate with its contribution. - Full research papers (8-12 pages); - Experience papers (8-12 pages); - Position papers (6-8 pages); - Short research papers (4-6 pages); - System papers (4-6 pages). Accepted papers will be published as a volume in the CEUR Workshop Proceedings series. Important Dates ========== Abstract: June 21, 2019 Submission: June 28, 2019 Notification: July 24, 2019 Camera-ready: August 16, 2019 Workshop: October 26 or 27, 2019 Organizers ========== Catia Pesquita, University of Lisbon, Portugal Patrick Lambrix, Linköping University, Sweden Steffen Lohmann, Fraunhofer IAIS, Germany Valentina Ivanova, RISE Research Institutes of Sweden, Sweden Vitalis Wiens, University of Bonn, Fraunhofer IAIS & TIB, Germany Looking forward to your submissions & meeting you there! Catia, Patrick, Steffen, Valentina, and Vitalis -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From serge.autexier at dfki.de Sun May 12 22:05:22 2019 From: serge.autexier at dfki.de (Serge Autexier) Date: Sun, 12 May 2019 22:05:22 +0200 Subject: CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation Message-ID: Joint Call for Workshops Papers (OpenMath, LML, GVMM, FVPS) Doctoral Programme Submissions Participation 12th Conference on Intelligent Computer Mathematics - CICM 2019 - July 8-12, 2019 CIIRC, Prague, Czech Republic http://www.cicm-conference.org/2019 -------------------------------------------------------------------------------- Digital and computational solutions are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. CICM brings together the many separate communities that have developed theoretical and practical solutions for mathematical applications such as computation, deduction, knowledge management, and user interfaces. It offers a venue for discussing problems and solutions in each of these areas and their integration. In addition to the main tracks, CICM 2019 will host the Exploring the Mizar Library tutorial and 4 workshops: Formal Mathematics for Mathematicians (FMM), Formal Verification of Physical Systems (FVPS), Large Mathematical Libraries (LML), 30th OpenMath Workshop. This is a call for submissions and participation to the - 30th OpenMath Workshop - Large Mathematics Libraries Workshop (LML 2019) - 4th workshop on Formal Mathematics for Mathematicians (FVMM 2019) - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) - CICM doctoral programm track More details about workshops and the doctoral programm are available from their webpages on the CICM website https://www.cicm-conference.org/2019 * Submissions Deadlines * - OpenMath 2019 continuous until July 1, 2019 - LML 2019 May 13, 2019 - FVMM 2019 May 13, 2019 - FVPS 2019 May 24, 2019 - CICM doctoral programm track May 15, 2019 * Registration * Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration From amedeo.napoli at loria.fr Thu May 16 14:08:01 2019 From: amedeo.napoli at loria.fr (Amedeo Napoli) Date: Thu, 16 May 2019 14:08:01 +0200 Subject: IJCAI Workshop FCA4AI 2019 CFP Message-ID: ------------------------------------------------------------------------------------------------------------------- -- FCA4AI (Seventh Edition) -- ``What can FCA do for Artificial Intelligence?'' co-located with IJCAI 2019, Macao, China August 10 2019 http://www.fca4ai.hse.ru/2019 ------------------------------------------------------------------------------------------------------------------- General Information. The six preceding editions of the FCA4AI Workshop (since ECAI 2012 until IJCAI 2018) showed that many researchers working in Artificial Intelligence are indeed interested by a powerful method for classification and mining such as Formal Concept Analysis. This year, we still have the chance to organize a new edition of the workshop in Macao co-located with the IJCAI 2019 Conference. Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering as well as information retrieval, recommendation, social network analysis and text processing. Thus, there exist many ``natural links'' between FCA and AI. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis. These extensions are aimed at allowing FCA to deal with more complex than just binary data, for solving more complex problems in data analysis, classification, knowledge processing... All these works extend the capabilities of FCA and offer new possibilities for AI activities in the framework of FCA. Accordingly, in this workshop, we will be interested in these main issues: - How can FCA support AI activities such as knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing... - How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain. The workshop is dedicated to discuss such issues. TOPICS OF INTEREST include but are not limited to: - Concept lattices and related structures: description logics, pattern structures, relational structures. - Knowledge discovery and data mining with FCA: association rules, itemsets and data dependencies, attribute implications, data pre-processing, redundancy and dimensionality reduction, classification, clustering, and biclustering. - Machine learning: neural networks, random forests, SVM, and combination of classifiers with FCA. - Knowledge engineering, knowledge representation and reasoning, and ontology engineering (semantic web activities). - Scalable algorithms for concept lattices and artificial intelligence ``in the large'' (distributed aspects, big data). - AI tasks based on FCA: information retrieval, recommendation, social network analysis, data visualization and navigation, pattern recognition... - Practical applications in agronomy, biology, chemistry, finance, manufacturing, medicine... The workshop will include time for audience discussion for having a better understanding of the issues, challenges, and ideas being presented. IMPORTANT DATES: Submission deadline: June 8, 2019 Notification to authors: June 29, 2019 Final version: July 15, 2019 Workshop: August 10 2019 SUBMISSION DETAILS: The workshop welcomes submissions in pdf format in Springer's LNCS style. Submissions can be: - technical papers not exceeding 12 pages, - system descriptions or position papers on work in progress not exceeding 6 pages Submissions are via EasyChair at https://easychair.org/conferences/?conf=fca4ai2019 The workshop proceedings will be published as CEUR proceedings (see preceding editions in CEUR Proceedings Vol-2149, Vol-1703, Vol-1430, Vol-1257, Vol-1058, and Vol-939). WORKSHOP CHAIRS: Sergei O. Kuznetsov Higher Schools of Economics, Moscow, Russia Amedeo Napoli LORIA-INRIA, Vandoeuvre les Nancy, France Sebastian Rudolph Technische Universitaet Dresden, Germany ------------------------------------------------------------------------------------------------------------------- ------------------------------------------------------------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Thu May 16 14:08:01 2019 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 16 May 2019 14:08:01 +0200 Subject: ODLS 2019: CfP, by June 15 (Ontologies and Data in Life Sciences; part of JOWO 2019, Sep 23-25, Graz, Austria) Message-ID: (apologies for cross-posting ... please distribute) ------------------------------------------------------- Call for Papers >> ODLS 2019 << !NEW! Pre-Registration by: May 31, 2019 !NEW! !NEW! Submission deadline: June 15, 2019 !NEW! https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2019) held as part of the Joint Ontology Workshops (JOWO 2019) September 23-25, 2019 Graz, Austria Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and often incomprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse present ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences and in health care demand sophisticated methods and solutions for the integration and usage of distributed, heterogeneous data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. As in 2017, ODLS is part of the Joint Ontology Workshops (JOWO) [2]. This yields a stimulating environment of several thematically close workshops and tutorials, including shared keynote talks and possibly further joint sessions, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- [all dates in 2019] Submission of contributions 1. register title and abstract paragraph(s) May 31 (Fri) 2. submission of the actual contribution(s) June 15 (Sat) !STRICT! Author notification July 19 (Fri) Submission of camera-ready version August 13 (Tue) Registration for ODLS/JOWO (TBA by JOWO) ODLS Workshop during September 23-25 (Mon-Wed) Please NOTE: The submission deadline includes no further room for extensions and adheres to (updated) constraints imposed by JOWO. Registering planned contributions is a new requirement for all JOWO workshops as of May 08, 2019. It suffices to specify a title and abstract paragraph(s), both of which can be tentative, but should be indicative of the coming submission. Planned contributions of both submission categories should be registered by May 31, 2019, please. Submission Instructions ----------------------- The primary type of submissions called for the workshop are (i) papers of 5-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. In addition, (ii) extended abstracts of 2-4 pages are another type of acceptable submissions in order to ease participation and presentation at the workshop, but extended abstracts may not be included in the proceedings eventually. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2019 [3], selecting the relevant track for ODLS. [3] https://easychair.org/conferences/?conf=jowo2019 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2019 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as for Microsoft Word. Accepted papers will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings, published in the IAOA Series [5]. After the workshop authors of selected contributions will be invited to submit extended versions to the Journal of Biomedical Semantics (JBMS) [6]. These manuscripts must also be written in English and will be re-reviewed. Scientific Organization ----------------------- ODLS 2019 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [7] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [8] by being part of JOWO 2019 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Stefan Schulz, Medical University of Graz, Austria Program Committee ----------------- TBA (see [1] for updates) Location and Local Organization ------------------------------- The workshop is part of JOWO 2019 [2], which is hosted by the Medical University of Graz, Austria [9]. Local Organizers: * Pablo Lopez-Garcia * Catalina Martinez Costa <-- main local contact * Jose Antonio Minarro Gimenez * Stefan Schulz Links ----- [1] ODLS 2019 Workshop https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS [2] JOWO 2019 website https://iaoa.org/jowo/2019/ [3] JOWO 2019 conference in EasyChair https://easychair.org/conferences/?conf=jowo2019 [4] IOS Press templates for book authors https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings: IAOA Series http://ceur-ws.org/iaoa.html [6] Journal of Biomedical Semantics https://jbiomedsem.biomedcentral.com/ [7] OBML workgroup https://wiki.imise.uni-leipzig.de/Gruppen/OBML [8] IAOA https://iaoa.org/ [9] Local organization: Medical University of Graz https://www.medunigraz.at/en/ From heiner at informatik.uni-mannheim.de Thu May 16 14:08:01 2019 From: heiner at informatik.uni-mannheim.de (Heiner Stuckenschmidt) Date: Thu, 16 May 2019 14:08:01 +0200 Subject: KI 2019 --- Deadline extended In-Reply-To: References: Message-ID: Due to several requests and in order to allow people to consider submitting rejected ACL Papers, we have decided to slightly extend the deadline of the German conference on Artificial Intelligence. The new schedule for submission is: Important Dates (deadline extension) *May 19: Paper registration in EasyChair** **May 24: Paper submission* Jun 28: Notifications Jul 12: Final versions Further, we want to highlight the possibility for authors of accepted papers that are still students to apply for travel grants generously provided by SAP. Am 03.02.2019 um 11:08 schrieb Heiner Stuckenschmidt: > > > KI 2019 --- Joint Calls (Papers / Tutorials and Workshops / Doctoral > Consortium) > ==================================================== > > The German conference on Artificial Intelligence (abbreviated KI for > “Künstliche Intelligenz”) has developed from a series of unofficial > meetings and workshops, organized by the German “Gesellschaft für > Informatik” (association for computer science, GI), into an annual > conference series dedicated to research on theory and applications of > intelligent system technology. While KI is primarily attended by > researchers from Germany and neighboring countries, it warmly welcomes > international participation. > > Conference website: http://www.ki2019.de > > The KI 2019 conference takes place in Kassel, Germany, September > 23th-26th 2019, and will be held in conjunction with the 49th Annual > Conference of the German Computer Science Association: INFORMATIK 2019 > (http://informatik2019.de). > > > > Submission Guidelines > ============== > > Main Conference > --------------- > > We invite papers, which have to be in English and formatted according > to the Springer LNCS style, in the following three categories: > > Full technical papers (12 pages max., excluding references) are > expected to report on new research that makes a substantial technical > contribution to the field. Additional details may be included in an > appendix, which, however, will be read at the discretion of the PC. > Technical communications (6 pages max., excluding references) can > report on research in progress or other issues of interest to the AI > community. Examples of work suitable for technical communication paper > submissions include: novel ideas whose scope is not large enough for a > full paper; important implementation techniques; novel interesting > benchmark problems; short experimental studies; interesting > applications that are not yet completely solved or analyzed; position > or challenge papers. Technical communication submissions are > especially invited for software demonstration or PhD work in progress. > Abstracts of papers accepted at (most recent editions of) major AI > conferences (3 pages max., excluding references) are welcome to bring > together German members of the international AI community. Abstracts > of accepted papers will be evaluated based on the ranking of the venue > it has been accepted for. We especially invite abstract of papers from > A or A* ranked AI conferences. > Submission will be through the EasyChair conference management system. > > Full papers and technical communications will be subject to blind peer > review based on the standard criteria of relevance, significance of > results, originality of ideas, soundness, and quality of the > presentation. Papers accepted in this process will be published in the > main conference proceedings, published by Springer in the LNAI series  > and will be presented at the conference. At least one author of each > accepted paper must register for the conference and present the > contribution. The 3 page paper abstracts will be bundled and included > in an preface or appendix section of the conference proceedings. > > For more details on the submission procedure, visit > https://easychair.org/cfp/KI2019 > > Proposals for Workshops and Tutorials > ------------------------------- > > We invite proposals for workshops and tutorials to be held at the > first day (September 23) of the conference week (September 23-26). > Topics include all subareas of artificial intelligence as well as > their foundations and applications. > > Proposals of workshops/tutorials should be PDF documents of up to > three pages and written in English. For more details on the required > documents and the submission procedure, visit http://www.ki2019.de/cfwt/ > > Doctoral Consortium > ----------------- > > The doctoral consortium provides an opportunity for PhD students to > discuss their research interests and career objectives with > established researchers in AI and network with other participants. The > doctoral consortium will expose students to different areas of > research within AI and help build professional connections within the > international community of AI researchers. > > Proposals for the doctoral consortium should be PDF documents of three > to five pages and written in English. For more details on the required > documents and the submission procedure, visit > https://www.ki2019.de/call-doctoral-consortium/ > > > > Important Dates > =============== > > Main Conference > ------------- > > May 12, 2019: Abstract submission > May 17, 2019: Paper submission > Jun 28, 2019: Notification of acceptance > Jul 12, 2019: Final versions > > Proposals for Workshops and Tutorials > ------------------------------ > > Mar 1, 2019: Workshop/tutorial proposal deadline > Apr 1, 2019: Notification of acceptance > Apr 14, 2019: Workshop 1st call for papers ready > Apr 14, 2019: Workshop/tutorial web page ready > Sep 23, 2019: Workshops and tutorials > > Doctoral Consortium > ---------------- > > Jun 10, 2019: Submission > Aug 5, 2019: Notification of acceptance > Sep 23, 2019: Mentoring event > > > > List of Topics > ========= > > KI 2019 will have a special focus on “AI methods for Argumentation” > and we especially invite contributions that use methods from all areas > of AI to understand, formalize or generate argument structures in > natural language. The special focus will be organized in cooperation > with the DFG funded priority program “RATIO: Robust Argumentation > Machines”. > > Besides this special focus, KI 2019 invites original research and > application papers on all aspects of AI research, including but not > limited to the following: > > - Agent-based and multi-agent systems > - AI applications and innovations > - Argumentation in AI > - Belief change > - Cognitive modelling > - AI and psychology > - Commonsense reasoning > - Computer vision > - Constraint satisfaction, search, and optimization > - Diagnosis and configuration > - Evolutionary computation > - Game playing and interactive entertainment > - Information retrieval, integration, and extraction > - Interactive and automated theorem proving > - Knowledge engineering and ontologies > - Knowledge representation and reasoning > - Knowledge discovery and data mining > - Machine learning > - Multidisciplinary AI > - Natural language processing > - Nonmonotonic reasoning and default logics > - Philosophical foundations of AI > - Planning and scheduling > - Recommender systems > - Responsible AI, normative reasoning > - Robotics > - Uncertainty in AI > - Web and information systems > - Committees > > > > Program Committee > ============= > > (will be announced at https://www.ki2019.de/) > > > Invited Speakers > =========== > > Prof. Anthony Hunter, PhD, University College London > Prof. Michael Beetz, PhD, University of Bremen > Dr. Tassilo Klein, SAP Berlin > > > Organizing committee > ============== > > Prof. Dr. Christoph Benzmüller, Freie Universität Berlin (PC co-chair) > Prof. Dr. Heiner Stuckenschmidt, University of Mannheim (PC co-chair) > Dr. Alexander Steen, University of Luxembourg (Workshop and Tutorial > chair) > Dr. Kristina Yordanova, University of Rostock (Doctoral Consortium) > > > > > -- > > *Prof. Dr. Heiner Stuckenschmidt* > Chair of Artificial Intelligence > > University of Mannheim > School of Business Informatics and Mathematics > Data and Web Science Research Group | B6, 26 | 68131 Mannheim > Germany > > Phone: +49 621 181 2530 > > E-mail: heiner at informatik.uni-mannheim.de > > Web: dws.informatik.uni-mannheim.de > > -- *Prof. Dr. Heiner Stuckenschmidt* Chair of Artificial Intelligence University of Mannheim School of Business Informatics and Mathematics Data and Web Science Research Group | B6, 26 | 68131 Mannheim Germany Phone: +49 621 181 2530 E-mail: heiner at informatik.uni-mannheim.de Web: dws.informatik.uni-mannheim.de -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From scvgdu at unife.it Thu May 16 14:08:01 2019 From: scvgdu at unife.it (Guido Sciavicco) Date: Thu, 16 May 2019 14:08:01 +0200 Subject: TIME 2019: call for papers Message-ID: 2nd CALL FOR PAPERS ------------------ TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019 https://sites.google.com/unife.it/time-2019 *NEWS* - Invited Speakers announced - Tutorials announced - Special issue of I&C announced Aims and scope ----------------------------------------------- Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 encompasses three tracks, but has a single program committee. The conference will span four days, and will be organized as a combination of technical paper presentations, keynote talks, and tutorials. Tracks: -Time in Artificial Intelligence -Temporal DataBases -Temporal Logic and Reasoning Following a long-standing tradition, submission topics include (but are no limited to): -Temporal aspects of agent- and policy-based systems -Spatial and temporal reasoning -Time in natural language processing -Spatio-temporal knowledge representation systems -Reasoning about actions and change -Planning and planning languages -Ontologies of time and space-time -Belief and uncertainty in temporal knowledge -Temporal learning and discovery -Temporal data models and query languages -Temporal query processing and indexing -Temporal data mining -Time series data management -Stream data management -Spatio-temporal data management, including moving objects -Data currency and expiration -Indeterminate and imprecise temporal data -Temporal constraints -Specification and verification of systems -Verification of web applications -Synthesis and execution -Model checking algorithms and implementations -Verification of infinite-state systems -Reasoning about transition systems -Temporal architectures Submission and publication --------------------------------- TIME 2019 accepts submission in PDF format, not longer than 15 pages excluding references and appendix. The appendix is limited to 5 pages, and the reviewers may or may not taking it into account for their recommendation. Sumissions must be formatted following the LIPIcs instructions, and preferibly redacted in LaTex. Submissions are manged by EasyChair. TIME policy is single blind, so the names of the authors should not be hidden in the submitted draft. Members of the program commettee, excluding the co-chairs, are allowed to submit. Submitted papers will be refereed for quality, correctness, originality, and relevance to the conference. Submissions to TIME 2019 must be original, and parallel submissions of the same material to other conferences or journals is not allowed. Accepted papers will be presented at the symposium and included in the proceedings, which will be published by LIPIcs-Leibniz International Proceedings in Informatics, which is a series of high-quality peer-reviewed conference proceedings, and published according to the principle of OpenAccess. At least one author of each accepted paper must register at the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their contribution to Information&Computation (details below). Important Dates -------------------- Papers due: June 7th, 2019 Notification: July 21st, 2019 Final version deadline: August 15th, 2019 Early bird registration deadline: September 16th, 2019 Symposium: October 16th-19th, 2019 Program Committee Chairs ---------------------------- Guido Sciavicco, University of Ferrara Johann Gamper, Free University of Bozen-Bolzano Sophie Pichinat, University of Rennes 1 Invited Speakers -------------------- Michael Böhlen, Universty of Zurich Estela Saquete Borò, University of Alicante Patricia Bouyer, CNRS Tutorials -------------------- Fabrizio Riguzzi: Temporal Aspects of Inductive Logic Programming Veronique Bruyere: Computer Aided Synthesis: a Game-Theoretic Approach Special Issue -------------------- This year, a selection of authors of accepted papers will be asked to send an extended and improved version of their work to be included in a special issue of the journal Information&Computation (impact factor: 1.077). The submitted work will be subject to review, will have to include all suggestions from the reviews of the conference version of the paper, and will have to complete and improve the conference version of the paper with at least 30% of new material. Venue -------------------- TIME 2019 will take place in Màlaga, Andalucia, Spain -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nicola.olivetti at univ-amu.fr Thu May 16 14:08:01 2019 From: nicola.olivetti at univ-amu.fr (OLIVETTI Nicola) Date: Thu, 16 May 2019 14:08:01 +0200 Subject: JLC special issue - External and Internal Calculi for Non-Classical Logics Message-ID: Call for Papers Special issue on External and Internal Calculi for Non-Classical Logics Journal: Journal of Logic and Computation Submission Deadline: September 1, 2019. Guest editors: Agata Ciabatonni (TU Vienna), Didier Galmiche (LORIA - Lorraine University), Nicola Olivetti (LSI, Aix-Marseille University), Revantha Ramanayake (TU Vienna). -------------------------------------------------------------------------- This special issue intends to contribute to the current state-of-the-art of on analytic (external or internal) calculi for non-classical logics like intuitionistic, modal, epistemic logics, conditional logics, substructural, resouce logics, and other logical systems. Among some key points we can mention the relationships between internal} and external calculi for such logics and also their use for studying proof-search, automated deduction (proof-theory and implementation) and also logical properties like decidability, conservativity, axiomatisations and interpolation. Topics of interests include but are not limited to the following: - External and internal calculi for non-classical logics - Relationships and embeddings (translations) between calculi, interactions between syntax and semantics - New calculi for studying problems like decidability, conservativity and interpolation - Proof-search and countermodel generation - Methodologies and tools for translations between calculi - Implementations of analytic calculi and proof assistants All submitted papers under this call will be considered following the high-standard review process of the Journal of Logic and Computation. We expect submissions to present original contributions of the highest quality, that have not been previously published in, or submitted to, another journal. All submissions should be send as a pdf-file to Didier Galmiche at the e-mail address Didier.Galmiche at loria.fr, by September 1, 2019. If you have in mind to submit a paper to this special issue please send a message of intention to Didier Galmiche no later than July 31, 2019. We look forward to receiving your contribution. Agata Ciabatonni (TU Vienna) Didier Galmiche (LORIA - Lorraine University) Nicola Olivetti (LSI, Aix-Marseille University) Revantha Ramanayake (TU Vienna) [https://sesame.univ-amu.fr/Logos/logo_amu.png]Nicola Olivetti Professeur des Universités Aix-Marseille Université - FACULTE D'ECONOMIE ET GESTION Espace Forbin 15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France) Email: nicola.olivetti at univ-amu.fr phone: +33 (0)4 86 09 10 15 LIS LABORATOIRE D'INFORMATIQUE ET SYSTEMES Saint Jérôme - Avenue Escadrille Normandie Niemen - 13013 Marseille Site : http://www.lsis.org/olivetti/ - Email : nicola.olivetti at lis-lab.fr phone: +33 (0)49128 9094 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jenny.dollard at cs.ox.ac.uk Mon May 20 11:34:11 2019 From: jenny.dollard at cs.ox.ac.uk (Jenny Dollard) Date: Mon, 20 May 2019 11:34:11 +0200 Subject: REMINDER: SWSA call to host ISWC 2021 - proposal deadline: 29th May Message-ID: Dear colleagues, The Semantic Web Science Association (SWSA) is seeking statements of interest from organizations or consortia interested in hosting the 20th International Semantic Web Conference, ISWC 2021. The conference series usually moves regularly between the Americas, Europe, and the Asia/Pacific region. For the 2021 edition, we will accept bids from all locations, but we will give preference to bids from the Americas region. We expect the conference to take place in late October or early November 2021. Organizations wishing to host ISWC 2021 should contact Prof. Ian Horrocks who will work with the SWSA members to coordinate the bidding process for ISWC 2021. Any organization can apply to host the conference, but the local organizing committee must include a representative of a local research group. The process consists of two stages. During the first stage, SWSA solicits the statements of interest through an open call. They should be submitted using the statement of interest form. Once the first phase is complete, SWSA will shortlist a number of applications, who will be invited to submit a full proposal, using a standard form and budget template. The shortlisted applications will be expected to make a presentation at the SWSA meeting in Auckland, New Zealand, during ISWC 2019. SWSA will make the decision on the location of ISWC 2021 at that meeting. More information about the ISWC Conference Series and the bidding process for hosting a conference in the series can be found in the ISWC Hosting Guide. The important dates for applying to host a Conference in 2021 are: * May 29, 2019: Deadline for receiving statements of interest * June 15, 2019: Notifications to shortlisted bids are sent out * September 11, 2019: Formal applications received from shortlisted bids. * October 8, 2019: Presentation of the bid at the SWSA meeting in Auckland, New Zealand. * October 12, 2019: SWSA decides on the location for the 2021 conference. Regards, Ian Horrocks SWSA President http://swsa.semanticweb.org/content/call-host-international-semantic-web-conference -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From lpulina at uniss.it Mon May 20 11:34:11 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 20 May 2019 11:34:11 +0200 Subject: [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract submission by 28 May 2019 Paper submission by 4 June 2019 Notification to authors by 23 July 2019 Camera-ready copies due by 3 September 2019 ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From irdta at irdta.eu Mon May 20 11:34:11 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 20 May 2019 11:34:11 +0200 Subject: TPNC 2019: 1st call for papers Message-ID: TPNC 2019: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2019   Kingston, Canada   December 9-11, 2019   Co-organized by:   Royal Military College of Canada   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2019.irdta.eu/ ****************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2019 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be:   Royal Military College of Canada Kingston, Ontario Canada K7K 7B4   https://www.rmc-cmr.ca/en   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2019 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE: (to be completed)   Thomas Bäck (Leiden University, NL) Mauro Birattari (Université Libre de Bruxelles, BE) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Deborah M. Gordon (Stanford University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Geoffrey Pond (Royal Military College of Canada, CA) Shahab Shamshirband (Norwegian University of Science and Technology, NO) José Luis Verdegay (University of Granada, ES) Xin-She Yang (Middlesex University, UK) Yi Zhang (Sichuan University, CN)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://tpnc2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 27, 2019 Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Royal Military College of Canada / Collège militaire royal du Canada   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From faehndrich at gmail.com Mon May 20 11:34:11 2019 From: faehndrich at gmail.com (=?utf-8?Q?F=C3=A4hndrich?=) Date: Mon, 20 May 2019 11:34:11 +0200 Subject: CFP: Workshop on Computational Intelligence Message-ID: CFP: Workshop on Computational Intelligence  Aims and Scope  We apply Artificial Intelligence in ever more application domains but AI still lacks the adaptability and resilience of most biological systems. One of those gaps is probabilistic reasoning and decision making. Nature as a paragon brings fuzzy reasoning, neuronal networks, and learning together, e.g., to decide on a fight-or-flight response. The inspiration of Computational Intelligence originating from natural systems, therefore, aims at closing this gap with theoretical results as well as applying them in real-world applications.  Call for Papers  Like the IEEE Computational Intelligence Society which describes its focus as "the theory, design, application, and development of biologically and linguistically motivated computational paradigms emphasizing neural networks, connectionist systems, genetic algorithms, evolutionary programming, fuzzy systems, and hybrid intelligent systems in which these paradigms are contained" the Workshop on Computational Intelligence aims to bring together scientists and specialist form industry to tackle some of the challenges of AI and their application. Thus, we invite you to submit original research and application papers including but not limited to the following topics:  Fuzzy logic:  Probabilistic models of meaning Probabilistic reasoning Fuzzy inference Decision making in uncertainty Evaluation of Probabilistic Models  Neuronal Networks:  Generalizations of neuronal networks Explainable ANN Spreading Activation Neuroevolution  Evolutionary computations:  Online Genetic Algorithms ANN and generational learning Biased Genetic Algorithms Transfer learning with GA  Learning theory:  Adversarial Learning Reinforcement Learning Abductive Deductive Reasoning  PC:  Prof. Dr. Johannes Fähndrich (Hochschule für Polizei BW)  Dr. Sebastian Ahrndt (Curamatik UG)  Prof. Dr. Engelbrecht (Stellenbosch University)  Prof. Dr. rer. nat. Frank Hoffmann (TU Dortmund)  Prof. Dr. Frank Klawonn (Ostfalia Hochschule für angewandte Wissenschaften)  Prof. Dr. rer. nat. habil. Rudolf Kruse (Universität Magdeburg)  Workshop website: https://dainas.dai-labor.de/~faehndrich at dai/CI2019/  The workshop is part of the KI 2019 conference. The KI 2019 conference takes place in Kassel, Germany, September 23th-26th 2018, and will be held in conjunction with the 49th Annual Conference of the German Computer Science Association: INFORMATIK 2019 (http://informatik2019.de).  Submission Guidelines  We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following category:  Full technical papers (12 pages max., excluding references) are expected to report on new research that makes a substantial technical contribution to the field. Additional details may be included in an appendix, which, however, will be read at the discretion of the PC.  Important Dates  July 14: Abstract submission  July 21: Paper submission  August 15: Notifications  August 21: Final versions  Submission will be through the EasyChair conference management system. The submission link is: https://easychair.org/conferences/?conf=ci20190.  Full papers and technical communications will be subject to blind peer review based on the standard criteria of relevance, the significance of results, originality of ideas, soundness, and quality of the presentation. Papers accepted in this process will be published in the main conference proceedings, published by Springer in the LNAI Lecture Notes of Artificial Intelligence series will be presented at the conference. At least one author of each accepted paper must register for the conference and present the contribution. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From fstolzenburg at hs-harz.de Thu May 23 10:41:38 2019 From: fstolzenburg at hs-harz.de (Frieder Stolzenburg) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: 2nd CfP for DKB/KIK 2019 - Workshop on *Formal and Cognitive Reasoning* Message-ID: 2nd Call for Papers 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and 7th Workshop KI & Kognition (KIK-2019) on *Formal and Cognitive Reasoning* Workshop at the 42nd German Conference on Artificial Intelligence (KI-2019) September 23-26, 2019, Kassel, Germany Organized by the FG Wissensrepräsentation und Schließen and FG Kognition of the GI Workshop Web Page: AIMS AND SCOPE Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. INVITED TALK Gerd Stumme, Universität Kassel: "Ordinal Data Analysis" CALL FOR PAPERS The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning. We put a special focus on papers from both fields that provide a base for connecting formal-logical models of knowledge representation and cognitive models of reasoning and learning, addressing formal as well as experimental or heuristic issues. Previous events of the Workshop on "Dynamics of Knowledge and Belief" (DKB) took place in Osnabrück (2007), Paderborn (2009), Berlin (2011), and Koblenz (2013), previous editions of the Workshop on "KI & Kognition" (KIK) took place in Saarbrücken (2012), Koblenz (2013), and Stuttgart (2014), and joint workshops took place in Dresden (2015), Dortmund (2017), and Berlin (2018). We welcome original papers on the following and any related topics: Action and change Agents and multiagent systems Analogical reasoning Argumentation theories Belief revision and belief update Cognitive modeling and empirical data Common sense and defeasible reasoning Decision theory and preferences Inductive reasoning and cognition Knowledge representation in theory and practice Learning and knowledge discovery in data Nonmonotonic and uncertain reasoning Ontologies and description logics Probabilistic approaches of reasoning Syllogistic reasoning PUBLICATION The proceedings will be published in the CEUR Workshop Proceedings series. We will also consider publishing a selection of extended papers in a special issue of an international journal. WORKSHOP ORGANIZERS AND CO-CHAIRS Christoph Beierle, FernUniversität in Hagen, Germany Marco Ragni, Universität Freiburg, Germany Frieder Stolzenburg, Hochschule Harz, Germany Matthias Thimm, Universität Koblenz-Landau, Germany PROGRAM COMMITTEE see Workshop Web Page IMPORTANT DATES Deadline for Submission: June 22, 2019 Notification of Authors: August 08, 2019 Camera-ready Paper: August 22, 2019 Workshop: September 23, 2019 SUBMISSION DETAILS Papers should be formatted according to the Springer LNCS format . The length of each paper should not exceed 8-12 pages. All papers must be written in English and submitted in PDF format via the EasyChair system . LOCAL INFORMATION Local information can be found on the web pages of the KI-2019 conference . From irdta at irdta.eu Thu May 23 10:41:38 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: SLSP 2019: 3rd call for papers Message-ID: SLSP 2019: 3rd 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 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/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   https://www.ijs.si/ijsw/JSI   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Senja Pollak (Jožef Stefan Institute, SI) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 1, 2019 Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ieee.cibcb.2019 at gmail.com Thu May 23 10:41:38 2019 From: ieee.cibcb.2019 at gmail.com (IEEE CIBCB 2019) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: IEEE CIBCB 2019 - CALL FOR HIGHLIGHTS AND ABSTRACTS - Deadline: May 31, 2019 Message-ID: #################################################################### *Our apologies if you receive multiple copies of this announcement* IEEE CIBCB 2019 Computational Intelligence in Bioinformatics and Computational Biology July 9-11, 2019 - Certosa di Pontignano, Siena - Tuscany, Italy https://cibcb2019.icas.xyz/ ============================== CALL FOR HIGHLIGHTS (Oral) - Submission Deadline: May 31, 2019 We invite the submission of full papers that have recently been published, or accepted for publication for a highlight presentation. Submission should include a ‘scientific justification’ (one page maximum) that explains the content of the submitted proposal and explain how the work is impacting the field and why it would make a valuable addition to CIBCB 2019. 'Scientific justifications' should be of the same format as full papers (see formatting details) and submitted using the same link (via the EasyChair online submission system) as full papers before the 31th of May. https://cibcb2019.icas.xyz/call-for-late-breaking-abstracts/ ============================== CALL FOR ABSTRACTS (short oral and poster) - Submission Deadline: May 31, 2019 One-page abstracts describing late-breaking developments within the scope of the conference are solicited for presentation at the Poster Snapshot Session and the Poster Session. Abstracts will be published on the conference website. Authors of accepted abstracts will individually retain copyright (and all other rights) to their abstracts. Accepted abstracts with no author registered by the deadline will not appear on the conference website. Abstracts should be of the same format as full papers (see formatting details) and submitted using the same link as full papers before the 31th of May. All abstracts must be submitted via the EasyChair online submission system. https://cibcb2019.icas.xyz/call-for-late-breaking-abstracts/ =============== KEYNOTE SPEAKERS: - Pierre Baldi, University of California, Irvine, USA ("Deep Learning for Biomedical Data"). - Riccardo Bellazzi, University of Pavia, Pavia, Italy ("Data integration strategies to support clinical research"). - Thomas Keane, EMBL-EBI, Cambridge, UK ("Human data federation to catalyse personalised medicine across Europe and beyond"). =============== SPECIAL ISSUES After the conference, prospective authors are invited to submit manuscripts to a Special Issue in "Deep Learning for Genomics/Bioinformatics" to be published in IEEE/ACM Transactions on Computational Biology and Bioinformatics. All works presented at the event and related to other topics will be invited to submit for a Special Issue on IEEE Journal of Biomedical and Health Informatics. The Special Issue is open to anyone, i.e. having an accepted paper at CIBCB 2019 is not a requirement. Papers accepted at CIBCB 2019 need to be extended significantly before being submitted to the Special Issue. =============== CONFERENCE VENUE IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology (https://cibcb2019.icas.xyz/) will be held in Certosa di Pontignano (Siena), Tuscany (Italy) in July 9th-11th. =============== TUTORIAL - Bioinformatics tools for investigating the tumor-immune cell interface Best regards, IEEE CIBCB 2019 Organizing Committee -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From asdm at fi.upm.es Thu May 23 10:41:38 2019 From: asdm at fi.upm.es (asdm at fi.upm.es) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: Fourteenth Madrid UPM Advanced Statistics and Data Mining Summer School (June 24th - July 5th, 2019) - Early registration deadline Message-ID: Dear colleagues, We would like to remind you that early registration for the Madrid UPM Advanced Statistics and Data Mining summer school finishes on June 2nd (included). The summer school will be held in Boadilla del Monte, near Madrid, from June 24th to July 5th. This year's edition comprises 12 week-long courses (15 lecture hours each), given during two weeks (six courses each week). Attendees may register in each course independently. No restrictions, besides those imposed by timetables, apply on the number or choice of courses. Our summer school has been an INOMICS world top ten summer schools in mathematics and statistics from 2015 to 2017. See the 2017 ranking at http://bit.ly/2oR00GI Early registration is *OPEN*. Extended information on course programmes, price, venue, accommodation and transport is available at the school's website: http://www.dia.fi.upm.es/ASDM There is a 25% discount for members of Spanish AEPIA and SEIO societies. Please, forward this information to your colleagues, students, and whoever you think may find it interesting. Best regards, Pedro Larrañaga, Concha Bielza, Bojan Mihaljević and Santiago Gil Begué. -- School coordinators. *** List of courses and brief description *** * Week 1 (June 24th - June 28th, 2019) * 1st session: 9:45-12:45 Course 1: Bayesian Networks (15 h) Basics of Bayesian networks. Inference in Bayesian networks. Learning Bayesian networks from data. Real applications. Practical demonstration: GeNIe, Weka, Bayesia, R. Course 2: Time Series(15 h) Basic concepts in time series. Linear models for time series. Time series clustering. Practical demonstration: R. 2nd session: 13:45-16:45 Course 3: Supervised Pattern Recognition (15 h) Introduction. Assessing the performance of supervised classification algorithms. Preprocessing. Classification techniques. Combining multiple classifiers. Comparing supervised classification algorithms. Practical demonstration: Weka. Course 4: Statistical Inference (15 h) Introduction. Some basic statistical test. Multiple testing. Introduction to bootstrap methods. Introduction to Robust Statistics. Practical demonstration: R. 3rd session: 17:00 - 20:00 Course 5: Neural Networks and Deep Learning (15 h) Introduction. Learning algorithms. Learning and Optimization. Deep Networks. Practical session: Jupyter notebooks in Python Anaconda with keras and tensorflow. Course 6: Big Data with Apache Spark (15 h) Introduction. Spark framework and APIs. Data processing with Spark. Spark streaming. Machine learning with Spark MLlib. * Week 2 (July 1st - July 5th, 2019) * 1st session: 9:45-12:45 Course 7: Bayesian Inference (15 h) Introduction: Bayesian basics. Conjugate models. MCMC and other simulation methods. Regression and Hierarchical models. Model selection. Practical demonstration: R and WinBugs. Course 8: Unsupervised Pattern Recognition (15 h) Introduction to clustering. Data exploration and preparation. Prototype-based clustering. Density-based clustering. Graph-based clustering. Cluster evaluation. Miscellanea. Conclusions and final advise. Practical session: R. 2nd session: 13:45-16:45 Course 9: Text Mining (15 h) Information Retrieval 101. Unsupervised Text Processing. Representation Learning. Information Extraction. Natural Language Understanding. Practical session: Python, with Jupyter notebooks. Course 10: Feature Subset Selection (15 h) Introduction. Filter approaches. Embedded methods. Wrapper methods. Additional topics. Practical session: R and Weka. 3rd session: 17:00-20:00 Course 11: Support Vector Machines and Regularized Learning (15 h) Introduction. SVM models. SVM learning algorithms. Regularized learning. Convex optimization with proximal methods. Practical session: Python Anaconda with scikit-learn. Course 12: Hidden Markov Models (15 h) Introduction. Discrete Hidden Markov Models. Basic algorithms for Hidden Markov Models. Semicontinuous Hidden Markov Models. Continuous Hidden Markov Models. Unit selection and clustering. Speaker and Environment Adaptation for HMMs. Other applications of HMMs. Practical session: HTK. From hubie.chen at ehu.eus Thu May 23 10:41:38 2019 From: hubie.chen at ehu.eus (HUBERT MING CHEN) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: QBF Workshop 2019: Final Call for Papers Message-ID: [We apologize if you receive multiple copies of this call] ---------------------------------------------------------------------- CALL FOR PAPERS QBF 2019 -------- International Workshop on Quantified Boolean Formulas and Beyond Lisbon, Portugal, July 7, 2019 http://fmv.jku.at/qbf19/ Affiliated to and co-located with: Int. Conf. on Theory and Applications of Satisfiability Testing (SAT'19) Lisbon, Portugal, July 7-12, 2019 ---------------------------------------------------------------------- Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. The decision problem of QBF is PSPACE-complete, compared to the NP-completeness of the decision problem of propositional logic (SAT). Many problems from application domains such as model checking, formal verification or synthesis are PSPACE-complete and hence could be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. For example, the extraction and validation of models of (un)satisfiability of QBFs has turned out to be challenging, given that state-of-the-art solvers implement different solving paradigms. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving. In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers. =============== INVITED SPEAKER =============== Alexander Feldman, PARC =============== IMPORTANT DATES =============== May 25: Submission (extended) June 5: Notification (extended) June 15: Camera-ready versions Please see the workshop webpage for any updates: http://fmv.jku.at/qbf19/ ====================== CALL FOR CONTRIBUTIONS ====================== The workshop is concerned with all aspects of current research on all formalisms enriched by quantifiers, and in particular QBF. The topics of interest include (but are not limited to): - Applications, encodings and benchmarks with quantifiers - QBF proof theory and complexity results - Certificates and proofs for QBF, QCSP, SMT with quantifiers, etc. - Experimental evaluations of solvers or related tools - Case studies illustrating the power of quantifiers - Formats of proofs and certificates - Implementations of proof checkers and verifiers - Decision procedures - Calculi and their relationships - Data structures, implementation details and heuristics - Pre- and inprocessing techniques - Structural reasoning ========== SUBMISSION ========== Submissions of extended abstracts are invited and will be managed via Easychair: https://easychair.org/conferences/?conf=qbf19 In particular, we invite the submission of extended abstracts on work that has been published already, novel unpublished work, or work in progress. The following forms of submissions are solicited: - Proposals for short tutorial presentations on topics related to the workshop. The number of accepted tutorials depends on the overall number of accepted papers and talks, with the aim to set up a balanced workshop program. - Talk abstracts reporting on already published work. Such an abstract should include an outline of the planned talk, and pointers to relevant bibliography. - Talk proposals presenting work that is unpublished or in progress. - Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications that have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Each submission should have an overall length of 1-4 pages in LNCS format. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion. The accepted extended abstracts will be published on the workshop webpage. The workshop does not have formal proceedings. Authors of accepted contributions are expected to give a talk at the workshop. ======= CONTACT ======= qbf19 at easychair.org =============================== PROGRAM CHAIRS AND ORGANIZATION =============================== Hubie Chen, Birkbeck, University of London Florian Lonsing, Stanford University Martina Seidl, University of Linz, Austria Friedrich Slivovsky, TU Wien, Austria From leroux at labri.fr Thu May 23 10:41:38 2019 From: leroux at labri.fr (Jerome Leroux) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: GandALF 2019 : Extended Deadline Message-ID: GandALF 2019 https://gandalf2019.sciencesconf.org The Tenth International Symposium on Games, Automata, Logics, and Formal Verification 2 - 4 September 2019, Bordeaux, France Call for papers The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edition of the symposium is the tenth edition. It is organized in the city of Bordeaux by the LaBRI laboratory. The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization. The topics covered by the conference include, but are not limited to, the following: Automata Theory Automated Deduction Computational aspects of Game Theory Concurrency and Distributed computation Decision Procedures Deductive, Compositional, and Abstraction Techniques for Verification Finite Model Theory First-order and Higher-order Logics Formal Languages Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems Games and Automata for Verification Game Semantics Logical aspects of Computational Complexity Logics of Programs Modal and Temporal Logics Model Checking Models of Reactive and Real-Time Systems Stochastic models such Markov decision processes and stochastic games Program Analysis and Software Verification Run-time Verification and Testing Specification and Verification of Finite and Infinite-state Systems Synthesis Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. PUBLICATIONS The proceedings will be published by Electronic Proceedings in Theoretical Computer Science. Authors of the best papers will be invited to submit a revised version of their work to a special issue of Information and Computation. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, and 2018; the latter two still in progress), and Acta Informatica (GandALF 2015). SUBMISSIONS Submitted papers should not exceed fourteen (14) pages using EPTCS format (please use the LaTeX style provided at http://style.eptcs.org), be unpublished and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF or PS format and will be handled via the EasyChair Conference system at https://www.easychair.org/conferences/?conf=gandalf2019. IMPORTANT DATES Abstract submission: May 31st, 2019 (new date) Paper submission: June 2nd, 2019 (new date) Notification: July 3rd, 2019 Camera-ready: July 19th, 2018 Symposium : September 2-4, 2019 WEBSITE https://gandalf2019.sciencesconf.org INVITED SPEAKERS Nathanaël Fijalkow (CNRS, France) Emmanuel Filiot (ULB, Belgium) Mariëlle Stoelinga (U Twente & Radboud University, Netherlands) James Worrell (U Oxford, UK) PROGRAM COMMITEE Christel Baier (TU Dresden, Germany) Saddek Bensalem (U Grenoble Alpes, France) Patricia Bouyer (CNRS, France) Franck Cassez (Macquarie University, Australia) Dario Della Monica (U Udine, Italy) Hugo Gimbert (CNRS, France) Holger Hermanns (U Saarbrucken, Germany) Rasmus Ibsen-Jensen (U Liverpool, UK) Jan Kretinsky (TU Munich, Germany) Orna Kupferman (U Jerusalem, Israël) Kim G. Larsen (U Aalborg, Denmark) Slawomir Lasota (U Warsaw, Poland) Jérôme Leroux (CNRS, France) co-chair Andrea Orlandini (ISTC-CNR, Italy) Gennaro Parlato (University of Molise, Italy) M. Praveen (CMI Chennai, India) Jean-François Raskin (ULB, Belgium) co-chair Vojtěch Řehák (U Masaryk, Czech Republic) Pierre-Alain Reynier (U Marseille, France) Jie-Hong Roland (NTU, Taiwan) Pietro Sala (U Verona, Italy) Pierluigi San Pietro (Pierluigi San Pietro, Italy) Martin Zimmermann (Liverpool University, UK) STEERING COMMITEE Luca Aceto (Reykjavik University, Iceland) Javier Esparza (University of Munich, Germany) Salvatore La Torre (University of Salerno, Italy) Angelo Montanari (University of Udine, Italy) Mimmo Parente (University of Salerno, Italy) Wolfgang Thomas (Aachen University, Germany) LOCAL ORGANIZERS From LABRI, Université de Bordeaux -- https://www.labri.fr Auriane Dantes Katel Guerin Frédéric Herbreteau Jérôme Leroux Vincent Penelle Gabriele Puppis Grégorie Sutre From t.liu at unibo.it Thu May 23 10:41:38 2019 From: t.liu at unibo.it (Tong Liu) Date: Thu, 23 May 2019 10:41:38 +0200 Subject: LOPSTR 2019: Fist Call for Papers Message-ID: [LOPSTR 2019: Our apologies for possible duplicates] ===================================================================== LOPSTR 2019: Fist Call for Papers ====================================================================== 29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2019 http://www.cs.unibo.it/projects/lopstr19/ Porto, Portugal, October 8-10, 2019 (co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week) The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. The 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019) will be held at the Porto, Portugal. Previous symposia were held in Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve, Manchester and Frankfurt. LOPSTR 2019 will be co-located with the Symposium on Formal Methods, FM'19 and a part of the FM Week. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. Both full papers and extended abstracts describing applications in all these areas are especially welcome. Contributions are welcome on all aspects of logic-based program development, including, but not limited to: * synthesis * transformation * specialization * composition * optimization * inversion * specification * analysis and verification * testing and certification * program and model manipulation * machine learning for program development * integration of sub-symbolic and symbolic models * differential semantics * transformational techniques in SE * applications and tools Survey papers that present some aspects of the above topics from a new perspective, and application papers that describe experience with industrial applications are also welcome. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Important Dates Abstract submission: June 17, 2019 Paper/Extended abstract submission: June 24, 2019 Notification: July 24, 2018 Camera-ready (for electronic pre-proceedings): August 7, 2019 Symposium: October 8-10, 2019 Submission Guidelines Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. Submissions cannot exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via the Easychair submission website for LOPSTR 2019. Best Paper Award and Prize A best paper award will be granted, which will include a 500 EUR prize provided by Springer. This award will be given to the best paper submitted to the conference, based on the relevance, originality, and technical quality. The program committee may split the award among two or more papers, also considering authorship (e.g., student paper). Proceedings The formal post-conference proceedings will be published by Springer in the Lecture Notes in Computer Science series. Full papers can be directly accepted for publication in the formal proceedings, or accepted only for presentation at the symposium and inclusion in informal proceedings. After the symposium, all authors of extended abstracts and full papers accepted only for presentation will be invited to revise and/or extend their submissions in the light of the feedback solicited at the symposium. Then, after another round of reviewing, these revised papers may also be published in the formal proceedings. After the symposium, a selection of the best papers might be invited for submission to a special issue of a journal. Program Committee Sabine Broda - University of Porto, Portugal Manuel Carro - Technical University of Madrid and IMDEA, Spain Ugo Dal Lago - University of Bologna, Italy Daniel De Schreye - KU Leuven, Belgium Santiago Escobar - Polytechnic University of Valencia, Spain Moreno Falaschi - University of Siena, Italy Laurent Fribourg - CNRS, France Arnaud Gotlieb - SIMULA Research Laboratory, Norway Gopal Gupta - The University of Texas at Dallas, U.S.A Andy King - University of Kent, U.K. Herbert Kuchen - University of Muenster, Germany Jacopo Mauro - University of Southern Denmark, Denmark Hernan Melgratti - University of Buenos Aires, Argentina Maria Chiara Meo - University G. D'Annunzio, Chieti Pescara, Italy Carlos Olarte - Federal University of Rio Grande do Norte, Brazil Hirohisa Seki - Nagoya Institute of Technology, Japan Caterina Urban - INRIA, France Herbert Wiklicky - Imperial College London, U.K. Program Chair Maurizio Gabbrielli - University of Bologna, Italy General Chair of FM 19 Jose' Nuno Oliveira, INESC TEC & University of Minho Publicity Chair Tong Liu - University of Bologna, Italy From irdta at irdta.eu Thu May 30 18:27:37 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: SLSP 2019: extended submission deadline June 8 Message-ID: SLSP 2019: extended submission deadline June 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: June 8 ***** ------------------------------------------------------------------------------   **********************************************************************************   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/   **********************************************************************************   AIMS:   SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.   VENUE:   SLSP 2019 will take place in Ljubljana, a charming city full of art and one of the smallest capital cities in Europe. The venue will be:   Jožef Stefan Institute Jamova cesta 39 1000 Ljubljana Slovenia   https://www.ijs.si/ijsw/JSI   SCOPE:   The conference invites submissions discussing the employment of statistical models (including machine learning) within language and speech processing. Topics of either theoretical or applied interest include, but are not limited to:   anaphora and coreference resolution authorship identification, plagiarism and spam filtering computer-aided translation corpora and language resources data mining and semantic web information extraction information retrieval knowledge representation and ontologies lexicons and dictionaries machine translation multimodal technologies natural language understanding neural representation of speech and language opinion mining and sentiment analysis parsing part-of-speech tagging question-answering systems semantic role labelling speaker identification and verification speech and language generation speech recognition speech synthesis speech transcription spelling correction spoken dialogue systems term extraction text categorisation text summarisation user modeling   STRUCTURE:   SLSP 2019 will consist of:   invited talks peer-reviewed contributions posters   INVITED SPEAKERS:   Jure Leskovec (Stanford University), Learning and Reasoning with Knowledge Graphs   Alexandros Potamianos (National Technical University of Athens), Emotion and Behavioral Tracking in the Lab and in the Wild   Odette Scharenborg (Delft University of Technology), The Representation and Processing of Speech in Human Listeners and Deep Neural Network-based Automatic Speech Recognition Systems   PROGRAMME COMMITTEE:   Jon Barker (University of Sheffield, UK) Roberto Basili (University of Rome Tor Vergata, IT) Pushpak Bhattacharyya (Indian Institute of Technology, Bombay, IN) Fethi Bougares (University of Le Mans, FR) Philipp Cimiano (Bielefeld University, DE) Carol Espy-Wilson (University of Maryland, US) Nikos Fakotakis (University of Patras, GR) Robert Gaizauskas (University of Sheffield, UK) Julio Gonzalo (National Distance Education University, ES) Reinhold Häb-Umbach (Paderborn University, DE) John Hershey (Google, US) Julia Hirschberg (Columbia University, US) Jing Huang (JD AI Research, US) Mei-Yuh Hwang (Mobvoi AI Lab, US) Nancy Ide (Vassar College, US) Martin Karafiát (Brno University of Technology, CZ) Vangelis Karkaletsis (National Center for Scientific Research "Demokritos", GR) Tomi Kinnunen (University of Eastern Finland, FI) Sandra Kübler (Indiana University, US) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David Milne (University of Technology Sydney, AU) Marie-Francine Moens (KU Leuven, BE) Preslav Nakov (Qatar Computing Research Institute, QA) Elmar Nöth (University of Erlangen-Nuremberg, DE) Senja Pollak (Jožef Stefan Institute, SI) Stephen Pulman (University of Oxford, UK) Matthew Purver (Queen Mary University of London, UK) Mats Rooth (Cornell University, US) Tony Russell-Rose (UX Labs, UK) Horacio Saggion (Pompeu Fabra University, ES) Tanja Schultz (University of Bremen, DE) Efstathios Stamatatos (University of the Aegean, GR) Erik Tjong Kim Sang (Netherlands eScience Center, NL) Isabel Trancoso (Instituto Superior Técnico, PT) Josef van Genabith (German Research Center for Artificial Intelligence, DE) K. Vijay-Shanker (University of Delaware, US) Atro Voutilainen (University of Helsinki, FI) Hsin-Min Wang (Academia Sinica, TW) Hua Xu (University of Texas, Houston, US) Edmund S. Yu (Syracuse University, US) François Yvon (CNRS - Limsi, FR) Wlodek Zadrozny (University of North Carolina, Charlotte, US)   ORGANIZING COMMITTEE:   Tina Anžič (Ljubljana) Jan Kralj (Ljubljana) Matej Martinc (Ljubljana) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Senja Pollak (Ljubljana, co-chair) Matthew Purver (London) David Silva (London, co-chair) Anita Valmarska (Ljubljana)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=slsp2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNAI series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://slsp2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: June 8, 2019 – EXTENDED – Notification of paper acceptance or rejection: July 8, 2019 Final version of the paper for the LNCS/LNAI proceedings: July 15, 2019 Early registration: July 15, 2019 Late registration: September 30, 2019 Submission to the journal special issue: January 16, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Institut "Jožef Stefan"   Institute for Research Development, Training and Advice (IRDTA), Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From dennis.mueller at fau.de Thu May 30 18:27:37 2019 From: dennis.mueller at fau.de (=?UTF-8?Q?Dennis_M=c3=bcller?=) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: Call for Participation - Workshop on Large Mathematical Libraries (LML 2019) Message-ID:              Call for Participation         Workshop on Large Mathematics Libraries (LML 2019)      12th Conference on Intelligent Computer Mathematics                             - CICM 2019 -                            July 8-12, 2019                     CIIRC, Prague, Czech Republic                  http://www.cicm-conference.org/2019 ---------------------------------------------------------------------- Large formal and semiformal mathematics libraries are needed to support mathematics research, mathematics education, rigorous software development, and formal proof development.  This workshop will explore methods for designing, constructing, and maintaining large mathematics libraries as well as for finding, comparing, and applying the knowledge residing in these libraries. Key topics of interest will include:    o Methods for sharing knowledge between libraries.    o Modular techniques for organizing the knowledge within libraries.    o The translation of libraries to different languages and logics.    o The construction of new libraries by integrating existing      libraries.    o Tools for exploring the contents of large libraries.    o Observations about past results. The workshop will consist of two invited presentations and several contributed presentations and system demonstrations.  We welcome presentation and demonstration proposals in the form of extended 1-4 page abstracts formatted in LaTeX.  Abstracts should be sent via email to wmfarmer at mcmaster.ca and dennis.mueller at fau.de.  Abstracts of selected presentations and demonstrations will be published online. More details about LML 2019 are available at https://www.cicm-conference.org/2019/cicm.php?event=lml&menu=general Important Dates    o Abstract submission: June 24, 2019    o Notification:        July 01, 2019    o Workshop:            July 10, 2019 Registration Registration to CICM 2019 and the workshops is open at the CICM website or directly at https://www.cicm-conference.org/2019/cicm.php?event=&menu=registration -- Dennis M. Müller "To do mathematics is to be, at once, touched by fire and bound by reason. This is no contradiction. Logic forms a narrow channel through which intuition flows with vastly augmented force" - Jordan Ellenberg (How Not to Be Wrong) From lpulina at uniss.it Thu May 30 18:27:37 2019 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract of regular paper submission: (was 28 May 2019) 18 June 2019 Regular paper submission: (was 4 June 2019) 25 June 2019 Notification to authors of regular papers: (was 23 July 2019) 13 August 2019 Camera ready of regular papers: (was 3 September 2019) 17 September 2019 Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019 Discussion paper submission: (was 4 June 2019) 9 July 2019 Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019 Camera ready of discussion papers: (was 3 September 2019) 1 October 2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From M.M.Dastani at uu.nl Thu May 30 18:27:37 2019 From: M.M.Dastani at uu.nl (Dastani, M.M. (Mehdi)) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: ESSLLI 2020: Call for Course and Workshop Proposals Message-ID: *ESSLLI 2020: Extension deadline for submissions* Upon several requests, the ESSLLI 2020 programme committee extends the deadline using a two step process as specified below 32nd European Summer School in Logic, Language and Information - ESSLLI 2020 3-14 August, 2020, Utrecht, The Netherlands https://www.esslli.eu IMPORTANT DATES: 1 June 2019: Pre-proposal Course Title submission deadline (mandatory) 9 June 2019: Final submission 14 September 2019: Notification "Pre-proposal Course Title" submission deadline: You are asked to submit at least the name(s) of the instructor(s), the ESSLLI area+course level and a short abstract in EasyChair. Final submission: By the 9th of June the submission has to be completed by uploading the PDF with the actual proposal as detailed below. NEWS: If there is enough interest, ESSLLI OC will provide information on private child care services available during the summer school. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From frank.loebe at informatik.uni-leipzig.de Thu May 30 18:27:37 2019 From: frank.loebe at informatik.uni-leipzig.de (Frank Loebe) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: ODLS 2019: CfP, by June 15 (Ontologies and Data in Life Sciences; part of JOWO 2019, Sep 23-25, Graz, Austria) Message-ID: (apologies for cross-posting ... please distribute) ------------------------------------------------------- Call for Papers >> ODLS 2019 << Pre-Registration by: May 31, 2019 Submission deadline: June 15, 2019 !STRICT! https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS UPDATES in this CfP compared to the previous one: + 2 related tutorials at JOWO: (-> last but one section below) * Semantic similarity and machine learning with ontologies * SNOMED CT Tutorial + first 19 confirmed PC members ------------------ Workshop on Ontologies and Data in Life Sciences (ODLS 2019) held as part of the Joint Ontology Workshops (JOWO 2019) September 23-25, 2019 Graz, Austria Scope and Goals of the Workshop ------------------------------- Medicine, biology and life sciences produce hardly manageable and often incomprehensible amounts of data, information, and knowledge. Their computer-based retrieval, processing, integration, as well as their conceptual foundation, application, and reuse present ever new challenges to existing methods of knowledge representation, data bases, and data analysis and retrieval. In the life sciences, enormous data sets are being produced in connection with biological and medical experiments, e.g. by high-throughput methods, aiming to unravel biological interconnections for a better understanding in order to offer patients the best possible therapies. Data management and data processing in the life sciences and in health care demand sophisticated methods and solutions for the integration and usage of distributed, heterogeneous data. This workshop covers the overall spectrum of biomedical information management, from experimental data acquisition and preprocessing across analysis, structuring and interpretation of data, up to developing structured representations of knowledge, in particular in the form of ontologies, with their various applications. The aims of this workshop are to exchange ideas, to discuss new results and applications as well as to inspire cooperation. The workshop has an interdisciplinary character. It fosters the collaboration between ontologists, computer scientists, bio-informaticians, medical information scientists, philosophers, and applied logicians, as well as the cooperation with physicians, bio-chemists, and biometricians. Scientists, professionals as well as students in academia and industry are welcome to share their knowledge and experience at ODLS. As in 2017, ODLS is part of the Joint Ontology Workshops (JOWO) [2]. This yields a stimulating environment of several thematically close workshops and tutorials, including shared keynote talks and possibly further joint sessions, thereby raising interdisciplinary exchange to a new level. Topics ------ The following topics are all of equal relevance to the workshop, while the list is not exhaustive. Submissions regarding other related or similar topics are likewise welcome. * Ontologies and ontological analysis in biology, medicine and clinical research, e.g. * Ontologies for biological or medical phenotypes * Ontologies for biochemistry, neuro-biology, ecology * Process ontologies in systems biology and medicine * Ontologies for the specification of clinical trial data * Foundational ontologies (with indicated applications in life sciences), e.g. of time and space, properties, roles, functions, material objects * Medical terminologies and their applications * Linking ontologies to terminologies, models and data standards * Methods and tools for the development, management and application of ontologies, e.g. * Ontology crossreferencing, mapping, integration and evolution * Quality assurance, best practices and evaluation of ontologies * Provenance, audit and evidence ontologies in life sciences * Ontology learning and refinement, e.g. by text mining * Ontology portals and libraries * Integrative data semantics * Semantic or ontology-based data annotation, enrichment, analysis and interpretation * Data management methods and systems in biology, medicine and health care, e.g. for * Heterogeneity and integration of data, including of Linked Data and Big Data * Management, retrieval and sharing of big data and/or complex data sets * Curation, analysis and visualization of data in life sciences * Omics-data for diagnosis and therapy * Biomedical metadata and metadata management * Generic transformation of clinical data into Semantic Web standards * Data protection of clinical data * Text mining and transformation of unstructured into structured data * Use of biomedical ontologies in text mining * Applications of biomedical ontologies in the Semantic Web, for Linked Open Data or Big Data * Life sciences applications enabled by the Semantic Web or Linked Open Data Important Dates --------------- [all dates in 2019] Submission of contributions 1. register title and abstract paragraph(s) May 31 (Fri) 2. submission of the actual contribution(s) June 15 (Sat) !STRICT! Author notification July 19 (Fri) Submission of camera-ready version August 13 (Tue) Registration for ODLS/JOWO (TBA by JOWO) ODLS Workshop during September 23-25 (Mon-Wed) Please NOTE: The submission deadline includes no further room for extensions and adheres to (updated) constraints imposed by JOWO. Registering planned contributions is a new requirement for all JOWO workshops as of May 08, 2019. It suffices to specify a title and abstract paragraph(s), both of which can be tentative, but should be indicative of the coming submission. Planned contributions of both submission categories should be registered by May 31, 2019, please. Submission Instructions ----------------------- The primary type of submissions called for the workshop are (i) papers of 5-12 pages. Any such length is equally welcome, including all references and a required abstract of at most 300 words. In addition, (ii) extended abstracts of 2-4 pages are another type of acceptable submissions in order to ease participation and presentation at the workshop, but extended abstracts may not be included in the proceedings eventually. Papers are expected to present previously unpublished work, whereas extended abstracts may also cover recent work that has been accepted or presented elsewhere. Authors submit their contributions via EasyChair to JOWO 2019 [3], selecting the relevant track for ODLS. [3] https://easychair.org/conferences/?conf=jowo2019 Contributions must be delivered in English, non-anonymously and as a single PDF file. The formatting for all workshops of JOWO 2019 shall comply with the IOS Press formatting guidelines for book authors. Templates [4] are available for LaTeX as well as for Microsoft Word. Accepted papers will be made freely available in a joint JOWO volume of CEUR Workshop Proceedings, published in the IAOA Series [5]. After the workshop authors of selected contributions will be invited to submit extended versions to the Journal of Biomedical Semantics (JBMS) [6]. These manuscripts must also be written in English and will be re-reviewed. Scientific Organization ----------------------- ODLS 2019 is associated with the workgroup Ontologies in Medicine and Life Sciences (OBML) [7] within the German Informatics Society (GI), and it relates to the International Association for Ontology and its Applications (IAOA) [8] by being part of JOWO 2019 [2]. Scientific Organizers: * Martin Boeker, University of Freiburg, Germany * Ludger Jansen, University of Rostock, Germany * Frank Loebe, University of Leipzig, Germany <-- main contact * Stefan Schulz, Medical University of Graz, Austria Program Committee ----------------- * Adrien Barton, Toulouse Institute of Computer Science Research (IRIT), France * Martin Boeker, University of Freiburg, Germany * Jesualdo Tomas Fernandez-Breis, University of Murcia, Spain * Fred Freitas, Federal University of Pernambuco (UFPE), Recife, Brazil * Heinrich Herre, University of Leipzig, Germany * Robert Hoehndorf, King Abdullah University of Science and Technology (KAUST), Thuwal, Saudi Arabia * Ralf Hofestaedt, Bielefeld University, Germany * Ludger Jansen, University of Rostock, Germany * Toralf Kirsten, Mittweida University of Applied Sciences, Germany * Frank Loebe, University of Leipzig, Germany * Phillipp Lord, Newcastle University, UK * Mariana Neves, Federal Institute for Risk Assessment, Berlin, Germany * Axel-Cyrille Ngonga Ngomo, Paderborn University, Germany * Daniel Schober, Leibniz Institute of Plant Biochemistry (IPB), Halle (Saale), Germany * Stefan Schulz, Medical University Graz, Austria * Aleksandra Sojic, Institute of Biomedical Technologies, National Research Council (ITB-CNR), Milano, Italy * Holger Stenzhorn, University Hospital Tuebingen, Germany * Robert Stevens, University of Manchester, UK * Dagmar Waltemath, University of Greifswald, Germany < further inquiries pending > Location and Local Organization ------------------------------- The workshop is part of JOWO 2019 [2], which is hosted by the Medical University of Graz, Austria [9]. Local Organizers: * Pablo Lopez-Garcia * Catalina Martinez Costa <-- main local contact * Jose Antonio Minarro Gimenez * Stefan Schulz Thematically Related Tutorials at JOWO 2019 ------------------------------------------- At least two of the five tutorials offered at JOWO 2019 [10] are highly related to some topics of ODLS: * Semantic similarity and machine learning with ontologies [11] Organizer: Robert Hoehndorf, KAUST, Thuwal, Saudi-Arabia * SNOMED CT Tutorial Organizer: Stefan Schulz, Medical University of Graz, Austria The remaining three tutorials at JOWO [10] may also be interest. Links ----- [1] ODLS 2019 Workshop https://wiki.imise.uni-leipzig.de/Gruppen/OBML/Workshops/2019-ODLS [2] JOWO 2019 website https://iaoa.org/jowo/2019/ [3] JOWO 2019 conference in EasyChair https://easychair.org/conferences/?conf=jowo2019 [4] IOS Press templates for book authors https://www.iospress.nl/service/authors/latex-and-word-tools-for-book-authors/ [5] CEUR Workshop Proceedings: IAOA Series http://ceur-ws.org/iaoa.html [6] Journal of Biomedical Semantics https://jbiomedsem.biomedcentral.com/ [7] OBML workgroup https://wiki.imise.uni-leipzig.de/Gruppen/OBML [8] IAOA https://iaoa.org/ [9] Local organization: Medical University of Graz https://www.medunigraz.at/en/ [10] JOWO 2019 Tutorials https://iaoa.org/jowo/jowo2019tutorials.html [11] Semantic similarity and machine learning with ontologies https://github.com/bio-ontology-research-group/ontology-tutorial From adase at skoltech.ru Thu May 30 18:27:37 2019 From: adase at skoltech.ru (adase) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: Machine Learning Summer School #MLSS 2019 LAST CALL, deadline is May, 31 Message-ID: Dear Colleagues, This is the the last call for application to -------------------------------------------------------------------------- MACHINE LEARNING SUMMER SCHOOL at the Skolkovo Institute of Science and Technology in Moscow, Russia from the 26th of August to the 6th of September 2019 http://mlss2019.skoltech.ru -------------------------------------------------------------------------- Overview -------------------------------------------------------------------------- The machine learning summer school provides PhD students, faculty, industry professionals and selected Master's students with an intense learning experience on the theory and applications of modern machine learning. Over the course of two weeks, a group of internationally renowned experts will offer lectures and tutorials covering the state of the art in the field. Confirmed Speakers -------------------------------------------------------------------------- * Arthur Gretton (University College London) - Kernels * Isabel Valera (Max Planck Institute for Intelligent Systems) - Fairness & Interpretability * Joris Mooij (University of Amsterdam) - Causality * Justin Solomon (MIT) - 3D Deep Learning * Marco Cuturi (CREST-ENSAE) - Optimal Transport * Mark Girolami (Imperial College London) - Bayesian Optimization / Probabilistic Numerics * Michael Bronstein (Imperial College London) - Graph neural network * Michel Besserve (Max Planck Institute for Intelligent Systems) - ML in Neuroscience * Nicolo Cesa-Bianchi (Universita degli Studi di Milano) - Online Learning * Shimon Whiteson (University of Oxford) - Reinforcement Learning * Ulrich Bauer (TU Munich) - Topological Data Analysis * Yarin Gal (University of Oxford) - Bayesian Deep Learning Application process -------------------------------------------------------------------------- Applications from graduate students, faculty and members of industry in quantitative fields are welcome. This includes researchers in applied fields as well as students of machine learning itself. Partial and full scholarships will be offered to strong candidates. Applicants are asked to submit a CV (max 2 pages), a cover letter (max 500 words), up to two letters of recommendations (max 500 words). We are also seeking to give participants a chance to discuss their own work. Hence, each applicant is highly encouraged to provide the title and abstract of a poster they would like to present at the school. The application system is open now. For more information visit http://mlss2019.skoltech.ru Important Dates -------------------------------------------------------------------------- * Mon, 4 March 2019: Application system opens. * Fri, 6 May 31 May 2019 23:59 Pacific Time: Deadline for applications. * Fri, 12 May 31 May 2019 23:59 Pacific Time: Deadline for submission of reference letters. * Mon, 6 June 2019: Notification of acceptance. * Fri, 17 June 2019: Registration fees due. * Mon, 26 August to Fri, 6 September 2019: MLSS takes place. Organizers -------------------------------------------------------------------------- Fernando Perez Cruz, Evgeny Burnaev, Rodrigo Rivera Castro Inquiries should be directed to adase(at)skoltech.ru P.S. Thanks to financial support of several leading companies allows for fees to be reduced to 6000 RUB for students at Russian universities. Due to the relevance of this announcement, the application deadline for the Machine Learning Summer School has been extended to May 31. -------------- n?chster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu May 30 18:27:37 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: The 6th Vampire Workshop - CFP Message-ID: ========================= Vampire 2019: The 6th Vampire Workshop July 7, 2019, affiliated with SAT 2019 Lisboa, Portugal https://easychair.org/smart-program/Vampire2019/index.html ========================= CALL FOR PAPERS ========================= IMPORTANT DATES: - Submission deadline: June 16, 2019 - Notification of acceptance: June 19, 2019 - Workshop day: July 7, 2019 WORKSHOP AIM: The workshop aims at discussing the development and use of the first-order theorem prover Vampire. The workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. Workshop participants will include both Vampire developers and users and provides a convenient opportunity for interesting discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The developers can learn more about the use of Vampire, its efficiency in various application areas and needs of the users. The workshop is going to to shed the light on on problems such as - what is essential for substantial progress in theorem proving tools; - what are the best implementation principles to be used; - what are the best heuristics and strategies, depending on application areas; - both successful and unsuccessful case studies; - missing features in modern theorem provers. The workshop will also overview the most recent advances made in Vampire. PAPER SUBMISSION: We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 1-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair LaTeX, Microsoft Word, or ODT templates, which can be found at: http://www.easychair.org/publications/epic-templates. Submissions should be made using EasyChair, via the link : https://easychair.org/conferences/?conf=vampire2019 The workshop proceedings is planned to be published in the EasyChair EPiC series. PROGRAM CHAIRS: Laura Kovacs (Vienna University of Technology) Andrei Voronkov (University of Manchester and EasyChair) ------------------------------------------------------------------------------ From lpulina at uniss.it Thu May 30 18:27:37 2019 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems Message-ID: [apologies if you receive multiple copies of this message] ------------------------------------------------------------------------------ 2nd PhD Workshop on Cyber-Physical Systems Porto Conte Ricerche - Alghero - Sardinia - Italy September 23, 2019 http://www.cpsschool.eu/cps-workshop/ ------------------------------------------------------------------------------ The PhD Workshop on Cyber-Physical Systems (CPS) is an initiative of the CPS Summer School community to offer participants a close contact with leading experts on the field,  as well as the opportunity to present and discuss their ideas in a dynamic and friendly setting. We invite PhD students to submit papers describing their research on any of the topics of interest of the school. Topics of Interest Models, methods, tools, and architectures for CPS Testing, modelling, and validation of CPS Verification and formal methods for CPS Intelligent methods and algorithms for CPS Reactive and real-time systems Reconfigurable and self-aware systems On-line monitoring and management of CPS Security, trust and dependability of CPS Examples of CPS applications Submission The submissions should contain a description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The accepted papers will be presented during the evening on the September 23th to an interested audience and will be discussed with a panel of senior researchers from academia and the industry. Participants will present their work with brief oral presentations and poster session. Papers are expected to be 6-10 pages (excluding references), written in English following the LNCS format and submitted electronically in PDF format via EasyChair (https://easychair.org/conferences/?conf=cpsws19). Important deadlines Submission by 21 June 2019 Notification by 28 June 2019 Camera-ready by 5 July 2019 Proceedings Accepted papers will be published online as part of CEUR- WS Proceedings, which are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic databases such as DBLP. N.B. Papers accepted will only be included in the published Proceedings under the condition that at least one author attend the workshop to present it. Fees Workshop only: 30 € for PhD student, and 50 € for others. Workshop Chair Luca Pulina, University of Sassari -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From lpulina at uniss.it Thu May 30 18:27:37 2019 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 30 May 2019 18:27:37 +0200 Subject: Call for Participation - CPS Summer School 2019 Message-ID: [apologies if you receive multiple copies of this message] ------------------------------------------------------------------------------ CPS Summer School 2019 Designing Cyber-Physical Systems – From concepts to implementation Porto Conte Ricerche - Alghero - Sardinia - Italy September 23-27, 2019 http://www.cpsschool.eu ------------------------------------------------------------------------------ Cyber-physical systems (CPS) are complex and autonomous ensembles of different components that interact to offer smart and adaptive functionalities. These systems are increasingly used in a variety of applications with a growing market, potentially bringing about significant social benefits. However, there is no such thing as a free lunch, and there area several new challenges and trade-offs to face when designing CPS, especially since they should be able to adapt to the changing environments, or heal themselves. Uncertain operation environments and interactions with humans as users and/or as operators complicate the scenarios of these ever increasingly pervasive systems. The CPS summer school is targeted at students, research scientists, and R&D experts from academia and industry, who want to learn about CPS engineering and applications. The program is composed of both lectures and practical sessions, covering all the design phases of CPS (i.e., from concept to the definition of the final system and the discussion of the key challenges). Topics (http://www.cpsschool.eu/program/) include, but are not limited to, the following: - Market trends for CPS - Hardware/software and multi-view modelling - Adaptivity - Low power design of heterogeneous systems - Tools for dataflow design, high-level synthesis, hardware/software co-design, and coarse/fine reconfiguration Application and Registration (http://www.cpsschool.eu/application/) The school is open to up to 40 participants. Application deadline: June 10, 2019. Notification deadline: June 15, 2019. Confirmed Speakers (http://www.cpsschool.eu/confirmed-speakers/) include the following lecturers: - Davide Ariu, PluribusOne, Cagliari (Italy) - Luca Carloni - Columbia University, New York City (USA) - Luigia Carlucci Aiello, La Sapienza University, Rome (Italy) - Jeronimo Castrillon, Technische Universität Dresden, Dresden (Germany) - Nuria de Lama, Vice-Secretary General (BDVA) and European Programs Manager (Atos) - Nikil Dutt - University of California, Irvine (USA) - Giovanni Pruneddu - University of Sassari, Sassari (Italy) - Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA) - Armando Tacchella - University of Genova, Genova (Italy) Organization Francesca Palumbo, Università degli Studi di Sassari (ITA) [School Director, fpalumbo at uniss.it] Christian Pilato, Politecnico di Milano (ITA) Luca Pulina, Università degli Studi di Sassari (ITA) Carlo Sau, Università degli Studi di Cagliari (ITA) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904