From takeshi_takahashi at nict.go.jp Thu Oct 4 11:10:25 2018 From: takeshi_takahashi at nict.go.jp (Takeshi Takahashi) Date: Thu, 04 Oct 2018 11:10:25 +0200 Subject: [Deadline extended to October 19] CFP: Springer IJIS, Special Issue on "IoT Security and Privacy" Message-ID: Dear All, We are pleased to announce that the submission deadline has been extended to October 19. Please consider submitting to the special issue of International Journal of Information Security on "IoT Security and Privacy". Please find the details described below. We look forward to your submissions! Best regards, Guest Editors Call for Papers --------------- Springer International Journal of Information Security Special Issue on “IoT Security and Privacy” https://ijis-si-iotsec.github.io/ https://link.springer.com/journal/10207 The Internet is gradually transforming from a communication platform for conventional IT appliances into the Internet of Things (IoT), increasingly interconnecting many assorted devices and sensors. These devices are generally referred as IoT devices, and many of them are inexpensive and can be constrained in terms of energy, bandwidth and memory. The establishment of IoT ecosystems in various domains is bringing multiple benefits to human users and companies alike. Example of such domains include Smart Homes, Smart Cities, the Industrial Internet and even Intelligent Transportation Systems. However, the IoT as a whole – including related paradigms such as Machine-to-Machine (M2M) and Cyber-Physical Systems (CPS) – is susceptible to a multitude of threats. In fact, many IoT devices currently are insecure and have many security vulnerabilities. For example, many vulnerable IoT devices which have been infected with malware have subsequently become comprised into large botnets, resulting in devastating DDOS attacks. Consequently, ensuring the security of such IoT ecosystems – before, during, and after an attack takes place – is a crucial issue for our society at this moment. This special issue aims to collect contributions by leading-edge researchers from academia and industry, show the latest research results in the field of IoT security and privacy, and provide valuable information to researchers as well as practitioners, standards developers and policymakers. Its aim is to focus on the research challenges and issues in IoT security. Manuscripts regarding novel algorithms, architectures, implementations, and experiences are welcome. Topics include but are not limited to: * Secure protocols for IoT devices * Privacy solutions and privacy helpers for IoT environments * Trust frameworks and secure/private collaboration mechanisms for IoT environments * Secure management and self-healing for IoT environments * Operative systems security for IoT devices * Security diagnosis tools for IoT devices * Threat and vulnerability detection in IoT environments * Anomaly detection and prevention mechanisms in IoT networks * Case studies of malware analysis in IoT environments * IoT forensics and digital evidence * Testbeds and experimental facilities for IoT security analysis and research * Standardization activities for IoT security * Security and privacy solutions tailored to specific IoT domains and ecosystems Submission Guidelines ----------------------- Authors should prepare their manuscripts according to the “Instructions for Authors” guidelines outlined at the journal website: http://www.springer.com/computer/security+and+cryptology/journal/10207 Note that the journal sets no page limit, although we encourage authors to keep their submissions to a length that’s in the ballpark of the accepted articles (unless there are special reasons to submit something longer), i.e., less than 30 pages, in order to expedite the review process. All papers will be peer-reviewed, by following a regular reviewing procedure. Guest Editors --------------- Takeshi Takahashi, National Institute of Information and Communications Technology, Japan Rodrigo Roman Castro, Universidad de Málaga, Spain Ryan Ko, University of Waikato, New Zealand Bilhanan Silverajan, Tampere University of Technology, Finland Said Tabet, EMC Corporation, USA (Guest Editors of the special issue of International Journal of Information Security on "IoT Security and Privacy") -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Oct 4 11:10:25 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 04 Oct 2018 11:10:25 +0200 Subject: A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics Message-ID: The 13th International Workshop on the Implementation of Logics http://www.eprover.org/EVENTS/IWIL-2018.html CALL FOR PAPERS Second Phase Submission Deadline: October 11, 2018. Authors will be notified by: October 19th, 2018. The 13th International Workshop on the Implementation of Logics will be held on 16th November 2018, in conjunction with the 22nd International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, at the Haile Resort in Awassa, Ethiopia. We are looking for contributions describing implementation techniques for and implementations of automated reasoning programs, theorem provers for various logics, logic programming systems, and related technologies. Topics of interest include, but are not limited to: + Propositional logic and decision procedures, including SMT + First-order and higher order logics + Non-classical logics, including modal, temporal, description, non-monotonic reasoning + Formal foundations for efficient implementation of logics + Data structures and algorithms for the efficient representation and processing of logical concepts + Proof/model search organization and heuristics for logical reasoning systems + Data analysis and machine learning approaches to search control + Techniques for proof/model search visualization and analysis + Reasoning with ontologies and other large theories + Implementation of efficient theorem provers and model finders for different logics + System descriptions of logical reasoning systems + Issues of reliability, witness generation, and witness verification + Evaluation and benchmarking of provers and other logic-based systems + I/O standards and communication between reasoning systems We are particularly interested in contributions that help the community to understand how to build useful and powerful reasoning systems, and how to apply them in practice. Researchers interested in participating are invited to submit a position statement (2 pages), a short paper (up to 5 pages), or a full paper (up to 15 pages) via the EasyChair page for IWIL-2018. https://easychair.org/conferences/?conf=iwil2018 Submissions will be refereed by the program committee, which will select a balanced program of high-quality contributions. Submissions should be in standard-conforming PDF. Final versions will be required to be submitted in LaTeX using the easychair.cls class file. The proceedings will be published as a volume of Kalpa Publications in Computing. Important Dates: First phase: + Submission of papers/abstracts: October 1st, 2018 + Notification of acceptance: October 12th, 2018 Second phase: + Submission of papers/abstracts: October 11st, 2018 + Notification of acceptance: October 19th, 2018 + Camera ready versions due: October 29th, 2018 + Workshop: November 16th, 2018 Program committee: Konstantin Korovin (Co-Chair) University of Manchester Stephan Schulz (Co-Chair) DHBW Stuttgart Martin Suda (Co-Chair) Czech Technical University in Prague Armin Biere Johannes-Kepler Universitaet Linz Jasmin Christian Blanchette Vrije Universiteit Amsterdam, LORIA Nancy Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA Yevgeny Kazakov Ulm University Jens Otten University of Oslo Giles Reger University of Manchester Andrew Reynolds University of Iowa Martina Seidl Johannes-Kepler Universit??t Linz Alexander Steen Freie Universitaet Berlin Geoff Sutcliffe University of Miami Josef Urban Czech Technical University From cfp at mat.unical.it Thu Oct 4 11:10:25 2018 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Thu, 04 Oct 2018 11:10:25 +0200 Subject: JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards Message-ID: [apologies for multiple postings] == CALL FOR PAPERS == The Program Committee of the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) invites the submission of technical papers for the conference that will be held in Rende, Italy, from May 8th to May 10th, 2019. The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. == RELEVANT TOPICS == Conference topics include, but are not limited to: * Abductive and inductive reasoning * Answer set programming * Applications of logic-based AI systems * Argumentation systems * Automated reasoning including satisfiability checking and its extensions * Computational complexity and expressiveness * Deep learning for rules and ontologies * Deontic logic and normative systems * Description logics and other logical approaches to Semantic Web and ontologies * Explanation finding * Knowledge representation, reasoning, and compilation * Logic programming, answer set programming, constraint logic programming * Logic-based data access and integration * Logical interpretation of machine learning models * Logics for uncertain and probabilistic reasoning * Logics in machine learning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Ontology formalisms and models * Ontology-based query answering * Ontology-based reasoning * Planning and diagnosis based on logic * Preferences * Reasoning about actions and causality * Updates, belief revision and nonmonotonic reasoning == AWARDS AND PRIZES == The Best Paper and the Best Student Paper of the conference will receive a cash prize of EUR 500 each, offered by Springer. The authors of both best papers will be invited to submit abridged versions of their work to the IJCAI 2019 Sister Conference Best Paper Track. The authors of the top-notch contributions (from 3 to 6 papers, including both best papers) will be invited to submit long and more elaborate versions of their work for a special issue of Theory and Practice of Logic Programming (TPLP). == IMPORTANT DATES == Abstract submission deadline 26 November 2018 (23:59 UTC-12) Paper submission 03 December 2018 (23:59 UTC-12) Notification of acceptance 16 January 2019 Best paper notification 31 January 2019 Camera-ready due 28 February 2019 Online registration opens 01 March 2019 Conference start 08 May 2019 == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2019 For formatting guidelines, see more information on https://jelia2019.mat.unical.it/submission JELIA 2019 welcomes submissions of long or short papers in the following categories: Regular papers. Submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere. System/Application descriptions. Submissions should describe an implemented system/application and its application area(s). A demonstration should accompany a system/application presentation. Papers describing systems or applications that have already been presented in JELIA before will be accepted only if significant and clear enhancements have been implemented and are properly reported. All submissions should not exceed 13 (resp., 6) pages for long (resp., short) papers, including figures etc., but excluding references, and should be written in English. Submissions must be formatted according to the standard Springer LNCS style, and are not anonymous. The conference proceedings of JELIA 2019 will be published by Springer-Verlag in the Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (Important note: Springer will require all the LaTeX source files of all accepted submissions). == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2019 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. == ENQUIRIES == Please send all enquiries at the email address jelia2019 at mat.unical.it == COMMITTEES == General Chair * Nicola Leone (University of Calabria) Program Chairs * Francesco Calimeri (University of Calabria) * Marco Manna (University of Calabria) Organization Chairs * Carmine Dodaro (University of Genova) * Valeria Fionda (University of Calabria) Publicity Chair * Simona Perri (University of Calabria) Program Committee * Mario Alviano (University of Calabria) * Carlos Areces (Universidad Nacional de Córdoba) * Franz Baader (Technische Universität Dresden) * Peter Baumgartner (CSIRO) * Salem Benferhat (CNRS, Université d'Artois) * Meghyn Bienvenu (CNRS, University of Bordeaux) * Alexander Bochman (Holon Institute of Technology) * Gerhard Brewka (Universität Leipzig) * Pedro Cabalar (Universidade da Coruña) * David Carral (Technische Universität Dresden) * Giovanni Casini (Université du Luxembourg) * Cristina Civili (Samsung R&D Institute United Kingdom) * Mehdi Dastani (Utrecht University) * James Delgrande (Simon Fraser University) * Ulle Endriss (Universiteit van Amsterdam) * Wolfgang Faber (Alpen-Adria-Universität Klagenfurt) * Luis Farinas Del Cerro (CNRS) * Eduardo Fermé (Universidade da Madeira) * Michael Fisher (University of Liverpool) * Michael Gelfond (Texas Tech University) * Laura Giordano (Università del Piemonte Orientale) * Lluis Godo (IIIA-CSIC) * Tomi Janhunen (Aalto University) * Gabriele Kern-Isberner (Technische Universitaet Dortmund) * Roman Kontchakov (University of London) * Jérôme Lang (CNRS, Université Paris-Dauphine) * Joohyung Lee (Arizona State University) * Joao Leite (Universidade NOVA de Lisboa) * Vladimir Lifschitz (University of Texas at Austin) * Thomas Lukasiewicz (University of Oxford) * Marco Maratea (University of Genova) * Jerzy Marcinkowski (Uniwersytet Wrocławski) * Pierre Marquis (CNRS, Université d'Artois) * Thomas Meyer (CAIR, University of Cape Town) * Angelo Montanari (University of Udine) * Michael Morak (Technische Universität Wien) * Manuel Ojeda-Aciego (University of Malaga) * Magdalena Ortiz (Technische Universität Wien) * David Pearce (Universidad Politécnica de Madrid) * Rafael Peñaloza (Free University of Bozen) * Luís Moniz Pereira (Universidade Nova de Lisboa) * Andreas Pieris (University of Edinburgh) * Henri Prade (CNRS, Université Paul Sabatier) * Francesco Ricca (University of Calabria) * Fabrizio Riguzzi (University of Ferrara) * Jussi Rintanen (Aalto University) * Uli Sattler (University of Manchester) * Mirek Truszczynski (University of Kentucky) * Toby Walsh (University of New South Wales) * Frank Wolter (University of Liverpool) * Stefan Woltran (Technische Universität Wien) From Cassia.Trojahn at irit.fr Thu Oct 4 11:10:25 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 04 Oct 2018 11:10:25 +0200 Subject: EKAW 2018 =?utf-8?q?=3A?= call for participation Message-ID: EKAW 2018 - Call for participation ================================== https://project.inria.fr/ekaw2018/ The 21st International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), will be held during November 12-16, 2018 in Nancy, France, at Inria Nancy – Grand-Est. Complete information is available at https://project.inria.fr/ekaw2018/ EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. The conference program is available at https://project.inria.fr/ekaw2018/conference-program/ Come in Nancy and enjoy EKAW 2018! Amedeo Napoli (CNRS, France) and Yannick Toussaint (Université de Lorraine, France) General chairs From icaart at insticc.info Thu Oct 4 11:10:25 2018 From: icaart at insticc.info (icaart at insticc.info) Date: Thu, 04 Oct 2018 11:10:25 +0200 Subject: CFP ICAART 2019 - 11th Int.l Conf. on Agents and Artificial Intelligence (Prague/Czech Republic) Message-ID: SUBMISSION DEADLINE 11th International Conference on Agents and Artificial Intelligence Submission Deadline: October 22, 2018 http://www.icaart.org/ February 19 - 21, 2019 Prague, Czech Republic. ICAART is organized in 2 major tracks: - Agents - Artificial Intelligence In Cooperation with: ACM SIGCHI, ACM SIGGRAPH, EUROGRAPHICS and AFIG.
Proceedings will be submitted for indexation by: DBLP, DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Penousal Machado, University of Coimbra, Portugal Carla Gomes, Cornell University, United States Michal Pechoucek, Czech Technical University in Prague, Czech Republic Lambert Schomaker, University of Groningen, Netherlands A short list of presented papers will be selected so that revised and extended versions of these papers will be published by Springer. All papers presented at the congress venue will also be available at the SCITEPRESS Digital Library (http://www.scitepress.org/DigitalLibrary/). Should you have any question please don't hesitate contacting me. Kind regards, ICAART Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 185 Fax: +351 265 520 186 Web: http://www.icaart.org/ e-mail: icaart.secretariat at insticc.org From irdta at irdta.eu Mon Oct 8 09:03:15 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 08 Oct 2018 09:03:15 +0200 Subject: LATA 2019: 2nd call for papers Message-ID: LATA 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2019   Saint Petersburg, Russia   March 25-29, 2019   Organized by:             Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London   http://lata2019.irdta.eu/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The conference site shall be the historical Twelve Collegia building (https://en.wikipedia.org/wiki/Twelve_Collegia), built in ca. 1740, which was used for the Russian government in the 18th century, and which has been the main building of Saint Petersburg State University since 1835.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2019 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS: (to be completed)   Henning Fernau (University of Trier), Modern Aspects of Complexity within Formal Languages   Edward A. Lee (University of California, Berkeley), Observation, Interaction, Determinism, and Free Will   Vadim Lozin (University of Warwick), From Words to Graphs, and Back   Esko Ukkonen (University of Helsinki), Pattern Discovery in Biological Sequences   PROGRAMME COMMITTEE:   Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Markus Holzer (University of Giessen, DE) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Karen Rudie (Queen's University, CA) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (Data61, CSIRO, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL)   ORGANIZING COMMITTEE:   Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2019   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://lata2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Санкт-Петербургский государственный университет   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ricca at mat.unical.it Mon Oct 8 09:03:15 2018 From: ricca at mat.unical.it (Francesco Ricca) Date: Mon, 08 Oct 2018 09:03:15 +0200 Subject: AI*IA Outgoing Mobility Grants 2018 Message-ID: =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= AI*IA Outgoing Mobility Grants 2018 Call for research visits Deadline for applications: November 30th, 2018 =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the AI*IA Outgoing Mobility Grants for 2018. Applications are solicited for funding a research visit abroad of a PhD student enrolled at an Italian University. AI*IA will cover the travel costs and living expenses (up to 2,000 euros) of successful applicants. The funding will be provided as a reimbursement for the expenses incurred in the visit. After the visit, the awarded person should send the Association the receipts of her/his costs for which she/he would like to be refunded. The central aim of these long visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal (http://www.iospress.nl/journal/intelligenza-artificiale/). Applications can be made by students enrolled full-time in a PhD programme at an Italian University. The applicant must be a member of the Association for 2018. If she/he is not a member for 2018 she/he must register before applying. Funding is available for 2 students. The visit should start between the 1st of January 2019 and the 31th of December 2019. Deadline for applications: November 30th, 2018 Notification of grants: December 15th, 2018 The information required in the application are: 1. name of the Italian PhD student who will go abroad; 2. name of the foreign researcher who will host the student; 3. name and address of the foreign Lab/Department and University; 4. a short (max 2 pages) resume/CV of the Italian student; 5. a short (max 2 pages) resume/CV of the foreign researcher; 6. a short (max 2 pages) description of the research that will be carried out during the visit; 7. a budget of the foreseen expenses; 8. declaration of the foreign host indicating that the hosting institution is willing to provide office space and access to lab facilities to conduct the research; 9. expected visit dates. The applications must be sent by email to outgoing at aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= From nevrenato at gmail.com Mon Oct 8 09:03:15 2018 From: nevrenato at gmail.com (Renato Neves) Date: Mon, 08 Oct 2018 09:03:15 +0200 Subject: Formal Methods 2019: First Call for Papers Message-ID: ================================================================================================== FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ ================================================================================================== FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. FORMAL METHODS: THE NEXT 30 YEARS It is now more than 30 years since the first VDM symposium in 1987 brought together researchers with the common goal of creating methods to produce high quality software based on rigour and reason. Since then the diversity and complexity of computer technology has changed enormously and the formal methods community has stepped up to the challenges those changes brought by adapting, generalising and improving the models and analysis techniques that were the focus of that first symposium. The theme for FM 2019 is a reflection on how far the community has come and the lessons we can learn for understanding and developing the best software for future technologies. Important Dates ================ Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 Topics of Interest ====================== FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. Submission Guidelines ======================= Papers should be original work, not published or submitted elsewhere, in Springer LNCS format, written in English, submitted through EasyChair: https://easychair.org/conferences/?conf=fm2019 Each paper will be evaluated by at least three members of the Programme Committee. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available for use by the reviewers. Similarly, case study papers should describe significant case studies, and the complete development should be made available at the time of review. The usual criteria for novelty, reproducibility, correctness and the ability for others to build upon the described work apply. Tool papers should explain enhancements made compared to previously published work. A tool paper need not present the theory behind the tool but should focus on the tool's features, how it is used, its evaluation, and examples and screen shots illustrating the tool's use. Authors of tool papers should make their tool available for use by the reviewers. We solicit two categories of papers: - Regular Papers should not exceed 15 pages, not counting references and appendices. - Short papers, including tool papers, should not exceed 6 pages, not counting references and appendices. Besides tool papers, short papers are encouraged for any topic that can be described within the page limit, and in particular for novel ideas without an extensive experimental evaluation. Short papers will be accompanied by short presentations. For regular and tool papers, an appendix can provide additional material such as details on proofs or experiments. The appendix is not part of the page count and not guaranteed to be read or taken into account by the reviewers. It should not contain information necessary to the understanding and the evaluation of the presented work. Papers will be accepted or rejected in the category in which they were submitted. At least one author of an accepted paper is expected to present the paper at the conference as a registered participant. Best Paper Award ================= At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. Publication ============ Accepted papers will be published in the Symposium Proceedings to appear in Springer's Lecture Notes in Computer Science in the subline on Formal Methods. Traditionally, extended versions of selected papers will be invited for publication in a special issue of one or more journals. General Chair ============== José Nuno Oliveira, INESC TEC & University of Minho, PT Program Committee Chairs ========================= Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, AU Program Committee ================== Bernhard Aichernig, TU Graz, AT Elvira Albert, Complutense University of Madrid, ES María Alpuente, Polytechnic University of Valencia, ES Dalal Alrajeh, Imperial College, UK Mário S. Alvim, Federal University of Minas Gerais, BR June Andronick, CSIRO/Data61, AU Christel Baier, TU Dresden, DE Luís Barbosa, University of Minho and UN University, PT Gilles Barthe, IMDEA Software Institute, ES Marcello Bersani, Polytechnic University of Milan, IT Gustavo Betarte, Tilsor SA and University of the Republic, UY Nikolaj Bjørner, Microsoft Research, US Frank de Boer, CWI, NL Sergiy Bogomolov, Australian National University, AU Julien Brunel, ONERA, FR Néstor Cataño, Pontifical Xavierian University of Cali, CO Ana Cavalcanti, University of York,UK Antonio Cerone, Nazarbayev University, KZ Marsha Chechik, University of Toronto, CA David Chemouil, ONERA, FR Alessandro Cimatti, FBK-IRST, IT Alcino Cunha, University of Minho, PT Michael Dierkes, Rockwell Collins, FR Alessandro Fantechi, University of Florence, IT Carla Ferreira, New University of Lisbon, PT João Ferreira, Teesside University, UK José Fiadeiro, Royal Holloway University of London, UK Marcelo Frias, Buenos Aires Institute of Technology, AR Fatemeh Ghassemi, University of Tehran, IR Silvia Ghilezan, University of Novi Sad, RS Stefania Gnesi, ISTI-CNR, IT Reiner Hähnle, TU Darmstadt, DE Osman Hasan, National University of Sciences and Technology, PK Klaus Havelund, NASA Jet Propulsion Laboratory, US Anne Haxthausen, TU Denmark, DK Ian Hayes, University of Queensland, AU Constance Heitmeyer, Naval Research Laboratory, US Jane Hillston, University of Edinburgh, UK Thai Son Hoang, University of Southampton, UK Zhenjiang Hu, National Institute of Informatics, JP Dang Van Hung, Vietnam National University, VN Atsushi Igarashi, Kyoto University, JP Suman Jana, Columbia University, US Ali Jaoua, Qatar University, QA Einar Broch Johnson, University of Oslo, NO Joost-Pieter Katoen, RWTH Aachen University, DE Laura Kovács, TU Vienna, AT Axel Legay, KU Leuven, BE Alberto Lluch Lafuente, TU Denmark, DK Malte Lochau, TU Darmstadt, DE Michele Loreti, University of Camerino, IT Gabriele Lenzini, University of Luxembourg, LU Yang Liu, Nanyang Technical University, SG Anastasia Mavridou, NASA Ames, US Hernán Melgratti, University of Buenos Aires, AR Sun Meng, Peking University, CN Dominique Méry, LORIA and University of Lorraine, FR Rosemary Monahan, Maynooth University, IE Olfa Mosbahi, University of Carthage, TN Mohammad Mousavi, University of Leicester, UK César Muñoz, NASA Langley, US Tim Nelson, Brown University, US Gethin Norman, University of Glasgow, UK Colin O'Halloran, D-RisQ Software Systems, UK Federico Olmedo, University of Chile, CL Gordon Pace, University of Malta, MT Jan Peleska, University of Bremen, DE Marielle Petit-Doche, Systerel, FR Alexandre Petrenko, Computer Research Institute of Montréal, CA Anna Philippou, University of Cyprus, CY Jorge Sousa Pinto, University of Minho, PT André Platzer, Carnegie Mellon University, US Jaco van de Pol, Aarhus University, DK Tahiry Rabehaja, Macquarie University, AU Steve Reeves, University of Waikato, NZ Matteo Rossi, Polytechnic University of Milan, IT Augusto Sampaio, Federal University of Pernambuco, BR Gerardo Schneider, Chalmers University of Gothenburg, SE Daniel Schwartz-Narbonne, Amazon Web Services, US Natasha Sharygina, University of Lugano, CH Nikolay Shilov, Innopolis University, RU Ana Sokolova, University of Salzburg, AT Marielle Stoelinga, University of Twente, NL Jun Sun, Singapore University of Technology and Design, SG Helen Treharne, University of Surrey, UK Elena Troubitsyna, Åbo Akademi University, FI Tarmo Uustalu, Reykjavik University, IS Andrea Vandin, TU Denmark, DK R. Venkatesh, TCS Research, IN Erik de Vink, TU Eindhoven and CWI, NL Willem Visser, Stellenbosch University, ZA Farn Wang, National Taiwan University, TW Bruce Watson, Stellenbosch University, ZA Tim Willemse, TU Eindhoven, NL Kirsten Winter, University of Queensland, AU Jim Woodcock, University of York, UK Lijun Zhang, Chinese Academy of Sciences, CN Publicity Chair ================ Luís Soares Barbosa, INESC TEC & University of Minho, PT Organizing Committee ===================== José Creissac Campos, INESC TEC & University of Minho, PT João Pascoal Faria, INESC TEC and University of Porto, PT Sara Fernandes, University of Minho & INESC TEC, PT Luís Neves, Critical Software, PT Local Arrangements =================== Catarina Fernandes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT Web Team ========= Francisco Neves, INESC TEC & University of Minho, PT Rogério Pontes, INESC TEC & University of Minho, PT Paula Rodrigues, INESC TEC, PT From rl.stpuu at gmail.com Mon Oct 8 09:03:15 2018 From: rl.stpuu at gmail.com (Roussanka Loukanova) Date: Mon, 08 Oct 2018 09:03:15 +0200 Subject: CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2019 Message-ID: CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2019 19 - 21 February, 2019 - Prague, Czech Republic http://www.icaart.org/NLPinAI.aspx Special Session within the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019 http://www.icaart.org ------------------------------------------------------------- SCOPE: Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS: We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES: Paper Submission: December 20, 2018 Authors Notification: January 7, 2019 Camera Ready and Registration: January 15, 2019 PAPER SUBMISSION: Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, for preliminary work in progress. Regular Papers - Submission: It is recommended that Regular Papers are submitted for review with around 8 to 10 pages - Acceptance: After a double-blind peer review, qualifying Regular Papers may be accepted as either Full Papers or Short Papers - Publication: Regular Papers classified as Full Papers will be assigned a 12-page limit in the Conference Proceedings, while Regular Papers classified as Short Papers have an 8-page limit Position Papers - Submission: Position Papers should be submitted for review with around 6 or 7 pages - Acceptance: After a double-blind peer review, qualifying Position Papers will be accepted as Short Papers - Publication: Position Papers will be assigned a 8-page limit in the Conference Proceedings Instructions for preparing the manuscript (in Word and Latex formats) are available at the page with paper Templates: http://www.icaart.org/Templates.aspx Please also check the Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the appropriated button Submit Paper on the pages of NLPinAI 2019. The Conference Proceedings will be published under an ISBN number by SCITEPRESS and include final versions of all accepted papers, adjusted to satisfy reviewers' recommendations. They will be obtainable on paper and CD-Rom support, and made available for online consultation at the SCITEPRESS Digital Library. Online publication is exclusive to papers which have been both published and presented at the event. Indexation: The proceedings will be submitted to Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), INSPEC, DBLP, EI (Elsevier Engineering Village Index) and Scopus for indexation. ------------------------------------------------------------- CHAIRS: Roussanka Loukanova Stockholm University, Sweden CONTACT: Roussanka Loukanova (rloukanova at gmail.com) ------------------------------------------------------------- -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Oct 15 08:34:17 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 15 Oct 2018 08:34:17 +0200 Subject: BigDat 2019: early registration October 15 Message-ID: BigDat 2019: early registration October 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   5th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2019   Cambridge, United Kingdom   January 7-11, 2019   Co-organized by:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   http://bigdat2019.irdta.eu/   ********************************************************   --- Early registration deadline: November 11, 2018 ---   ********************************************************   SCOPE:   BigDat 2019 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures, 24 four-hour courses, and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2019 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2019 will take place in Cambridge, a city home of a world-renowned university. The venue will be:   University of Cambridge Department of Engineering Trumpington Street Cambridge CB2 1PZ   KEYNOTE SPEAKERS:   tba   PROFESSORS AND COURSES:   Thomas Bäck (Leiden University), [introductory/intermediate], Data Driven Modeling and Optimization for Industrial Applications   Richard Bonneau (New York University), [introductory] Large Scale Machine Learning Methods for Integrating Protein Sequence and Structure to Predict Gene Function   Altan Cakir (Istanbul Technical University), [introductory/intermediate] Processing Big Data with Apache Spark: From Science to Industrial Applications   Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate] Cross-domain Multi-source Big Data Fusion and Analytics   Nitesh Chawla (University of Notre Dame), [intermediate/advanced] Network Science: Representation Learning and Higher Order Networks   Nello Cristianini (University of Bristol), [introductory] The Interface between Big Data and Society   Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] High Performance Big Data Computing   David Gerbing (Portland State University), [introductory] Data Visualization with R   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Geoff McLachlan (University of Queensland), [intermediate/advanced] Applying Finite Mixture Models to Big Data   Folker Meyer (Argonne National Laboratory), [intermediate] Skyport2: A Multi Cloud Framework for Executing Scientific Workflows   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Soumya Mohanty (University of Texas Rio Grande Valley), [introductory/intermediate] Swarm Intelligence Methods for Statistical Regression   Sankar K. Pal (Indian Statistical Institute), [introductory/advanced] Machine Intelligence and Soft Granular Mining: Features, Applications and Challenges   Lior Rokach (Ben-Gurion University of the Negev), [introductory/advanced] Ensemble Learning   Michael Rosenblum (University of Potsdam), [introductory/intermediate] Synchronization Approach to Time Series Analysis   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [intermediate/advanced] Statistical Inference: Optimal Methods for Learning from Signals in Noise   Jaideep Srivastava (University of Minnesota), [intermediate] Social Computing – Concepts and Applications   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate] A Practical Guide to the Analysis of Longitudinal Data Using R   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Andrey Ustyuzhanin (National Research University Higher School of Economics), [intermediate/advanced] Surrogate Modelling for Fun and Profit   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: Data Science in Action   Zhongfei Zhang (Binghamton University), [introductory/advanced] Relational and Multimedia Data Learning   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by December 30, 2018.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. At least one of the people in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by December 30, 2018.   ORGANIZING COMMITTEE:   Chiara Paola Codebò (Genova) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Jeffrey Salmond (Cambridge) David Silva (London, co-chair) Filippo Spiga (Cambridge, co-chair) Richard E. Turner (Cambridge)   REGISTRATION:   It has to be done at   http://bigdat2019.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an approximation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available on the event website.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Cambridge Big Data Initiative, University of Cambridge   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From nsmattei at gmail.com Mon Oct 15 08:34:17 2018 From: nsmattei at gmail.com (Nicholas Mattei) Date: Mon, 15 Oct 2018 08:34:17 +0200 Subject: Announcing the 2018 ACM SIGAI Student Essay Contest on Artificial Intelligence Technologies Message-ID: All, We are happy to announce the 2018 version of the ACM SIGAI Essay Contest on on Artificial Intelligence Technologies! Blog Post: http://sigai.acm.org/aimatters/blog/2018/09/22/2018-acm-sigai -student-essay-contest-on-artificial-intelligence-technologies/ PDF Call: *https://sigai.acm.org/aimatters/blog/wp-content/uploads/2018/10/SIGAIEssay2018.pdf * After the success of our 2017 version of the contest we are happy to announce another round of the ACM SIGAI Student Essay Contest on Artificial Intelligence Technologies! Win one of several $500 monetary prizes or a Skype conversation with a leading AI researcher including Joanna Bryson, Murray Campbell, Eric Horvitz, Peter Norvig, Iyad Rahwan, Francesca Rossi, or Toby Walsh. Students are invited to write an essay discussing this year's topics for consideration for prizes and publication in the ACM SIGAI Newsletter! Please see the blog post or PDF call for full details. *Deadline: Jan 10, 2019.* Thanks! --Nick -- Nicholas Mattei Research Staff Member | IBM Research AI IBM T.J. Watson Research Center 1101 Kitchawan Road, Office 33-238, Yorktown Heights, NY 10598 E: n.mattei at ibm.com | T: +1 914 945 3305 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From maria.luz.castro at udc.gal Mon Oct 15 08:34:17 2018 From: maria.luz.castro at udc.gal (Luz Castro) Date: Mon, 15 Oct 2018 08:34:17 +0200 Subject: Reminder: CFP 8th EVOMUSART conference Message-ID: ------------------------------------------------ Call for papers for the 8th EVOMUSART conference Please distribute (Apologies for cross posting) ------------------------------------------------ The 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Leipzig, Germany in 24-26 April 2019, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Important dates: Submission: 1 November 2018 Notification to authors: TBA Camera-ready deadline: TBA Evo*: 24-26 April 2019 in Leipzig, Germany We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (instructions downloadable from http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 ). Each submission must be anonymised for a double-blind review process and submitted to https://myreview.saclay.inria.fr/evomusart19 (the link will be live soon). The deadline for submission is 1 November 2018. Accepted papers will be presented orally at the event and included in the evoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc...; * Systems that create artifacts such as game content, architecture, furniture, based on aesthetic and functional criteria; * Systems that resort to computational intelligence to perform the analysis of image, music, sound, sculpture, or some other types of artistic object; * Systems in which computational intelligence is used to promote the creativity of a human user; * Theories or models of computational aesthetics; * Computational models of emotional response, surprise, novelty; * Representation techniques for images, videos, music, etc; * Surveys of the current state-of-the-art in the area; * New ways of integrating the user in the process (e.g. improvisation, co-creation, participation). More information on the submission process and the topics of evoMUSART 2019 can be found at http://www.evostar.org/2019/cfp_evomusart.php We look forward to seeing you in Leipzig in 2019! Anikó, Antonios and Luz The evoMUSART 2019 organizers You are receiving this email because you are on the mailing list. If you no longer wish to receive notifications about this conference, please reply to this email with REMOVE. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From blllne2 at unife.it Mon Oct 15 08:34:17 2018 From: blllne2 at unife.it (Elena Bellodi) Date: Mon, 15 Oct 2018 08:34:17 +0200 Subject: [CfP] IJAR Special issue on Probabilistic Logic Programming Message-ID: ---------------------------------------------------------------------- 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 March 1st, 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. Postdoctoral Research Fellow Department of Mathematics and Computer Science University of Ferrara, Italy -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Oct 15 08:34:17 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 15 Oct 2018 08:34:17 +0200 Subject: Artificial Intelligence and Theorem Proving, AITP 2019 Message-ID: CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving, AITP 2019 April 7-12, 2019, Obergurgl, Austria http://aitp-conference.org/2019 Deadline: December 1, 2018 https://easychair.org/conferences/?conf=aitp2019 BACKGROUND Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that. TOPICS - AI, machine learning and big-data methods in theorem proving and mathematics. - Collaboration between automated and interactive theorem proving. - Common-sense reasoning and reasoning in science. - Alignment and joint processing of formal, semi-formal, and informal libraries. - Methods for large-scale computer understanding of mathematics and science. - Combinations of linguistic/learning-based and semantic/reasoning methods - Formal verification of AI and machine learning algorithms, explainable AI SESSIONS There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented. CONFIRMED PARTICIPANTS/SPEAKERS (to be completed) Kevin Buzzard, Imperial College London Ben Goertzel, SingularityNET Georges Gonthier, INRIA Thomas C. Hales, University of Pittsburgh Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Michael Kinyon, University of Denver Angeliki Koutsoukou-Argyraki, University of Cambridge Ramana Kumar, DeepMind Sarah Loos, Google Research David McAllester, Toyota Technological Institute at Chicago Tomáš Mikolov, Facebook AI Research Arnold Neumaier, University of Vienna Martin Suda, Czech Technical University in Prague Christian Szegedy, Google Research Robert Veroff, University of New Mexico CONTRIBUTED TALKS We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair (https://easychair.org/conferences/?conf=aitp2019). DATES Submission deadline: December 1, 2018 Author notification: December 23, 2018 Conference registration: January 20, 2019 Camera-ready versions: February 1, 2019 Conference: April 7 - 12, 2019 POST-PROCEEDINGS We will consider an open call for post-proceedings in an established series of conference proceedings (LIPIcs, EPiC, JMLR) or a journal (AICom, JAR, JAIR). PROGRAM COMMITTEE (to be completed) Jasmin Christian Blanchette, INRIA Nancy Ulrich Furbach, University of Koblenz Thomas C. Hales (co-chair), University of Pittsburgh Sean Holden, University of Cambridge Mikoláš Janota, University of Lisbon Moa Johansson, Chalmers University Cezary Kaliszyk (co-chair), University of Innsbruck Michael Kohlhase, FAU Erlangen-Nürnberg Konstantin Korovin, The University of Manchester Ramana Kumar (co-chair), DeepMind Claudio Sacerdoti Coen, University of Bologna David McAllester, Toyota Technological Institute at Chicago Stephan Schulz (co-chair), DHBW Stuttgart Geoff Sutcliffe, University of Miami Christian Szegedy, Google Research Josef Urban (co-chair), Czech Technical University in Prague LOCATION AND PRICE The conference will take place from April 7 to April 12 in the stunning scenery of the Tyrolean Alps in the Obergurgl Conference Center of the University of Innsbruck. Obergurgl is a picturesque village located at an altitude of 2000m, a 1-hour drive from Innsbruck. It offers a variety of winter-sport activities such as skiing, snowshoeing and hiking at this time of the year. The total price for accommodation in a twin room (based on 2-person occupancy), food and registration for the five days will be around 600 EUR. There are also several hotels in Obergurgl - booking early is recommended. ORGANIZERS Cezary Kaliszyk and Josef Urban From Renate.Schmidt at manchester.ac.uk Thu Oct 18 10:21:12 2018 From: Renate.Schmidt at manchester.ac.uk (Renate Schmidt) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: Reseach Associate in Ontology Engineering In-Reply-To: References: , Message-ID: RESEACH ASSOCIATE IN ONTOLOGY ENGINEERING APPLICATION DEADLINE: 19 October 2018 START DATE: 1 January 2019 (earliest) DURATION: up to 6 months The appointment will be in the School of Computer Science at the University of Manchester to work on EPSRC IAA Project "Comparison and Abstraction of SNOMED CT Ontologies". The project aims to apply knowledge and tools developed from previous research for tracking the changes between different versions of an ontology and forgetting some terms from an ontology thereby computing an abstraction of it. The focus of the project will be a trial on a core subset of the SNOMED CT medical ontology in order to address content related quality issues. You will be working with Dr Renate Schmidt in the Formal Methods Group and contacts at IHTSDO/SNOMED International. The School of Computer Science is among the largest in the UK, and has research and teaching profiles that are both broad and deep, reflecting critical mass both in core areas of the discipline and more specialised areas. It was ranked 4th in overall GPA in REF 2014 and equal 1st for the quality of the research environment. Further particulars and on-line application: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=16267 The deadline for applications is 19 October 2018. Informal inquiries may be made to Renate Schmidt. Email: Renate.Schmidt at manchester.ac.uk From nevrenato at gmail.com Thu Oct 18 10:21:12 2018 From: nevrenato at gmail.com (Renato Neves) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: FM'19: Call for Workshop & Tutorial Proposals Message-ID: FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS PORTO, PORTUGAL, OCTOBER 7-11, 2019 formalmethods2019.inesctec.pt ---------------- CALL FOR WORKSHOP & TUTORIAL PROPOSALS --------------- ------------------------------------------------------------------------- Deadline for workshop & tutorial proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 ------------------------------------------------------------------------- 1 ABOUT FM'19 ============= FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. Twenty years after FM’99 in Toulouse, and ten years after FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal Methods. Thus, FM’19 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. 2 PROPOSALS =========== For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. The purpose of the satellite events is to provide an informal setting for participants to discuss technical issues, exchange research ideas, and to discuss and/or demonstrate applications. These may be driven by fundamental academic interests or by needs from specific application domains. We encourage a diversity of events relating to different varieties of formal models. Satellite events will take place on 7-8 October 2019. Satellite events would typically run for 1/2 or 1 day, but 2 day events will also be considered. The FM'19 organising committee aim to support one invited speaker per workshop. 3 SUBMISSION INFORMATION ======================== Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops & Tutorials Chairs, Nelma Moreira (nam at dcc.fc.up.pt) and Emil Sekerinski (emil at mcmaster.ca). A proposal should not exceed three pages and should include the following information: * Title and brief technical description of the event, specifying the goals and the technical issues that will be its focus. * The names and contact information (web page, email address) of the organisers. In case of a workshop those will be the Programme Committee (PC) chairs and in this case a prospective list of international PC members is welcome. * Pointers to information about past editions of the event, if applicable. In case of a workshop, if it has taken place before; how often it has been colocated with FM? Which (other) conference(s) has the workshop been colocated with so far? Number of participants in the last instalment. * A discussion of the proposed format and agenda (for example paper presentations, tutorials, demo sessions, etc). * The proposed duration: half or one day. Exceptionally, two days events may be considered. * Potential invited speaker(s). * Procedures for selecting papers and participants and plans for the publication of proceedings, if any. * Tentative schedule for paper submission and notification of acceptance. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. 4 IMPORTANT DATES ================= Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) Best Wishes, Nelma Moreira & Emil Sekerinski From iceis at insticc.info Thu Oct 18 10:21:12 2018 From: iceis at insticc.info (iceis at insticc.info) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: CFP ICEIS 2019 - 21st Int.l Conf. on Enterprise Information Systems (Heraklion, Crete/Greece) Message-ID: SUBMISSION DEADLINE 21st International Conference on Enterprise Information Systems Submission Deadline: December 10, 2018 http://www.iceis.org/ May 3 - 5, 2019 Heraklion, Crete, Greece. ICEIS is organized in 6 major tracks: - Databases and Information Systems Integration - Artificial Intelligence and Decision Support Systems - Information Systems Analysis and Specification - Software Agents and Internet Computing - Human-Computer Interaction - Enterprise Architecture Proceedings will be submitted for indexation by: DBLP and Semantic Scholar.
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, ICEIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.iceis.org/ e-mail: iceis.secretariat at insticc.org From complexis at insticc.info Thu Oct 18 10:21:12 2018 From: complexis at insticc.info (complexis at insticc.info) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: CFP COMPLEXIS 2019 - 4th Int.l Conf. on Complexity, Future Information Systems and Risk (Heraklion, Crete/Greece) Message-ID: SUBMISSION DEADLINE 4th International Conference on Complexity, Future Information Systems and Risk Submission Deadline: December 10, 2018 http://www.complexis.org/ May 2 - 4, 2019 Heraklion, Crete, Greece. COMPLEXIS is organized in 7 major tracks: - Complexity in Informatics, Automation and Networking - Complexity in Biology and Biomedical Engineering - Complexity in Social Sciences - Complexity in Computational Intelligence and Future Information Systems - Complexity in EDA, Embedded Systems, and Computer Architecture - Network Complexity - Complexity in Risk and Predictive Modeling In Cooperation with: ACM SIGCAS, EDSO, Cluster Habitat Sustentável, OSGP Alliance and Siemens.
Proceedings will be submitted for indexation by: DBLP, Thomson Reuters, EI, SCOPUS and Semantic Scholar.
With the presence of internationally distinguished keynote speakers: Francisco Herrera, University of Granada, Spain 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, COMPLEXIS Secretariat Address: Av. D. Manuel I, 27A, 2º esq. 2910-595 Setubal, Portugal Tel: +351 265 520 184 Fax: +351 265 520 186 Web: http://www.complexis.org/ e-mail: complexis.secretariat at insticc.org From sara at fc.ul.pt Thu Oct 18 10:21:12 2018 From: sara at fc.ul.pt (Sara Silva) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: CFP: Engineering and Real World Applications (EvoApps 2019) Message-ID: *** Apologies for cross-posting *** =========================================================  Engineering and Real World Applications  a thematic area of the European Conference on  the Applications of Evolutionary Computation  part of the EvoStar event (evostar.org) =========================================================  Submission deadline: November 1, 2018 ========================================================= Evolutionary Computation (EC) has established itself as a powerful technique to tackle design, search and optimisation problems in the real-world, with a wide variety of applications in business and in industry, as well as in engineering domains and in life and environmental sciences.  There are however specific challenges in moving from academic research to real environments: these challenges are not only technical, but may also encompass issues such as user interaction and adoption. The Engineering and Real World Applications thematic area seeks papers that address (but are not limited to) the following:   - Case studies on the adoption of EC within organisations and businesses   - Novel applications of EC in new academic domains, e.g. to tackle optimisation/design problems in physical, environmental, and life sciences   - Optimisation in industrial environments, e.g. including but not limited to production planning, transportation, distribution, and control engineering   - Hybrid methods and novel heuristics developed to solve specific problems, particularly where these might be generalized to other applications   - The handling of real world soft constraints   - The construction of user interfaces to allow non-experts to use EC based techniques   - Any other real world applications where EC is the main methodology We encourage authors to consider their readership and when discussing a specific application area, provide sufficient introductory background to the area for the lay reader to understand. =========================================================  IMPORTANT DATES   - Submission Deadline: November 1, 2018   - Notification: January 3, 2019   - Camera-ready: January 15, 2019   - EvoStar event: April 24-26, 2019 (Leipzig, Germany) =========================================================  TWO TYPES OF SUBMISSIONS This year EvoApplications is accepting two kinds of submission: full papers and short papers. Full papers require novel and complete research work and have a limit of 16 pages. Short papers should present complete research and interesting preliminary results and have a limit of 8 pages. Both types of submission will undergo the same double-blind review process and all accepted papers will be included in the LNCS proceedings. All authors of accepted papers will be given the opportunity to further disseminate their work in poster sessions. - Page limit: 8 pages (short papers) or 16 pages (full papers). - Submission format: Springer LNCS - Review process: double-blind. Please ensure to anonymize your submission. - Submission link: https://myreview.saclay.inria.fr/evoapps19/ =========================================================  LOCATION The city of Leipzig is located in the north-east of Germany, about 160km south of Berlin. Situated at the crossing of two major medieval trading routes, Via Imperii connecting Italy with the North and Via Regia connecting East and West, it was once considered as one of the major European centers oftrade, culture and learning. Today Leipzig is an easily likeable, green and young city with a rich cultural diversity. Particularly in the city center one can find many beautiful historical buildings from different architectural periods, museums and parks. Also, lovers of classical music appreciate Leipzig due to the impact of Bach and Mendelsohn-Bartholdy, who lived in thecity for important parts of their lives. For more information on the conference please, visit the main conference website at http://www.evostar.org/2019/cfp_evoapps.php Regards, Emma Hart, Edinburgh Napier University Sara Silva, University of Lisbon -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Cassia.Trojahn at irit.fr Thu Oct 18 10:21:12 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 18 Oct 2018 10:21:12 +0200 Subject: EKAW =?utf-8?q?2018=3A?= second call for participation Message-ID: EKAW 2018 - Second call for participation ================================== https://project.inria.fr/ekaw2018/ (early registration extended to 18th October 2018) The 21st International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), will be held during November 12-16, 2018 in Nancy, France, at Inria Nancy – Grand-Est. Complete information is available at https://project.inria.fr/ekaw2018/ EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on. The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI. The conference program is available at https://project.inria.fr/ekaw2018/conference-program/ Come in Nancy and enjoy EKAW 2018! Amedeo Napoli (CNRS, France) and Yannick Toussaint (Université de Lorraine, France) General chairs From irdta at irdta.eu Mon Oct 22 08:57:17 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 22 Oct 2018 08:57:17 +0200 Subject: LATA 2019: 3rd call for papers Message-ID: LATA 2019: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 13th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2019   Saint Petersburg, Russia   March 25-29, 2019   Organized by:             Saint Petersburg State University and Institute for Research Development, Training and Advice, Brussels/London   http://lata2019.irdta.eu/ *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2019 will take place in Saint Petersburg, whose historic centre is a UNESCO World Heritage Site. The conference site shall be the historical Twelve Collegia building (https://en.wikipedia.org/wiki/Twelve_Collegia), built in ca. 1740, which was used for the Russian government in the 18th century, and which has been the main building of Saint Petersburg State University since 1835.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2019 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Henning Fernau (University of Trier), Modern Aspects of Complexity within Formal Languages   Paweł Gawrychowski (University of Wrocław), tba   Edward A. Lee (University of California, Berkeley), Observation, Interaction, Determinism, and Free Will   Vadim Lozin (University of Warwick), From Words to Graphs, and Back   Esko Ukkonen (University of Helsinki), Pattern Discovery in Biological Sequences   PROGRAMME COMMITTEE:   Krishnendu Chatterjee (Institute of Science and Technology Austria, AT) Bruno Courcelle (University of Bordeaux, FR) Manfred Droste (University of Leipzig, DE) Travis Gagie (Diego Portales University, CL) Peter Habermehl (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Markus Holzer (University of Giessen, DE) Radu Iosif (Verimag, FR) Kazuo Iwama (Kyoto University, JP) Juhani Karhumäki (University of Turku, FI) Lila Kari (University of Waterloo, CA) Juha Kärkkäinen (University of Helsinki, FI) Bakhadyr Khoussainov (University of Auckland, NZ) Sergey Kitaev (University of Strathclyde, UK) Shmuel Tomi Klein (Bar-Ilan University, IL) Olga Kouchnarenko (University of Franche-Comté, FR) Thierry Lecroq (University of Rouen, FR) Markus Lohrey (University of Siegen, DE) Sebastian Maneth (University of Bremen, DE) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Filippo Mignosi (University of L'Aquila, IT) Victor Mitrana (Polytechnic University of Madrid, ES) Joachim Niehren (INRIA Lille, FR) Alexander Okhotin (Saint Petersburg State University, RU) Dominique Perrin (University of Paris-Est, FR) Matteo Pradella (Polytechnic University of Milan, IT) Jean-François Raskin (Université Libre de Bruxelles, BE) Marco Roveri (Bruno Kessler Foundation, IT) Karen Rudie (Queen's University, CA) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen's University, CA) Sven Schewe (University of Liverpool, UK) Helmut Seidl (Technical University of Munich, DE) Ayumi Shinohara (Tohoku University, JP) Hans Ulrich Simon (Ruhr-University of Bochum, DE) William F. Smyth (McMaster University, CA) Frank Stephan (National University of Singapore, SG) Martin Sulzmann (Karlsruhe University of Applied Sciences, DE) Jorma Tarhio (Aalto University, FI) Stefano Tonetta (Bruno Kessler Foundation, IT) Rob van Glabbeek (Data61, CSIRO, AU) Margus Veanes (Microsoft Research, US) Mahesh Viswanathan (University of Illinois, Urbana-Champaign, US) Mikhail Volkov (Ural Federal University, RU) Fang Yu (National Chengchi University, TW) Hans Zantema (Eindhoven University of Technology, NL)   ORGANIZING COMMITTEE:   Alexander Okhotin (Saint Petersburg, co-chair) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2019   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://lata2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: November 11, 2018 Notification of paper acceptance or rejection: December 16, 2018 Final version of the paper for the LNCS proceedings: December 23, 2018 Early registration: December 23, 2018 Late registration: March 11, 2019 Submission to the journal special issue: June 29, 2019   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Санкт-Петербургский государственный университет   IRDTA – Institute for Research Development, Training and Advice, Brussels/London -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Mon Oct 22 08:57:17 2018 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Mon, 22 Oct 2018 08:57:17 +0200 Subject: CADE-27: Call for Papers, Workshops, Tutorials and System Competitions Message-ID: The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR PAPERS CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Key dates: Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 * Logics of interest include propositional, first-order, equational, higher-order, classical, description, modal, temporal, many-valued, constructive, other non-classical, meta-logics, logical frameworks, type theory, set theory, as well as any combination thereof. * Paradigms of interest include theorem proving, model building, constraint solving, computer algebra, model checking, proof checking, and their integration. * Methods of interest include resolution, superposition, completion, saturation, term rewriting, decision procedures, model elimination, connection methods, tableaux, sequent calculi, natural deduction, as well as their supporting algorithms and data structures, including matching, unification, orderings, induction, indexing techniques, proof presentation and explanation, proof planning. * Applications of interest include program analysis, verification and synthesis of software and hardware, formal methods, computational logic, computer mathematics, natural language processing, computational linguistics, knowledge representation, ontology reasoning, deductive databases, declarative programming, robotics, planning, and other areas of artificial intelligence. Submissions can be made in two categories: regular papers and system descriptions. The page limit in Springer LNCS style is 15 pages excluding references for regular papers and 10 pages excluding references for system descriptions. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, originality, significance, correctness, and readability. System descriptions must contain a link to a working system and will also be judged on usefulness and design. Proofs of theoretical results that do not fit in the page limit, executables of systems, and input data of experiments should be made available, via a reference to a website or in an appendix of the paper. For papers containing experimental evaluations, all data needed to rerun the experiments must be available. Reviewers will be encouraged to consider this additional material, but submissions must be self-contained within the respective page limit; considering the additional material should not be necessary to assess the merits of a submission. The review process will include a feedback/rebuttal period where authors will have the option to respond to reviewer comments. The PC chair may solicit further reviews after the rebuttal period. The proceedings of the conference will be published in the Springer LNCS/LNAI series. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.html At every CADE conference the Program Committee selects one of the accepted papers to receive the CADE Best Paper Award. The award recognizes a paper that the Program Committee collegially evaluates as the best in terms of originality and significance, having substantial confidence in its correctness. Overall technical quality, completeness, scholarly accuracy, and readability are also considered. Characteristics associated with a best paper include, for instance, introduction of a strong new technique or approach, solution of a long-standing open problem, introduction and solution of an interesting and important new problem, highly innovative application of known ideas or existing techniques, and presentation of a new system of outstanding power. Under exceptional circumstances, the Program Committee may give two awards (ex aequo) or give no award. IMPORTANT DATES Abstract deadline: 15 February 2019 Submission deadline: 22 February 2019 Rebuttal phase: 2 April 2019 Notification: 15 April 2019 Final version: 27 May 2019 SUBMISSION INSTRUCTIONS Papers should be submitted via https://easychair.org/conferences/?conf=cade27 CADE-27 ORGANIZERS Conference Chair: Elaine Pimentel Federal University of Rio Grande do Norte, Brazil Organizers: Carlos Olarte Federal University of Rio Grande do Norte, Brazil Joao Marcos Federal University of Rio Grande do Norte, Brazil Claudia Nalon University of Brasilia, Brazil Giselle Reis CMU, Qatar Program Committee Chair: Pascal Fontaine Universite de Lorraine, CNRS, Inria, LORIA, France Workshop, Tutorial, and Competition Chair: Giles Reger University of Manchester, UK Publicity Chair: Geoff Sutcliffe University of Miami, USA Program Committee: Carlos Areces, FaMAF - Universidad Nacional de Cordoba, Argentina Franz Baader, TU Dresden, Germany Clark Barrett, Stanford University, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Maria Paola Bonacina, Universita degli Studi di Verona, Italy Leonardo Mendonca de Moura, Microsoft Research, USA Hans de Nivelle, Nazarbayev University, Astana, Kazakhstan Clare Dixon, University of Liverpool, UK Mnacho Echenim, Universite de Grenoble, France Marcelo Finger, University of Sao Paulo, Brazil Pascal Fontaine, Universite de Lorraine, CNRS, Inria, LORIA, France Silvio Ghilardi, Universita degli Studi di Milano, Italy Juergen Giesl, RWTH Aachen University, Germany Rajeev Gore, The Australian National University, Australia Stefan Hetzl, Technische Universitaet Wien, Austria Marijn J. H. Heule, The University of Texas at Austin, USA Nao Hirokawa, JAIST, Japan Moa Johansson, Chalmers University of Technology, Sweden Cezary Kaliszyk, University of Innsbruck, Austria Deepak Kapur, University of New Mexico, USA Benjamin Kiesl, Technische Universitaet Wien, Austria Konstantin Korovin, The University of Manchester, UK Laura Kovacs, Technische Universitaet Wien, Austria Ramana Kumar, DeepMind, UK Claudia Nalon, University of Brasilia, Brazil Vivek Nigam, Federal University of Paraiba & Fortiss, Brazil & Germany Carlos Olarte, Federal University of Rio Grande do Norte, Brazil Jens Otten, University of Oslo, Norway Andre Platzer, Carnegie Mellon University, USA Andrew Reynolds, The University of Iowa, USA Philipp Ruemmer, Uppsala University, Sweden Renate A. Schmidt, The University of Manchester, UK Stephan Schulz, DHBW Stuttgart, Germany Roberto Sebastiani, University of Trento, Italy Natarajan Shankar, SRI International, USA Viorica Sofronie-Stokkermans, Universitaet Koblenz-Landau, Germany Martin Suda, Czech Technical University, Czech Republic Geoff Sutcliffe, University of Miami, USA Rene Thiemann, University of Innsbruck, Austria Uwe Waldmann, Max Planck Institute for Informatics, Germany Christoph Weidenbach, Max Planck Institute for Informatics, Germany Sarah Winkler, University of Innsbruck, Austria CALL FOR WORKSHOPS, TUTORIALS, SYSTEM COMPETITIONS The 27th International Conference on Automated Deduction (CADE-27) Natal, Brazil 25-30 August 2019 http://www.cade-27.info CALL FOR WORKSHOPS Workshop proposals for CADE-27 are solicited. The workshops will take place on August 25-26 2019, before the main conference. Both well-established workshops and newer ones are encouraged. Similarly, proposals for workshops with a tight focus on a core automated reasoning specialization, as well as those with a broader, more applied focus, are very welcome. Please provide the following information in your application document: + Workshop title. + Names and affiliations of organizers. + Proposed workshop duration (from half a day to two days) and preferred day(s). + Brief description of the goals and the scope of the workshop. Why is the workshop relevant for CADE? + Is the workshop new or has it met previously? In the latter case information on previous meetings should be given (e.g., links to the program, number of submissions, number of participants). + What are the plans for publication? CALL FOR TUTORIALS Tutorial proposals for CADE-27 are solicited. Tutorials are expected to be either half-day or full-day events, with a theoretical or applied focus, on a topic of interest for CADE-27. Proposals should provide the following information: + Tutorial title. + Names and affiliations of organizers. + Proposed tutorial duration (from half a day to one days) and the preferred day. + Brief description of the tutorial's goals and topics to be covered. + Whether or not a version of the tutorial has been given previously. CADE will take care of printing and distributing notes for tutorials that would like this service. CALL FOR SYSTEM COMPETITIONS The CADE ATP System Competition (CASC), which evaluates automated theorem proving systems for classical logics, has become an integral part of the CADE conferences. Further system competition proposals are solicited. The goal is to foster the development of automated reasoning systems in all areas relevant for automated deduction in a broader sense. Proposals should include the following information: + Competition title. + Names and affiliations of organizers. + Duration and schedule of the competition. + Room/space requirements. + Description of the competition task and the evaluation procedure. + Is the competition new or has it been organized before? In the latter case information on previous competitions should be given. + What computing resources are required and how will they be provided? IMPORTANT DATES Workshop/Tutorials/System Competitions: Submission deadline: 15 November 2018 Notification: 15 December 2018 SUBMISSION INSTRUCTIONS Proposals for workshops, tutorials, and system competitions should be uploaded via https://easychair.org/conferences/?conf=cade27wtc From martin.lange at uni-kassel.de Mon Oct 22 08:57:17 2018 From: martin.lange at uni-kassel.de (Martin Lange) Date: Mon, 22 Oct 2018 08:57:17 +0200 Subject: PhD position in theoretical computer science at the University of Kassel, Germany Message-ID: The research group "Theoretical Computer Science / Formal Methods" at the School of Electrical Engineering and Computer Science of the University of Kassel, Germany, is offering a funded full-time position for a prospective PhD student. A starting date no earlier than end of November is negotiable. The appointment is expected to be for up to 5 years in total. The position is paid according to pay scale TV-H EG13. Applicants must have an MSc / diploma in computer science, mathematics, or related areas, or should be very close to completion thereof. They should have a good background in theoretical computer science, with strong interest in formal logic, formal methods, program verification, synthesis, etc. The position comes with teaching duties of 4h/week, typically fulfilled by giving tutorials in courses in theoretical computer science at both the BSc and MSc level. Tutorials for undergraduates will have to be given in German. The successful candidate should therefore acquire sufficient language skills in short time. Further information about the research group is available here: http://www.uni-kassel.de/eecs/fmv For informal enquiries please contact Martin Lange via .@uni-kassel.de or +49/0 561 8046261. Applications must be directed to the HR department of the University of Kassel, for instance viabewerbungen at uni-kassel.de . They should contain a CV and names of 1-2 references, and must state the reference number 31765 for this announcement. Deadline for applications is November, 7th, 2018. The official announcement for this position is available here (in German): https://www.uni-kassel.de/uni/universitaet/stellenangebote/stellenangebot/post/detail/News/wiss-mitarbeiter-in-eg-13-tv-h-fachgebiet-theoretische-informatikformale-methoden/ -- ---------------------------------------------------------------- Prof. Dr. Martin Lange http://www.uni-kassel.de/~mlange Elect. Engineering & Comp. Science martin.lange at uni-kassel.de University of Kassel, Germany +49/0 561 804 6261 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jleite at fct.unl.pt Thu Oct 25 10:53:06 2018 From: jleite at fct.unl.pt (Joao Leite) Date: Thu, 25 Oct 2018 10:53:06 +0200 Subject: 2 PostDoc and 2 PhD Student Positions in KRR at Nova University Lisboa Message-ID: The NOVA LINCS Knowledge-Based Systems Group at Nova University of Lisbon is seeking outstanding highly motivated candidates for 2 PostDoc positions and 2 PhD Student positions to work within the scope of the following two projects: Project FORGET - Forgetting what Needs to be Forgotten (PTDC/CCI-INF/32219/2017) Being able to selectively forget information from data and knowledge bases is fundamental to properly deal with legal and privacy issues, for instance to implement court decisions ordering the elimination of illegally acquired or maintained information, or to comply with the right to be forgotten, recently enacted in the EU General Data Protection Regulation. However, forgetting is not as easy as deleting the item to be forgotten, since additional changes may be required to keep the intensional meaning of the remaining data and knowledge, and to guarantee that the forgotten information cannot be recovered from the stored results of previous computations that used it. The FORGET project will develop a principled solution, composed of theory, methods and tools, to effectively and efficiently forget selected information from data and knowledge bases, while preserving what should not be forgotten. Project RIVER - Reasoning with Knowledge and Data Streams (PTDC/CCI-INF/30952/2017) Recent developments originally triggered by initiatives such as the Semantic Web, Linked Open Data, and the Web of Things, resulted in the wide and increasing availability of machine-processable data and knowledge in the form of data streams and knowledge bases, which is preparing the ground for a new class of dynamic, rich, knowledge-intensive applications. Examples can be found in domains such as the Smart Grid, assisted living and alarm handling in telecommunications. These require automated reasoning with the integration of several heterogeneous knowledge bases (KB) together with several heterogeneous data/event streams to support automation and problem-solving, enforce traceable and correct decisions, and facilitate the internalization of relevant dynamic data and knowledge and the project will provide the necessary theory and tools to deal with such heterogeneous KB and data/event streams in an integrated way and apply them to two practical use-cases. PostDoc positions For PostDoc positions, candidates should hold a PhD. or equivalent degree. Excellent candidates in a final phase of their PhD. studies can also be considered. Suitable disciplines include Computer Science, Artificial Intelligence, Mathematics, Machine Learning and other related areas. A strong publication record is considered a plus. Candidates are expected to be fluent in spoken and written English. PostDocs can, optionally, supervise MSc and PhD projects. The positions are available immediately but the start time can be negotiated. The positions are fixed-term and filled initially for 1 year with an option for extension of 1-2 years. Applicants should express their interest by sending the following documents by email according to the instructions below: - a cover letter briefly describing your background and interests; - a Curriculum Vitae (with contact details); - names and contact information (email) of at least two references; - a link to electronic copy of Ph.D. Thesis (if available); - links to electronic copies of 1-2 most relevant publications. PhD Student positions For PhD Student positions, candidates should hold a MSc. or equivalent degree in a suitable area (e.g. Computer Science, Artificial Intelligence, Mathematics, Machine Learning) or be a MSc Student in a final phase of studies. Candidates are expected to have good programming and mathematical skills, and be proficient in spoken and written English. Excellent candidates in a final phase of their Ph.D. studies can also be considered. Suitable disciplines include Computer Science, Artificial Intelligence, Mathematics, Machine Learning and other related areas. A strong publication record is considered a plus. Candidates are expected to be fluent in spoken and written English. The positions are available immediately but the start time can be negotiated. The positions are fixed-term and filled initially for 1 year with an option for renewal. Applicants should express their interest by sending the following documents by email according to the instructions below: - a motivation letter; - a Curriculum Vitae (with contact details); - names and contact information (email) of at least two references; - transcript of records (courses and grades) - a link to electronic copy of MSc Thesis (if available); - a list of publications (if available) Contact Information: Send the documents by email both to Joao Leite and Matthias Knorr with subject "PostDoc/PhD Student call KBS 1/2018". Deadline: November 14th, 2018. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From sebastian.litzinger at fernuni-hagen.de Thu Oct 25 10:53:06 2018 From: sebastian.litzinger at fernuni-hagen.de (Sebastian Litzinger) Date: Thu, 25 Oct 2018 10:53:06 +0200 Subject: Call for Papers and Announcement - ACSD 2019 Message-ID: Call for Papers and Announcement ACSD 2019 19th INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN Aachen, Germany, June 23-28, 2019 Additional information about the conference will be published via http://www.petrinets2019.de/acsd-2019/ The conference will be co-located with the 40th International Conference on Applications and Theory of Petri Nets and Concurrency (Petri Nets 2019). IMPORTANT DATES: Abstract submission: January 16, 2019 (*) Submission of Papers: January 22, 2019 (*) Notification: March 8, 2019 Final Version Due: March 22, 2019 (*) Participation in Tool Exhibition: June 1, 2019 Conference: June 23-28, 2019 (*) The deadline is the end of day Anywhere on Earth (AoE) The 19th international ACSD conference will be organized by the Process and Data Science (PADS) group at RWTH Aachen University, Aachen, Germany. The new PADS group was established in the context of Wil van der Aalst’s Alexander von Humboldt Professorship. The conference will take place in the conference area of the Tivoli football stadium close to the city center of Aachen. The language of the conference is English, and the conference proceedings will be submitted for inclusion to IEEE Xplore. CONFERENCE SCOPE: The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behavior. In particular, the following topics are of interest: - Formal models of computation and concurrency for the above systems and problems, like data- flow models, communicating automata, Petri nets, process algebras, graph rewriting systems, state charts, MSCs, modal and temporal logics - Compositional design principles like modular synthesis, distributed simulation and implementation, distributed control, adaptivity, supervisory control - Algorithms and tools for concurrent systems, ranging from programming languages to algorithmic methods for system analysis and construction, including model checking, verification, and static analysis techniques as well as synthesis procedures - Synchronous and asynchronous systems on all design levels: polychronous systems, endochronous systems, globally asynchronous locally synchronous systems - Cyber-physical systems, hybrid systems, networked systems, and networks in biological systems - High-performance computer architectures like many-core processors, networks on chip, graphics processing units, instruction-level parallelism, dataflow architectures, up to ad-hoc, mobile, and wireless networks - Memory consistency models for multiprocessor and multicore architectures, replicated data, including software and hardware memory models, DRAM scheduling, cache coherency, memory-aware algorithms - Real-time aspects, including hard real-time requirements, security and safety-critical issues, functional and timing verification - Implementation aspects like resource management, including task and communication scheduling, network-, memory-, and power-management, energy/power distribution, fault-tolerance, quality of service, scalability, load balancing, power proportionality - Design principles for concurrent systems, in particular hardware/software co-design, platform-based design, component-based design, energy-aware design, refinement techniques, hardware/software abstractions, cross-layer optimization - Business process modelling, workflow execution systems, process (de-)composition, inter-organizational and heterogeneous workflow systems, systems for computer-supported collaborative work, web services - Case studies of general interest, from industrial applications to consumer electronics and multimedia, automotive systems, (bio-)medical applications, neuromorphic applications, internet (of things) and grid computing, to gaming applications. PAPER SUBMISSION: ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Computer Society conference proceedings guidelines (8.5” × 11” two-column format). The page limit for regular papers is 10 pages. Accepted papers will be included in the conference proceedings. At least one author of each accepted contribution is expected to present the paper at the conference, and will be required to sign the copyright release forms. All papers have to be submitted via EasyChair: https://easychair.org/conferences/?conf=acsd2019. ORGANIZATION Program Committee Co-chairs Jörg Keller University of Hagen, Faculty of Mathematics and Computer Science Germany Joerg.Keller at fernuni-hagen.de Wojciech Penczek Institute of Computer Science PAS, University of Natural Sciences and Humanities Poland w.penczek at ipipan.waw.pl General Chair Wil van der Aalst Process and Data Science (PADS) RWTH Aachen University 52074 Aachen, Germany wvdaalst at pads.rwth-aachen.de Steering Committee Alex Yakovlev, UK (chair) Benoit Caillaud, France Jordi Cortadella, Spain Jörg Desel, Germany Alex Kondratyev, USA Luciano Lavagno, Italy Antti Valmari, Finland Andrey Mokhov, UK Organizing Committee Wil van der Aalst (general chair) Anna Kalenkova (publicity chair) Detlef Wetzler (web chair) Program Committee S. Akshay, India Étienne André, France Mohamed Faouzi Atig, Sweden Josep Carmona, Spain Franck Cassez, Australia Thomas Chatain, France Rocco De Nicola, Italy Jörg Desel, Germany Klaus Echtle, Germany Alain Girault, France Radu Grosu, Austria Stefan Haar, France Loïc Hélouët, France Ludovic Henrio, France Loïg Jézéquel, France Gabriel Juhás, Slovakia Marta Pietkiewicz-Koutny, UK Jörg Keller, Germany (co-chair) Christoph Kessler, Sweden Jan Křetínský, Czech Republic Johan Lilius, Finland Gerald Lüttgen, Germany Roland Meyer, Germany Andrey Mokhov, UK Claire Pagetti, France Wojciech Penczek, Poland (co-chair) Laure Petrucci, France Dumitru Potop-Butucaru, France Klaus Schneider, Germany Sandeep Shukla, India Ashutosh Trivedi, India Jaco van de Pol, Denmark Fei Xia, UK AACHEN Aachen is a historic city in North Rhine-Westphalia, Germany, at the point where Germany borders on Belgium and the Netherlands. Historically this spa-town was a prominent city, the place where the German Kings were crowned, and the residence of Charlemagne who still lies buried in the impressive cathedral he himself had built. The city has many historical sites that remind of those days, including medieval buildings, city gates, and beautiful fountains. Aachen is Germany’s westernmost city. It lies near the borders with Belgium and the Netherlands and is nestled between the large national parks of the Eifel and the Ardennes. The city has a population of 260,000, which includes about 50,000 students and more than 4,000 academic staff from across the world. Its lively student community lends the city just as much character as its history. Aachen is famous for its Printen gingerbread, its hot springs, its Mardi Gras carnival and one of the world’s largest equestrian tournaments. The historic city center and a wealth of bars, cafés, and restaurants, combined with the nearby nature parks, such as the Eifel, make Aachen a city where everyone feels at home. The venue of the conference, the Tivoli football stadium, is located on the border of the city center. This beautiful venue will provide a unique atmosphere with great views and excellent conference facilities. From irdta at irdta.eu Mon Oct 29 10:50:35 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 29 Oct 2018 10:50:35 +0100 Subject: TPNC 2018: call for participation Message-ID: TPNC 2018: call for participation*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* *************************************************************************** 7th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING TPNC 2018 Dublin, Ireland December 12-14, 2018 Co-organized by: Natural Computing Research & Applications Group School of Business University College Dublin Institute for Research Development, Training and Advice Brussels / London http://tpnc2018.irdta.eu/ *************************************************************************** PROGRAM Wednesday, December 12 08:30 - 09:00    Registration 09:00 - 09:10    Opening 09:10 - 10:00    Hani Hagras. Explainable AI and Fuzzy Logic Systems - Invited lecture 10:00 - 10:15    Break 10:15 - 11:30 Roberto Barbuti, Anna Bernasconi, Roberta Gori and Paolo Milazzo. Computing Preimages and Ancestors in Reaction Systems Mengzhe Chen and Nikolay M. Sirakov. Poisson Equation Solution and its Gradient Vector Field to Geometric Features Detection Ziya Firat, Eliseo Ferrante, Nicolas Cambier and Elio Tuci. Self-organised Aggregation in Swarms of Robots with Informed Robots 11:30 - 11:45    Break 11:45 - 13:00 Fred Gruau and Luidnel Maignan. Cellular Computation, with Spatial Types on Planar Graph Yuichi Kato, Tetsuro Saeki and Jiwei Fei. Application of STRIM to Datasets Generated by Partial Correspondence Hypothesis Yuichi Komano and Takaaki Mizuki. Multi-party Computation Based on Physical Coins 13:00 - 14:15    Lunch 14:15 - 15:30 Shigeru Ninagawa. Patterns and their Interaction in Excitable Media on Face-centered Cubic Lattice Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-Ichi Minato, Masanao Yamaoka and Tamiki Komatsuzaki. Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Miin-Shen Yang, Shou-Jen Chang-Chien and Yessica Nataliani. Gaussian-kernel c-means Clustering Algorithms 15:30 - 15:45    Break 15:45 - 17:00 Michael Hellwig and Hans-Georg Beyer. A Linear Constrained Optimization Benchmark for Probabilistic Search Algorithms: The Rotated Klee-Minty Problem Karlo Knezevic, Stjepan Picek, Luca Mariot, Domagoj Jakobovic and Alberto Leporati. The Design of (Almost) Disjunct Matrices by Evolutionary Algorithms Nam Le, Anthony Brabazon and Michael O'Neill. How the "Baldwin Effect" Can Guide Evolution in Dynamic Environments --- Thursday, December 13 09:00 - 09:50    Juergen Branke. Design of Complex Systems via Simulation-based Optimisation - Invited lecture 09:50 - 10:05    Break 10:05 - 11:20 Katherine Malan. Landscape-aware Constraint Handling Applied to Differential Evolution Abtin Nourmohammadzadeh and Sven Hartmann. Fuel Efficient Truck Platooning with Time Restrictions and Multiple Speeds Solved by a Particle Swarm Optimisation Thambo Nyathi and Nelishia Pillay. Automated Design of Genetic Programming Classification Algorithms for Financial Forecasting Using Evolutionary Algorithms 11:20 - 11:35    Break and Group photo 11:35 - 12:50 Geoff Pond and Greg McQuat. Optimizing Fleet Staging of Air Ambulances in the Province of Ontario Takfarinas Saber, David Fagan, David Lynch, Stepan Kucera, Holger Claussen and Michael O'Neill. A Hierarchical Approach to Grammar-guided Genetic Programming: The Case of Scheduling in Heterogeneous Networks Maxim Sakharov and Anatoly Karpenko. Multi-memetic Mind Evolutionary Computation Algorithm Based on the Landscape Analysis 12:50 -    14:05    Lunch 14:05 - 15:20 Alexandru Amarioarei, Gefry Barad, Eugen Czeizler, Ana-Maria Dobre, Corina Itcus, Victor Mitrana, Andrei Paun, Mihaela Paun, Frankie Spencer, Romica Trandafir and Iris Tusa. DNA-guided Assembly of Nanocellulose Meshes Alejandro Díaz-Caro and Marcos Villagra. Classically Time-controlled Quantum Automata Tadao Maekawa, Manabu Honda, Osamu Ueno and Tsutomu Oohashi. Mortal Organisms Rescue Immortal Organisms from Evolutionary Inertness: Perspective of the Programmed Self-decomposition Model 15:20 - 15:35    Break 15:35 - 16:50 S. Sahand Mohammadi Ziabari and Jan Treur. Integrative Biological, Cognitive and Affective Modeling of a Drug-therapy for a Post-traumatic Stress Disorder Roland Ritt and Paul O'Leary. Symbolic Analysis of Machine Behaviour and the Emergence of the Machine Language Knud Thomsen. It Is Time to Dissolve Old Dichotomies in order to Grasp the Whole Picture of Cognition 17:00 - 19:00    Touristic visit --- Friday, December 14 09:00 - 09:50    Georgios Ch. Sirakoulis. The Cellular Automata Computing Paradigm Enriched: From Simple Models to Real World Applications - Invited lecture 09:50 - 10:05    Break 10:05 - 11:20 Caroline Tichelaar and Jan Treur. Network-oriented Modeling of the Interaction of Adaptive Joint Decision Making, Bonding and Mirroring Jan Treur. Network Reification as a Unified Approach to Represent Network Adaptation Principles within a Network Jan Treur. Relating an Adaptive Network’s Structure to its Emerging Behaviour for Hebbian Learning 11:20 - 11:35    Break 11:35 - 12:50 Toshinori Deguchi and Naohiro Ishii. On Capacity with Incremental Learning by Simplified Chaotic Neural Network Ata Kabán and Yamanporn Thummanusarn. Tighter Guarantees for the Compressive Multi-layer Perceptron Ryotaro Kamimura. Information-theoretic Self-compression of Multi-layered Neural Networks 12:50 -    14:05    Lunch 14:05 - 15:20 Tibor Kmet and Maria Kmetova. Radial Basis Function Networks Simulation of Age-structure Population Esma Mansouri-Benssassi and Juan Ye. Bio-inspired Spiking Neural Networks for Facial Expression Recognition: Generalisation Investigation Tamás Nyíri, Attila Ulbert and Attila Kiss. Novel Ensembling Methods for Dermatological Image Classification 15:20 - 15:35    Break 15:35 - 16:25 Feras Odeh and Adel Taweel. SemVec: Semantic Features Word Vectors Based Deep Learning for Improved Text Classification Jiri Síma. Three Analog Neurons Are Turing Universal 16:25 - 16:35    Closing -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From maria.luz.castro at udc.gal Mon Oct 29 10:50:35 2018 From: maria.luz.castro at udc.gal (Luz Castro) Date: Mon, 29 Oct 2018 10:50:35 +0100 Subject: CFP EVOMUSART 2019: DEADLINE EXTENDED, November 12, 2018 Message-ID: Dear colleagues, **** DEADLINE EXTENDED **** The deadline for submitting your paper on the 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) is now **November 12, 2018**. More information on the submission process and the topics of evoMUSART 2019 can be found at http://www.evostar.org/2019/cfp_evomusart.php Important dates are: - Submission Deadline: November 12, 2018 <-- New - Notification: January 12, 2019 <-- New - Camera-ready: February 11, 2019 <-- New - EVO event: April 24-26, 2019 (Leipzig, Germany) Best regards, Anikó, Antonios and Luz The evoMUSART 2019 organizers From h.prakken at uu.nl Mon Oct 29 10:50:35 2018 From: h.prakken at uu.nl (Henry Prakken) Date: Mon, 29 Oct 2018 10:50:35 +0100 Subject: 1st Call for Participation JURIX 2018 Message-ID: Call for Participation 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018) Groningen (The Netherlands), 12-14 december 2018 http://jurix2018.ai.rug.nl For more than 30 years, the JURIX conference has provided an international forum for research on the intersection of Law, Artificial Intelligence and Information Systems, under the auspices of the JURIX Foundation for Legal Knowledge Systems. This year, out of 73 submissions we accepted seventeen full papers and eleven short papers. We have 6 workshops, a doctoral consortium and a hackathon. It is encouraging to see that the contributions cover all aspects of this diverse field: theoretical, focused on a better understanding of argumentation, legal reasoning, norms and legal knowledge modelling (e.g. ontologies and rules); empirical, targeted to extracting knowledge form legal texts using machine learning or NLP techniques and to visualise it in the best manner for the end user; and papers describing practical applications. More information, including a list of accepted papers, can be found at the conference website: http://jurix2018.ai.rug.nl/ Invited speakers Marie-Francine Moens (KU Leuven, Belgium) Jeroen van den Hoven (TU Delft, The Netherlands) Important dates Early registration deadline: 3 December 2018 Hackathon submission Deadline: 10 November 2018 Deadline for workshop and doctoral consortium submissions: 14 November 2018 Workshops, hackathon and doctoral consortium: 12 December 2018 Main conference: 13 & 14 December 2018 Organisation Program Chair: - Monica Palmirani , CIRSFID, University of Bologna, Italy Organising co-chairs: - Jeanne Mifsud Bonnici , Faculty of Law, University of Groningen, The Netherlands - Henry Prakken , Faculty of Law, University of Groningen & Department of Information and Computing Sciences, Utrecht University, The Netherlands - Bart Verheij , Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, The Netherlands Contact and administration: - Sarah van Wouwe (s.k.van.wouwe at rug.nl) Conference web page: http://jurix2018.ai.rug.nl -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: