From Cassia.Trojahn at irit.fr Tue Oct 2 09:21:44 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 02 Oct 2018 09:21:44 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018_=3A_call_for_participation?= Message-ID: <42dd-5bb31c80-4ef-2104aa00@73230422> 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 cfp at mat.unical.it Tue Oct 2 10:37:47 2018 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Tue, 2 Oct 2018 10:37:47 +0200 Subject: [fg-arc] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards Message-ID: <148f4a87f1e94b5a5a55793673c2f30b.squirrel@www.mat.unical.it> [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 gerti at big.tuwien.ac.at Mon Oct 8 09:44:03 2018 From: gerti at big.tuwien.ac.at (Kappel, Gertrude) Date: Mon, 8 Oct 2018 07:44:03 +0000 Subject: [fg-arc] Open Position of Assistant Professor (Tenure Track) of Software Engineering at TU Wien References: <88b0e54d25b94c2fbd24b0bec6069d85@mbx13b.intern.tuwien.ac.at> Message-ID: <314b0f79d5d64e6bbe6bd9872615fb94@mbx13b.intern.tuwien.ac.at> ------------------------------------------------------------------------------------------------------------------------- Open position at the Faculty of Informatics at Technische Universität Wien (TU Wien) for an Assistant Professor (Tenure Track) of Software Engineering --------------------------------------------------------------------------------------------------------------------------- TU Wien invites applications for a full time Assistant Professor position (tenure track) of Software Engineering at the Faculty of Informatics. The position is affiliated to the Institute of Information Systems Engineering. The estimated starting date is July 1, 2019. The work contract is initially limited to six years. The candidate and TU Wien can agree upon a tenure evaluation, which when positive, opens the possibility to change the position to Associate Professor with an unlimited contract. The successful candidate will have an outstanding research and teaching record in the field of Software Engineering, which investigates and develops methods for large-scale software systems. Within this realm, all areas of Software Engineering will be considered. The candidate should have experience in working with industry, relevant postdoctoral experience, and a compelling research vision. We are particularly interested in candidates working in areas that will complement our existing expertise and lead to fruitful collaborations with other members of the Faculty of Informatics and TU Wien in general. Besides research, the duties of an Assistant Professor at TU Wien include graduate and undergraduate teaching (in English or German) as well as contributing to usual management and faculty service tasks. TU Wien is among the most successful technical universities in Europe and it is Austria's largest scientific-technical research and educational institution. The Faculty of Informatics, one of the eight faculties at TU Wien, plays an active role in national and international research and has an excellent reputation. The main areas of research include Computer Engineering, Logic and Computation, Visual Computing & Human-Centered Technology, as well as Information Systems Engineering. APPLICANTS ARE EXPECTED TO HAVE THE FOLLOWING QUALIFICATIONS: Essential * PhD or doctoral degree in Computer Science or Business Informatics * Post-doctoral experience at a university or other research institution * An outstanding research and publication record * An excellent reputation as an active member of the international scientific community * Experience in raising research funds and managing scientific research projects * Experience in university teaching * Pedagogic and didactic skills * Administrative and organizational skills * Gender sensitivity and social skills Desirable * Leadership skills * If the candidate's knowledge of German is not sufficient, the willingness to learn German is expected * Experiences in inter-disciplinary research THE FACULTY OF INFORMATICS OFFERS * Excellent working conditions in an attractive research environment * An attractive salary, including additional contributions to a pension fund * Support for relocating to Vienna (if required) * A position in a city with an exceptional quality of life GENERAL INFORMATION For information about * TU Wien, go to: https://www.tuwien.ac.at/ * Faculty of Informatics, go to: http://www.informatik.tuwien.ac.at/ * the 4 main research areas of the Faculty of Informatics, go to: http://www.informatik.tuwien.ac.at/research * Institute of Information Systems Engineering, go to: http://www.informatik.tuwien.ac.at/faculty/institutes/e194 APPLICATION TU Wien is committed to increasing female employment in leading scientific positions. Female applicants are explicitly encouraged to apply. Preference will be given to female applicants when equally qualified. People with special needs with appropriate qualifications are encouraged to apply. In case of queries, please contact the representative of people with disabilities of TU Wien Mr. Gerhard Neustätter (gerhard.neustaetter at tuwien.ac.at). Child care breaks will be handled in the same manner as in the ERC regulations for principal investigators applying to the starting grant; see: http://ec.europa.eu/research/participants/data/ref/h2020/wp/2018_2020/erc/h2020-wp18-erc_en.pdf Applications have to include * A detailed curriculum vitae * A list of publications * A letter of motivation * A research statement: brief summary of past research activities, as well as a convincing outline of planned research activities, and an explanation of their contribution to the scientific profile of the Faculty of Informatics; 4-6 pages maximum; incl. abstract * A teaching statement: 2 pages maximum * Copies of the applicant's three most important publications related to the position together with an explanation of their relevance * Certificates of doctoral and diploma degrees The employment starts as University Assistant with a minimum salary of EUR 3,711.10 gross (14 × per year) according to the collective bargaining agreement for a PostDoc. After signing the qualification agreement, the employment is as Assistant Professor with a minimum salary of EUR 4,388.70 (14 × per year). Applications (in English) should be sent to the Dean of the Faculty of Informatics, Prof. Dr. Hannes Werthner, in digital form as a single pdf file to: dekanat at informatik.tuwien.ac.at Application Deadline: November 4, 2018 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Assistant Professor (Tenure Track) of Software Engineering.pdf Type: application/pdf Size: 239857 bytes Desc: Assistant Professor (Tenure Track) of Software Engineering.pdf URL: From irdta at irdta.eu Sun Oct 7 01:30:34 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 07 Oct 2018 01:30:34 +0200 Subject: [fg-arc] LATA 2019: 2nd call for papers Message-ID: <545102060a010b04055f580403055a555057530504570f5056515a545701555953550456500e0001075e5353050a04@grlmc_ip-zone_com-6> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From nevrenato at gmail.com Fri Oct 5 19:52:23 2018 From: nevrenato at gmail.com (Renato Neves) Date: Fri, 5 Oct 2018 18:52:23 +0100 Subject: [fg-arc] Formal Methods 2019: First Call for Papers Message-ID: <20181005175223.GA5163@localhost.localdomain> ================================================================================================== 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 irdta at irdta.eu Sun Oct 14 18:04:20 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 14 Oct 2018 18:04:20 +0200 Subject: [fg-arc] BigDat 2019: early registration October 15 Message-ID: <545102060a010b040650530606025a5253000353540701570b065b0154005b5250560607025d060604005250035752@grlmc_ip-zone_com-6> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Mon Oct 15 10:43:40 2018 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 15 Oct 2018 10:43:40 +0200 Subject: [fg-arc] =?utf-8?q?EKAW_2018=3A_second_call_for_participation?= Message-ID: <1f3b-5bc45300-85-18837b40@147499683> 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 nevrenato at gmail.com Wed Oct 17 18:02:31 2018 From: nevrenato at gmail.com (Renato Neves) Date: Wed, 17 Oct 2018 17:02:31 +0100 Subject: [fg-arc] FM'19: Call for Workshop & Tutorial Proposals Message-ID: <20181017160231.GA14833@endpub240.eduroam-visitantes.uminho.pt> 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 maurice.terbeek at isti.cnr.it Fri Oct 19 15:17:22 2018 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Fri, 19 Oct 2018 15:17:22 +0200 Subject: [fg-arc] Final Call for Papers: FSEN 2019 Message-ID: ###################################################################### FINAL CALL FOR PAPERS Eighth International Conference on Fundamentals of Software Engineering 2019 - Theory and Practice (FSEN '19) http://fsen.ir/2019 Tehran, Iran May 1-3, 2019 IFIP Supported Event (IFIP WG 2.2 and IFIP TC2) http://www.ifip.org/ ACM In-Cooperation event Http://www.acm.org ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 1-3, 2019. -- Important Dates -- Abstract Submission (optional): October 19, 2018 (AoE) Paper Submission: October 28, 2018 (AoE) Notification: December 18, 2018 Final pre-Conference Version: January 20, 2019 (AoE) Conference: May 1-3, 2019 -- Keynote Speakers -- Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy   Title: Programming Collective Adaptive Systems by Relying on Attribute-based Communication Giovanna Di Marzo Serugendo, University of Geneva, Switzerland   Title: First and Second-Order Emergence - From Bio-Inspired Design Patterns to Reliable Self-Composing Spatial Services Martin Wirsing, LMU Munich, Germany   Title: Towards Formally Designing Collective Adaptive Systems -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and Service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial Applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in Postscript or PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2019. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'19 will be published by Springer Verlag in the LNCS series. Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'19 (to be confirmed). After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran -- Program Chairs -- Hossein Hojjat - Rochester Institute of Technology, USA Mieke Massink - CNR-ISTI Pisa, Italy -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, Netherlands; Leiden University, Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, Netherlands; Leiden University, Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Malardalen University, Sweden; Reykjavik University, Iceland (Chair) Jan Rutten - CWI, Netherlands; Vrije University Amsterdam, Netherlands -- Program Committee --   Mohammad Abdollahi Azgomi - Iran University of Science and Technology, Iran   Erika Abraham - RWTH Aachen University, Germany   Gul Agha - University of Illinois at Urbana - Champaign, USA   Christel Baier - Technische Universitat Dresden, Germany   Ezio Bartocci, Vienna University of Technology, Austria   Marcello Bonsangue - Leiden University, The Netherlands   Mario Bravetti - University of Bologna, Italy   Michael Butler - University of Southampton, UK   Erik de Vink - Eindhoven University of Technology, The Netherlands   Alessandra Di Pierro - University of Verona, Italy   Ali Ebnenasir - Michigan Technological University   Wan Fokkink - Vrije Universiteit Amsterdam, Netherlands   Adrian Francalanza - University of Malta, Malta   Masahiro Fujita - University of Tokyo, Japan   Maurizio Gabbrielli - University of Bologna, Italy   Fatemeh Ghassemi - University of Tehran, Iran   Jan Friso Groote - Eindhoven University of Technology, The Netherlands   Hassan Haghighi - Shahid Beheshti University, Iran   Philipp Haller - KTH Royal Institute of Technology, Sweden   Mohammad Izadi - Sharif University of Technology, Iran   Narges Khakpour - Linnaeus University, Sweden   Ramtin Khosravi - University of Tehran, Iran   Natallia Kokash - IT Consultant NK Research, The Netherlands   Eva Kühn - Vienna University of Technology, Austria   Kim Larsen - Aalborg University, Denmark   Zhiming Liu - Southwest University, China   Hassan Mirian-Hosseinabadi  - Sharif University of Technology, Iran   Emanuela Merelli - University of Camerino, Italy   Ugo Montanari - University of Pisa, Italy   Mohammad Reza Mousavi - University of Leicester, UK   Ali Movaghar - Sharif University of Technology, Iran   Peter Mosses - Swansea University, UK   Magnus O. Myreen - Chalmers University, Sweden   Shiva Nejati - University of Luxembourg, Luxembourg   Peter Olveczky - University of Oslo, Norway   Jose Proenca - INESC TEC & Universidade do Minho, Portugal   Wolfgang Reisig, Humboldt-Universitat zu Berlin, Germany   Philipp Ruemmer - Uppsala University, Sweden   Gwen Salaun - University of Grenoble Alpes, Inria, France   Cristina Seceleanu - Mälardalen University, Sweden   Marjan Sirjani - Mälardalen University and Reykjavik University, Sweden/Iceland   Marielle Stoelinga - University of Twente and Radboud University, The Netherlands   Meng Sun - Peking University, China   Carolyn Talcott - SRI International, USA ###################################################################### From irdta at irdta.eu Sun Oct 21 12:52:42 2018 From: irdta at irdta.eu (IRDTA) Date: Sun, 21 Oct 2018 12:52:42 +0200 Subject: [fg-arc] LATA 2019: 3rd call for papers Message-ID: <545102060a010b040754540200005a5d50560105040155500550085003550558000203565258515502020751535154@grlmc_ip-zone_com-6> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 26 15:17:48 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 26 Oct 2018 16:17:48 +0300 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): First Call for Papers Message-ID: *** SECOND CALL FOR PAPERS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyODkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Abstracts due: January 25, 2019 (mandatory) Papers due: February 1, 2019 BACKGROUND AND SCOPE ACM UMAP, "User Modeling, Adaptation and Personalization", is the premier international conference for researchers and practitioners working on systems that adapt to individual users, to groups of users, and that collect, represent, and model user information. ACM UMAP is sponsored by ACM SIGCHI and SIGWEB. The proceedings are published by ACM and will be part of the ACM Digital Library. ACM UMAP covers a wide variety of research areas where personalization and adaptation may be applied. This include (but is in no way limited to) a number of domains in which researchers are engendering significant innovations based on advances in user modeling and adaptation, recommender systems, adaptive educational systems, intelligent user interfaces, e-commerce, advertising, digital humanities, social networks, personalized health, entertainment, and many more. This year the conference hosts three new tracks, one on privacy and fairness, one on personalized music access, and one on personalized health. CONFERENCE TRACKS For details, see the conference website ( http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyODkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F ). · Track 1 - Personalized Recommender Systems · Track 2 - Adaptive Hypermedia and the Semantic Web · Track 3 - Intelligent User Interfaces · Track 4 - Personalized Social Web · Track 5 - Technology-Enhanced Adaptive Learning · Track 6 - Privacy and Fairness · Track 7 - Personalized Music Access · Track 8 - Personalized Health SUBMISSION AND REVIEW PROCESS Papers have to be submitted through EasyChair: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyODkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dacmumap2019 Long (8 pages + references) and Short (4 pages + references) papers in ACM style, peer reviewed, original, and principled research papers addressing both the theory and practice of UMAP and papers showcasing innovative use of UMAP and exploring the benefits and challenges of applying UMAP technology in real-life applications and contexts are welcome. Long papers should present original reports of substantive new research techniques, findings, and applications of UMAP. They should place the work within the field and clearly indicate innovative aspects. Research procedures and technical methods should be presented in sufficient detail to ensure scrutiny and reproducibility. Results should be clearly communicated and implications of the contributions/findings for UMAP and beyond should be explicitly discussed. Short papers should present original and highly promising research or applications. Merit will be assessed in terms of originality and importance rather than maturity, extensive technical validation, and user studies. Papers must be formatted using the ACM SIG Standard (SIGCONF) proceedings template: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwkyODkJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . All accepted papers will be published by ACM and will be available via the ACM Digital Library. At least one author of each accepted paper must register for the conference and present the paper there. IMPORTANT DATES · Abstracts: January 25, 2019 (mandatory) · Full paper: February 1, 2019 · Notification: March 11, 2019 · Camera-ready: April 3, 2019 Note: The submission time is 11:59pm AoE time (Anywhere on Earth). GENERAL CHAIRS · George A. Papadopoulos, University of Cyprus, Cyprus · George Samaras, University of Cyprus, Cyprus · Stephan Weibelzahl, PFH Private University of Applied Sciences, Göttingen, Germany RELATED EVENTS Separate calls will be later sent for Workshops and Tutorials, Doctoral Consortium, Posters, Late Breaking Results and Theory, Opinion and Reflection works, as they have different deadlines and submission requirements. -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Oct 29 01:26:33 2018 From: irdta at irdta.eu (IRDTA) Date: Mon, 29 Oct 2018 01:26:33 +0100 Subject: [fg-arc] TPNC 2018: call for participation Message-ID: <545102060a010b04075e560502025a50505406020254545457060c060550545955045754065d000b00035753000752@grlmc_ip-zone_com-6> 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Oct 27 13:59:45 2018 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 27 Oct 2018 14:59:45 +0300 Subject: [fg-arc] The 27th ACM Conference on User Modeling, Adaptation and Personalization (UMAP 2019): Call for Workshop Proposals Message-ID: *** CALL FOR WORKSHOP PROPOSALS *** 27th ACM International Conference on User Modeling, Adaptation and Personalization (ACM UMAP 2019) Golden Bay Beach Hotel 5*, Larnaca, Cyprus, June 9-12, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlUaGUgMjd0aCBBQ00gQ29uZmVyZW5jZSBvbiBVc2VyIE1vZGVsaW5nLCBBZGFwdGF0aW9uIGFuZCBQZXJzb25hbGl6YXRpb24gKFVNQVAgMjAxOSk6IENhbGwgZm9yIFdvcmtzaG9wIFByb3Bvc2FscwkyOTEJTGlzdHMJMTQ4CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.um.org%2Fumap2019%2F Proposals due: December 14, 2018 ACM UMAP 2019, the premier international conference for researchers and practitioners working on systems that adapt to individual users or to groups of users, and which collect, represent, and model user information, is pleased to invite proposals for workshops to be held in conjunction with the conference. The workshops provide a venue to discuss and explore emerging areas of User Modelling and Adaptive Hypermedia research with a group of like-minded researchers and practitioners from industry and academia. In this edition, our goal is to have a balanced workshop program comprising different workshop formats and combining emerging and established research topics. Different full-day and half-day workshop schemas are possible, such as: · Working group meetings around a specific problem or topic; participants may be asked to submit a white paper or position statement. · Mini-conferences on specialized topics, having their own paper submission and review processes. · Mini-competitions or challenges around selected topics with individual or team participation. · Interactive discussion meetings focusing on subtopics of the UMAP general research topics. PROPOSAL FORMAT Workshop proposals should be submitted in PDF format to both workshop chairs, not exceeding 5 pages and organized as follows: · Workshop title and acronym. · Workshop chair(s), including affiliation, email address, homepage, and experiences in organizing such events. · Abstract (up to 300 words) and topics of interest. · Motivation on why the workshop is of particular interest at this time. · Workshop format, discussing the mix of events such as paper presentations, invited talks, panels, and general discussions. · Intended audience and expected number of participants. · List of (potential) members of the program committee (at least 50% have to be confirmed at the time of the proposal). · Requested duration (half day or full day). · When available, past editions of the workshop, including URLs, a brief statement on the development of the workshop series, e.g., in terms of topics, number of paper submissions and participants, post-workshop publications over the years and acceptance statistics. INSTRUCTIONS We encourage both researchers and industry practitioners to submit workshop proposals. Researchers interested in submitting a workshop proposal are invited to contact us in advance, so we can help to design successful proposals. In particular, for workshop proposals with novel interactive formats, we are happy to assist in further developing and implementing the ideas. We strongly suggest to have organizers from different institutions, bringing different perspectives to the workshop topic. We welcome workshops with a creative structure that may attract various types of contributions and may ensure rich interactions. The organizers of accepted workshops will prepare a workshop web site containing the call for papers and detailed information about the workshop organization and timeline. They will be responsible for their own publicity and reviewing processes. There will be a conference adjunct proceedings published by ACM where all the workshop papers will be published. Hence, the workshop organizers will need to adhere to the adjunct proceedings publication timeline. IMPORTANT DATES · Proposal submission: December 14, 2018 · Notification of proposal acceptance: January 9, 2019 · Send the workshop description & website URL : January 23, 2019 · (Suggested) 1st call for papers: January 28, 2019 · (Suggested) 2nd call for papers: February 20, 2019 · (Suggested) paper submission: March 13, 2019 · (Suggested) notification to authors: March 26, 2019 · Workshop summary camera-ready: April 3, 2019 · Workshop papers camera-ready: April 3, 2019 · Adjunct proceedings camera ready: April 15, 2019 WORKSHOP CHAIRS · Milos Kravcík, German Research Center for Artificial Intelligence (DFKI), Germany (milos.kravcik AT dfki.de) · Iván Cantador, Universidad Autónoma de Madrid, Spain (ivan.cantador AT uam.es) -------------- next part -------------- An HTML attachment was scrubbed... URL: