From ricardo.campos at ipt.pt Thu Aug 1 11:09:36 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 01 Aug 2019 11:09:36 +0200 Subject: 42nd European Conference on Information Retrieval | Lisbon, 2020 | Call for Papers In-Reply-To: References: Message-ID: ===================== ECIR 2020 :: 42nd European Conference on Information Retrieval http://www.ecir2020.org/ Lisbon April 14 -17, 2020 ===================== The European Conference on Information Retrieval is the prime European forum for the presentation of original research in the field of Information Retrieval. ECIR 2020 is seeking high-quality and original submissions on theory, experimentation, and practice regarding the retrieval, representation, management, and usage of textual, visual and multi-modal information. ECIR strongly supports user, system, application, and evaluation focused papers: * User aspects including information interaction, contextualisation, personalisation, simulation, characterisation, and information behaviours. * System aspects including retrieval and recommendation algorithms, machine learning, deep learning, content representation, natural language processing, system architectures, and efficiency methods. * Applications such as search and recommender systems, web and social media apps, domain specific search (professional, bio, chem, etc.), novel interfaces, intelligent search agents/bots, and related innovative search tools. * Evaluation research including new measures and novel methods for the measurement and evaluation of users, systems and/or applications. In addition to these traditional topic areas, ECIR 2020 will be encouraging the submissions of papers on a specialised theme (eHealth, DeepLearning, education IR etc.) Full Paper Track ===================== The Full paper track provides the opportunity for researchers to present their state of the art research in Information Retrieval, which makes, or have the potential to make, a significant contribution to the field. Full paper submissions should be 12 pages in length plus additional pages for references. NEW!!!: As of 2020, a selection of the best papers at ECIR will be published in a special issue of the Information Retrieval Journal. Information Retrieval Journal ===================== Selected papers from ECIR 2020 will be published in a special issue of the Information Retrieval Journal in early 2021. Short Paper Track ===================== The Short Paper Track calls for original contributions presenting novel, thought-provoking ideas and addressing innovative application areas within the field of Information Retrieval. The inclusion of promising (preliminary) results is encouraged but not required. Papers that stimulate and promote discussion are particularly encouraged. Short paper submissions should be 6 pages in length plus additional pages for references. Reproducibility Track ===================== ECIR also strongly encourages the submission of reproducibility papers that repeat and analyze prior work. In particular we solicit classical reproducibility papers, which replicate prior experiments and show how, why, and when the methods work (or not), along with two other types of reproducibility papers: generalizability papers, that focus on assessing how well technology performs in new contexts (e.g., different time, location, access device, task), and predictability papers, that focus on developing theory and methods that assess and evaluate how generalizable methods are and whether they will work in other contexts. Reproducibility submissions are welcome in any of the ares related to aspects of Information Retrieval, and either fits with the classical or alternative types of reproducibility papers. Reproducibility submissions should be 12 pages in length plus additional pages for references. Demonstration Track ===================== The Demo Track provide the opportunity for researchers to present their research prototypes and operational systems which they wish to share with the community, obtain feedback from experts, and exchanges knowledge on implementing and developing such systems. Submissions should clearly define their purpose, scope, and audience. All submissions should provide a URL to a live online version of their demo or, alternatively, provide a URL to a video showcasing the main features of their demo. Demonstrations that make their source code freely available are especially encouraged. Demonstration submissions are welcome in any of the areas related to Information Retrieval (IR), as identified in the Topics of Interest listed above. Demo submissions should be 4 pages in length plus additional pages for references. Submission Guidelines ===================== All submissions must be written in English and be formatted according to the LNCS author guidelines. All papers should be submitted electronically through the conference submission system. Full papers (e.g. main paper track and reproducibility track) are up to 12 pages in length plus additional pages for references, short papers are up to 6 pages in length plus additional pages for references, and demonstration papers are to be 4 pages in length plus additional pages for references. Full paper and short paper submissions will be refereed through double-blind peer review. Demonstration papers will undergo single-blind review. Accepted full papers, short papers, and demo papers will be published in the conference proceedings published in the Springer Lecture Notes in Computer Science series. The proceedings will be distributed to all delegates at the conference. Accepted full papers, short papers, and demos papers will have to be presented at the conference--and at least one author will be required to register. Timeline ===================== Workshop submission: 1 September 2019 Workshop notifications: 1 October 2019 Full paper submission: 1 October 2019 Short paper submission: 15 October 2019 Demo submission: 15 October 2019 Doctoral consortium submission: 15 December 2019 Full/short/demo notifications: 30 November 2019 Camera-ready copy: 27 December 2019 Tutorials submission: 15 November 2019 Tutorials notifications: 15 December 2019 Workshops and tutorials: 14 April 2020 Main Conference: 15-17 April 2020 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Aug 1 11:09:36 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 01 Aug 2019 11:09:36 +0200 Subject: SLSP 2019: call for posters Message-ID: SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See  https://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (JCR 2018 impact factor: 1.776). REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From ywang485 at asu.edu Thu Aug 1 11:09:36 2019 From: ywang485 at asu.edu (Yi Wang) Date: Thu, 01 Aug 2019 11:09:36 +0200 Subject: Call for Papers: The Sixth Workshop on Probabilistic Logic Programming (PLP 2019) In-Reply-To: References: Message-ID: PLP-2019: The Sixth Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA http://stoics.org.uk/plp/plp2019 Deadline for submissions: Aug, 4th July 2019 (extended) Overview ----- Probabilistic logic programming (PLP) approaches have received much attention in this century. They address the need to reason about relational domains under uncertainty arising in a variety of application domains, such as bioinformatics, the semantic web, robotics, and many more. Developments in PLP include new languages that combine logic programming with probability theory, as well as algorithms that operate over programs in these formalisms. The workshop encompasses all aspects of combining logic, algorithms, programming and probability. PLP is part of a wider current interest in probabilistic programming. By promoting probabilities as explicit programming constructs, inference, parameter estimation and learning algorithms can be ran over programs which represent highly structured probability spaces. Due to logic programming's strong theoretical underpinnings, PLP is one of the more disciplined areas of probabilistic programming. It builds upon and benefits from the large body of existing work in logic programming, both in semantics and implementation, but also presents new challenges to the field. PLP reasoning often requires the evaluation of large number of possible states before any answers can be produced thus braking the sequential search model of traditional logic programs. While PLP has already contributed a number of formalisms, systems and well understood and established results in: parameter estimation, tabling, marginal probabilities and Bayesian learning, many questions remain open in this exciting, expanding field in the intersection of AI, machine learning and statistics. This workshop provides a forum for the exchange of ideas, presentation of results and preliminary work, in the following areas * 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 * Bayesian learning * tabling for learning and stochastic inference * MCMC * stochastic search * labelled logic programs * integration of statistical software The above list should be interpreted broadly and is by no means exhaustive. Purpose ----- After five successful editions of this workshop at ICLP 2014 in Vienna, ICLP 2015 in Cork and ILP 2016 in London, at ILP 2017 in Orléans, at ILP 2018 in Ferrara, the sixth edition of PLP is held at the ICLP conference in Las Cruces. We hope that this encourages further collaboration between researchers in PLP and researchers working in other areas of ICLP. Submissions ----- Submissions will be managed via EasyChair(https://easychair.org/conferences/?conf=plp2019). Contributions should be prepared in the LNCS style. A mixture of papers are sought including: new results, work in progress as well as technical summaries of recent substantial contributions. Papers presenting new results should be 6-12 pages in length. Work in progress and technical summaries can be shorter (2-5 pages). The workshop proceedings will clearly indicate the type of each paper. At least one author of each accepted paper will be required to attend the workshop to present the contribution. Publication ----- Informal proceedings will be made available electronically to attendees. They will also be for stored permanently in the form on CEUR Workshop Proceedings (http://ceur-ws.org/). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Sun, 4th August 2019 Notification to authors: Fri, 16th August 2019 Camera ready version due: Fri, 30th August 2019 Workshop date: September 20-25, 2019 (the deadline for all dates is 23:59 BST) Invited Speaker(s) ----- Joohyung Lee (Arizona State University, USA) Guy Van den Broeck (University of California, Los Angeles) Elena Bellodi (University of Ferrara, Italy) Programme Committee ----- Yi Wang (Arizona State University, USA) [co-chair] (ywang485 at asu.edu) Sriraam Natarajan (The University of Texas at Dallas, USA) [co-chair] (Sriraam.Natarajan at utdallas.edu) Joohyung Lee (Arizona State University, USA) Elena Bellodi (University of Ferrara, Italy) Fabio Cozman (University of Sao Paulo, Brasil) Luke Dickens (University College London, UK) Matthias Nickles (National University of Ireland, Ireland) Rolf Schwitter (Macquarie University, Australia) Chung-Chieh Shan (Indiana University Bloomington, USA) Senior Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Vitor Santos Costa (Universidade do Porto, Portugal) James Cussens (University of York, UK) Arjen Hommersom (Open University, The Netherlands) Angelika Kimmig (KU Leuven, Belgium) Evelina Lamma (University of Ferrara, Italy) David Poole (University of British Columbia, Canada) Luc De Raedt (KU Leuven, Belgium) Fabrizio Riguzzi (University of Ferrara, Italy) Alessandra Russo (Imperial College, UK) Joost Vennekens (KU Leuven, Belgium) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From komendantskaya at gmail.com Mon Aug 12 10:59:19 2019 From: komendantskaya at gmail.com (Ekaterina Komendantskaya) Date: Mon, 12 Aug 2019 10:59:19 +0200 Subject: PADL 2020 (co-allocated with POPL 2020): first call for papers Message-ID: 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020)https://popl20.sigplan.org/home/PADL-2020,20-21 January 2019, New Orleans, Louisiana, United StatesCo-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative programming languages* is an umbrella term for functional, logic, answer-set and constraint-solving programming paradigms, as well as a range of verification and theorem proving methods that rely on such languages. These languages have been successfully applied to many different real-world situations, ranging from data base management and active networks to software engineering and decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise new intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, data-base and constraint programming, theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020 especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example database languages and contract languages.* Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2020 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2020 will accept both technical and application papers: *Technical papers* must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format. *Application papers* are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe. *The proceedings of PADL 2020 will appear in the LNCS series of Springer Verlag: https://www.springer.com/gp/computer-science/lncs .* ************************************************************* For further questions, please contact the conference chairs: Ekaterina Komendantskaya and Annie Liu -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Mon Aug 12 10:59:19 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 12 Aug 2019 10:59:19 +0200 Subject: BigDat 2020: early registration August 13 Message-ID: BigDat 2020: early registration August 13*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: August 13, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [tba] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icores at scitevents.com Thu Aug 15 15:19:40 2019 From: icores at scitevents.com (ICORES Secretariat) Date: Thu, 15 Aug 2019 15:19:40 +0200 Subject: Call for Papers - ICORES 2020 Message-ID: null http://tracking.scitevents.net/tracking/unsubscribe?msgid=xMraoU6BtEuTfeyRNrMiGQ2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From icaart at scitevents.com Thu Aug 15 15:19:40 2019 From: icaart at scitevents.com (ICAART Secretariat) Date: Thu, 15 Aug 2019 15:19:40 +0200 Subject: Call for Papers - ICAART 2020 Message-ID: null SCITEVENTS, Av. S. Francisco Xavier Lote 7 Cv. C, Setúbal, 2900-616, Portugal http://tracking.scitevents.net/tracking/unsubscribe?msgid=phSdECRa_EDpKgqR8N46OQ2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From jncor at dei.uc.pt Thu Aug 15 15:19:40 2019 From: jncor at dei.uc.pt (=?UTF-8?Q?Jo=C3=A3o_Nuno?=) Date: Thu, 15 Aug 2019 15:19:40 +0200 Subject: First Call for papers EvoStar 2020 - The Leading European Event on Bio-Inspired Computation - Seville, Spain. 15-17 April 2020. Message-ID: ------------------------------------------------ Call for papers for the EvoStar conference Please distribute (Apologies for cross-posting) ------------------------------------------------ *** Overview *** EvoStar comprises of four co-located conferences run each spring at different locations throughout Europe. These events arose out of workshops originally developed by EvoNet, the Network of Excellence in Evolutionary Computing, established by the Information Societies Technology Programme of the European Commission, and they represent a continuity of research collaboration stretching back over 20 years. EvoStar is organised by SPECIES, the Society for the Promotion of Evolutionary Computation in Europe and its Surroundings. This non-profit academic society is committed to promoting evolutionary algorithmic thinking, with the inspiration of parallel algorithms derived from natural processes. It provides a forum for information and exchange. The four conferences include: - EuroGP 23rd European Conference on Genetic Programming http://www.evostar.org/2020/cfp_eurogp.php Topics to be covered include, but are not limited to: Innovative applications of GP, Theoretical developments, GP performance and behaviour, Fitness landscape analysis of GP, Algorithms, representations and operators for GP, Search-based software engineering, Genetic improvement programming, Evolutionary design, Evolutionary robotics, Tree-based and Linear GP, Graph-based and Grammar-based GP, Evolvable hardware, Self-reproducing programs, Multi-population GP, Multi-objective GP, Parallel GP, Probabilistic GP, Object-orientated GP, Hybrid architectures including GP, Coevolution and Modularity in GP, Semantics in GP, Unconventional GP, Automatic software maintenance, Evolutionary inductive programming, Evolution of automata or machines. - EvoApplications 23rd European Conference on the Applications of Evolutionary and bio-inspired Computation http://www.evostar.org/2020/cfp_evoapps.php EvoApplications, the International Conference on the Applications of Evolutionary Computation -formerly known as EvoWorkshops- brings together researchers in a variety of areas of application of Evolutionary Computation and other Nature-inspired techniques. - EvoCOP 20th European Conference on Evolutionary Computation in Combinatorial Optimisation http://www.evostar.org/2020/cfp_evocop.php Which include the following topics: Applications of metaheuristics to combinatorial optimisation problems, Representation techniques, Practical solution of NP-hard problems, Neighbourhoods and efficient algorithms for searching them, Variation operators for stochastic search methods, Theoretical developments, Constraint-handling techniques, Parallelisation and grid computing, Search space and landscape analyses, Comparisons between different (also exact) methods, Heuristics, Genetic programming and Genetic algorithms, Tabu search, iterated local search and variable neighbourhood search, Ant colony optimisation, Artificial immune systems, Scatter search, Particle swarm optimisation, Memetic algorithms, Hybrid methods and hybridisation techniques, Matheuristics (hybrids of exact and heuristic methods), Hyper-heuristics and autonomous search, Automatic algorithm configuration and design, Metaheuristics and machine learning, Surrogate-model-based methods, Estimation of distribution algorithms, String processing, Scheduling and timetabling, Network design, Vehicle routing, Graph problems, Satisfiability, Packing and cutting problems, Energy optimisation problems, Multi-objective optimisation, Search-based software engineering. - EvoMUSART 9th International Conference (and 14th European event) on Computational Intelligence in Music, Sound, Art and Design http://www.evostar.org/2020/cfp_evomusart.php Which include the following topics and subtopics: .Generation Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; Systems that create artefacts such as game content, architecture, furniture, based on aesthetic and functional criteria; Robotic-Based Evolutionary Art and Music; Other related artificial intelligence or generative techniques in the fields of Computer Music, Computer Art, etc. .Theory Computational Aesthetics, Experimental Aesthetics; Emotional Response, Surprise, Novelty; Representation techniques; Surveys of the current state-of-the-art in the area; identification of weaknesses and strengths; comparative analysis and classification; Validation methodologies;Studies on the applicability of these techniques to related areas; New models designed to promote the creative potential of biologically inspired computation. .Computer Aided Creativity and Computational Creativity Systems in which computational intelligence is used to promote the creativity of a human user; New ways of integrating the user in the evolutionary cycle; Analysis and evaluation of: the artistic potential of biologically inspired art and music; the artistic processes inherent to these approaches; the resulting artefacts; Collaborative distributed artificial art environments. .Automation Techniques for automatic fitness assignment; Systems in which an analysis or interpretation of the artworks is used in conjunction with computational intelligence techniques to produce novel objects; Systems that resort to computational intelligence approaches to perform the analysis of image, music, sound, sculpture, or some other types of artistic object or resource. *** Special Session EvoApplications *** This year there is a call for "Special Sessions" in EvoAPPs: http://www.evostar.org/2020/cfp_evoapps.php Deadline: September 10th, 2019. *** Important Dates, Venue and Publication *** Submission Deadline: November 1, 2019 Conference: April 15-17, 2020 Venue: Seville, Spain All accepted papers will be printed in the proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series. *** More Information *** Please, check the website for more information: http://www.evostar.org/2020/ And follow us at: facebook - https://www.facebook.com/evostarconf/ twitter - https://twitter.com/Evostar2020/ From irdta at irdta.eu Thu Aug 15 15:19:40 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 15 Aug 2019 15:19:40 +0200 Subject: TPNC 2019: call for posters Message-ID: TPNC 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2019) invites researchers to submit poster presentations. TPNC 2019 will be held in Kingston, Ontario on December 9-11, 2019. See  https://tpnc2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 2, 2019 Notification of poster acceptance or rejection: November 9, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2019. However, they will be eligible for submission to the post-conference journal special issue in Natural Computing (Springer, 2018 JCR impact factor: 0.860). REGISTRATION At least one author of each accepted poster must register to the conference by November 25, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Words2019 at lboro.ac.uk Thu Aug 15 15:19:40 2019 From: Words2019 at lboro.ac.uk (Words 2019) Date: Thu, 15 Aug 2019 15:19:40 +0200 Subject: WORDS 2019 - 2nd call for participation In-Reply-To: <4902B435-558E-45FF-A7BB-39AD0DB88F55@lboro.ac.uk> References: <4902B435-558E-45FF-A7BB-39AD0DB88F55@lboro.ac.uk> Message-ID: [Apologies if you receive multiple copies of this message] ============================== === *WORDS 2019 2nd call for PARTICIPATION* === ============================== 12th International Conference on WORDS Loughborough, UK, September 9-13, 2019 http://words2019.lboro.ac.uk *REGISTRATION* is open: You can do this by either accessing directly the Loughborough University Store from the link https://store.lboro.ac.uk/conferences-and-events/computer-science/upcoming-conferencesevents/international-conference-on-words-words-2019 or by accessing the same link from the Conference Information section on our website www.words2019.lboro.ac.uk. *KEYNOTE SPEAKERS* Florin Manea (Kiel University) Matching Patterns with Variables Svetlana Puzynina (Saint Petersburg State University) Abelian properties of words Antonio Restivo (University of Palermo) On Sets of Words of Rank Two Gwenaël Richomme (Université Paul-Valéry Montpellier 3) S-adicity and property preserving morphisms Aleksi Saarela (University of Turku) Independent Systems of Word Equations: From Ehrenfeucht to Eighteen Kristina Vušković (University of Leeds) Structure of graph classes and algorithms *ACCEPTED PAPERS * Author(s) Paper Title Adrian Atanasiu, Ghajendran Poovanandran, Wen Chean Teh Parikh Determinants Aseem Baranwal, Jeffrey Shallit Critical exponent of infinite balanced words via the Pell number system Aseem Baranwal, Jeffrey Shallit Repetitions in infinite palindrome-rich words Amanda Burcroff, Eric Winsor Generalized Lyndon Factorizations of Infinite Words Arturo Carpi, Flavio Dalessandro On the commutative equivalence of bounded semi-linear codes Trevor Clokie, Daniel Gabric, Jeffrey Shallit Circularly squarefree words and unbordered conjugates: a new approach James D. Currie, Lucas Mol The undirected repetition threshold Alessandro De Luca, Alma D'Aniello Characteristic parameters and special trapezoidal words Francesco Dolce, Dominique Perrin Return words and bifix codes in eventually dendric sets Marisa Gaetz, Caleb Ji Enumeration and Extensions of Word-representable Graphs Cyril Gavoille, Ghazal Kachigar, Gilles Zémor Localisation-Resistant Random Words with Small Alphabet Vladimir Gusev, Elena Pribavkina On codeword lengths guaranteeing synchronization Štěpán Holub Binary intersection revisited Václav Košík, Štěpán Starosta On substitutions closed under derivation: examples Marie Lejeune, Michel Rigo, Matthieu Rosenfeld Templates for the k-binomial complexity of the Tribonacci word Kateřina Medková Derivated sequences of Arnoux--Rauzy sequences Tim Ng, Pascal Ochem, Jeffrey Shallit, Narad Rampersad New results on pseudosquare avoidance Jarkko Peltomäki, Markus Whiteland Every nonnegative real number is a critical abelian exponent Josef Rukavicka Construction Of A Rich Word Containing Given Two Factors Andrew Ryzhikov Mortality and Synchronization of Unambiguous Finite Automata Luigi Santocanale On discrete idempotent paths *WE LOOK FORWARD TO SEE YOU IN Loughborough!!! Robert Mercas and Daniel Reidenbach From tobias.ahlbrecht at tu-clausthal.de Thu Aug 22 10:57:35 2019 From: tobias.ahlbrecht at tu-clausthal.de (Tobias Ahlbrecht) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: MAPC - Multi-Agent Programming Contest 2019 Message-ID: ======== CALL FOR PARTICIPATION ======== MAPC 2019 Multi-Agent Programming Contest https://multiagentcontest.org/2019/ ======================================== 1. AIMS AND SCOPE This competition is an attempt to stimulate research in the area of multi-agent system development and programming by 1. identifying key problems, 2. collecting suitable benchmarks, and 3. gathering test cases which require and enforce coordinated action that can serve as milestones for testing multi-agent programming languages, platforms and tools. We also expect that participating at the contest helps to debug existing systems and to identify their weak and strong aspects. The performance of a particular system will be determined in a series of games where the systems compete against each other. While winning the competition is not the main point, we hope it will shed light on the applicability of certain frameworks to particular domains. 2. HISTORY The Multi-Agent Programming Contest was initiated in 2005 and since then passed through five distinct phases. 2005: the "food-gatherers"-scenario, where a pre-specified multi-agent system had to be implemented. These MASs were later examined in order to determine the winner. 2006 - 2007: the "goldminers"-scenario, where we provided the environment by means of an online-architecture and automatically determined the winner. 2008 - 2010: the "cows and cowboys"-scenario, again on the online-architecture, but with a slightly changed objective. 2011 - 2014: the "agents on Mars"-scenario, where agents had to solve a different more complex problem. 2016 - 2018: the “agents in the city”-scenario: 3 iterations of a new problem requiring more coordination 3. THE SIXTH PHASE: "AGENTS ASSEMBLE" We present once again a brandnew scenario. Agents inhabit a blocks-type world, have to assemble blocks into more complex patterns as requested and deliver them. 4. ENROLLING AND DOWNLOAD We would like to invite potential participants to join the MAPC mailing list. https://groups.google.com/forum/#!forum/agentcontest All the important details and announcements will be sent and discussed via this list. And please do not hesitate to say hello on the list. You can download the software package directly from GitHub: https://github.com/agentcontest/massim/releases 5. PARTICIPATION REQUIREMENTS The participation in this contest consists of these parts: 1. Declaring the intent to participate by registering to the mailing list. 2. Submission of a short team description, thus registering to the contest officially. 3. Participation in all assigned matches in the final tournament. 4. Submitting the source-code of your application right after the tournament. 5. Submission of a team description and analysis paper after the tournament. 6.TIMELINE 1st September: registration deadline. 9th September: qualification. Week of 23rd September: tournament. After tournament: publications. 7. PUBLICATIONS After the tournament we invite each participant to submit a paper about their agent team. The papers of which the quality has been assured will be regularly published. The publication details will be announced as soon as possible. 8. PRIZE The winner of the contest will be awarded with a voucher for 500 EUR worth in books, thankfully provided by Springer Verlag. Requirements are the submission of a paper and the source codes of the agents. 9. PEOPLE Organizers: Tobias Ahlbrecht (Clausthal University of Technology) Jürgen Dix (Clausthal University of Technology) Niklas Fiekas (Clausthal University of Technology) Steering Committee: Mehdi Dastani (Utrecht University) Jürgen Dix (Clausthal University of Technology) Jomi Hübner (Federal University of Santa Catarina) Peter Novak (Delft University of Technology) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From osman.hasan at seecs.edu.pk Thu Aug 22 10:57:35 2019 From: osman.hasan at seecs.edu.pk (Osman Hasan) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: Third CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) In-Reply-To: References: Message-ID: -------------------------------------------------------------------- Call for Papers FTSCS 2019 7th International Workshop on Formal Techniques for Safety-Critical Systems Shenzhen, China, November, 9, 2019 (satellite workshop of ICFEM 2019) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Submission deadline: September 3, 2019 Aims and Scope: There is an increasing demand for using formal methods to validate and verify safety-critical systems in fields such as power generation and distribution, avionics, automotive systems, medical systems, and autonomous vehicles. In particular, newer standards, such as DO-178C (avionics), ISO 26262 (automotive systems), IEC 62304 (medical devices), and CENELEC EN 50128 (railway systems), emphasize the need for formal methods and model-based development, thereby speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. FTSCS strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, railway, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Submission: We solicit submissions reporting on: A- original research contributions (16 pages max); B- applications and experiences (16 pages max); C- surveys, comparisons, and state-of-the-art reports (16 pages max); D- tool papers (6 pages max); E- position papers and work in progress (6 pages max) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/my/conference?conf=ftscs2019. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2019. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 3, 2019 Notification of acceptance: October 4, 2019 Workshop: November 9, 2019 Venue: Shenzhen, China Program chairs: Frederic Mallet (INRIA Sophia Antipolis, France) Osman Hasan (National University of Sciences & Technology, Pakistan) Program committee: Cyrille Artho (KTH Royal Institute of Technology, Sweden) Peter Csaba Ölveczky (University of Oslo, Norway) Thomas Noll (RWTH Aachen University, Germany) Klaus Havelund (Jet Propulsion Laboratory, USA) Étienne André (University Paris 13, France) Robi Malik (University of Waikato, New Zealand) Roberto Nardone (Mediterranean University of Reggio Calabria, Italy) Ralf Huuck (UNSW, Australia) Sofiène Tahar (Concordia University, Canada) Toshiaki Aoki (JAIST, Japan) Kyungmin Bae (Pohang University of Science and Technology, Korea) Fuyuki Ishikawa (National Institute of Infomatics, Japan) Carolyn Talcott (SRI International, USA) Tatsuhiro Tsuchiya (Osaka University, Japan) Huibiao Zhu (East China Normal University, China) Alexander Knapp (Universität Augsburg, Germany) Musab AlTurki (King Fahd University of Petroleum & Minerals, Saudi Arabia) Lee Pike (Automated Reasoning Group of Amazon Web Services, USA) Nils Timm (Univesity of Pretoria, South Africa) Stefen Mitsch (CMU, USA) Tom van Dijk (University of Twente, The Netherlands) Jean-Pierre Talpin (INRIA, France) Zhiping Shi (Capital Normal University, China) Sven Linker (U. Of Liverpool, UK) -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From juha.kontinen at helsinki.fi Thu Aug 22 10:57:35 2019 From: juha.kontinen at helsinki.fi (Kontinen, Juha A) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: CFP: FoIKS 2020 Message-ID: FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems University of Dortmund, Germany, Feb. 17-21, 2020 Conference website: https://foiks2020.cs.tu-dortmund.de/ Submission link: https://easychair.org/conferences/?conf=foiks2020 Submission deadlines: September 11, 2019 (abstract), September 18, 2019 (paper) The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. *** Suggested topics The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems *The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining *** Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair. *** Important Dates Abstract submission deadline: September 11, 2019 Paper submission deadline: September 18, 2019 Author notification: November 19, 2019 Camera-ready paper due: December 05, 2019 FoIKS 2020 Symposium: February 14-18, 2020 *** Program Committee Ait Ameur, Yamine Artale, Alessandro Bauters, Kim Beierle, Christoph Bertossi, Leopoldo Besnard, Philippe Bidoit, Nicole Bienvenu, Meghyn Biskup, Joachim Botoeva, Elena Britz, Arina Doder, Dragan Eiter, Thomas Fermüller, Christian Ferrarotti, Flavio Gierasimczuk, Nina Gyssens, Marc Janhunen, Tomi Järvisalo, Matti Kern-Isberner, Gabriele Kiss, Attila Krötzsch, Markus Kuusisto, Antti Link, Sebastian Lukasiewicz, Thomas Palmigiano, Alessandra Rudolph, Sebastian Sali, Attila Schewe, Klaus-Dieter Schockaert, Steven Shchekotykhin, Kostyantyn Simari, Guillermo R. Thalheim, Bernhard Thomo, Alex Truszczynski, Mirek Turull-Torres, Jose Van Gucht, Dirk Varzinczak, Ivan Virtema, Jonni Wang, Qing Woltran, Stefan *** Program Chairs * Andreas Herzig, CNRS, IRIT, Toulouse, France * Juha Kontinen, University of Helsinki, Finland *** Local Organization Chair Gabriele Kern-Isberner, TU Dortmund Christoph Beierle, University of Hagen *** Invited Speakers tba *** Publication The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2020 special issue of the Annals of Mathematics and Artificial Intelligence. *** Venue The conference will be held at the TU Dortmund; further information on the venue will be provided in time. *** Contact All questions about submissions should be emailed to foiks2020 at easychair.org. -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From Brian.Logan at nottingham.ac.uk Thu Aug 22 10:57:35 2019 From: Brian.Logan at nottingham.ac.uk (Brian Logan) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: Intention Progression Competition 2020: First Call for Participation ... Message-ID: ********************************************* Intention Progression Competition 2020 First Call for Participation www.intentionprogression.org ********************************************* BACKGROUND A key problem for an agent with multiple, possibly inconsistent, goals is: "what should I do next"? What to do next can be formalised as the Intention Progression Problem (IPP): what means (i.e., plan) to use to achieve a given (sub)goal, and which of the currently adopted plans (i.e., intentions) to progress at the current moment. This problem is central to autonomous systems, but research on the IPP is fragmented and suffers from a lack of common terminology, data formats, and enabling tools. AIMS The aim of the Intention Progression Competition (IPC) is to incentivise research on the problem of how an agent should achieve its goals, i.e., which plan to use to achieve a given goal, and which of the currently adopted plans (intentions) to progress at the current moment. Competition entries take the form of a solver for intention progression problems. The solver forms a part of a simple agent that operates in a simulated environment and is evaluated on a set of benchmark intention progression problems. The agent, environment and problem instances are specified as part of the competition. MORE INFORMATION & CONTACT For more information about the competition, visit www.intentionprogression.org or email intentionprogession at googlegroups.com. PARTICIPATING We are currently soliciting participation in the competition. To register your interest, please complete the registration form at: https://www.intentionprogression.org/register/ IMPORTANT DATES The First Intention Progression Competition will be held in April 2020, and the results will be announced at the Nineteenth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020) in May 2020. Provisional timeline August-September 2019 registration phase opens September 2019 Competition platform available March 2020 Final submission of entries April 2020 Competition May 2020 Competition results announced at AAMAS 2020 This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From ricardo.campos at ipt.pt Thu Aug 22 10:57:35 2019 From: ricardo.campos at ipt.pt (Ricardo Campos) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: ECIR 2020 Doctoral Consortium cfp Message-ID: The ECIR 2020 Doctoral Consortium is an excellent forum for PhD students to discuss their research ideas with world-class researchers in the area of Information Retrieval. The Doctoral Consortium (DC) will take place on 14th April 2019. During the DC session, we will have six selected student presentations, followed by discussions and individual meetings with senior researchers who are members of the DC Committee (also called mentors). There are great opportunities for networking over lunch and later on during the day and other possible activities may be introduced according to the topics of the accepted submissions. One submission will be awarded the “best doctoral consortium paper award”, which will be decided by the doctoral consortium committee. Prospective candidates for the Doctoral Consortium Students who have recently completed their research proposal, or about to do so (typically 2nd year PhD students) are welcome to submit their contribution to the consortium. The greatest benefit will be achieved for those students that have recently scoped their PhD topic in the Information Retrieval area. Candidates for the DC will be selected based on the potential of their research for future impact on the field of Information Retrieval and the likely benefit to the student of participating in the DC. The submitted paper will be the basis for detailed discussions at the DC. Submission Guidelines The submission may contain previously-published material, as well as ongoing work. Doctoral students who submit to the DC are welcome to submit other papers or posters to ECIR 2019. The submission has two parts. The first part, a research statement, should be no more than six (6) pages long in the LNCS format. It will be the basis for detailed discussions at the Consortium, and should include: * Motivation for the proposed research * Background and related work (including key references) * Description of proposed research, including main research questions * Research methodology and proposed experiments (where appropriate) * Specific research issues for discussion at the Doctoral Consortium. The second part, limited to one (1) page, describes benefits that would be obtained by attending the DC. It should be added as an appendix to the research statement and include: * A statement by the student saying why they want to attend the Consortium. * A brief statement (1 paragraph) by their advisor saying how the student would benefit by attending the DC. Advisors should also specifically state whether the student has written, or is close to completing, a thesis proposal (or equivalent), and when they expect the student would defend their dissertation if they progress at a typical rate. Format Requirements All submissions must be written in English following the ECIR guidelines and the LNCS author guidelines and submitted electronically through EasyChair. The first page must contain the title of the paper, full author name, affiliation and contact details and an abstract of up to 250 words. Submissions will be reviewed by the members of the DC committee. Accepted Papers Students accepted to the Consortium will have the option of publishing a 4-page extended abstract summarizing their research in the full ECIR conference proceedings. Key Dates Deadline: 29 November 2019 Notification: 10th January 2019 Doctoral Consortium: 15th April 2019 Doctoral Consortium Co-Chairs (dc at ecir2020.org) Stefan Rueger Suzan Verberne -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Aug 22 10:57:35 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21) Message-ID: The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of Combining Systems) and TABLEAUX (the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), as well as their affiliated workshops and tutorials, will take place in London, at Middlesex University, on the week of September 2-6. This year we have an exciting program of contributed and invited talks, and affiliated events. Please see https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf for detailed program information. Moreover, information on traveling and accommodation (including affordable accommodation for budget-constrained participants), and on the sites and activities that can be enjoyed in the Middlesex University's beautiful campus, is available from the conferences' websites: https://frocos2019.org and https://tableaux2019.org Information on registration and fees is also available from these websites. The deadline for early registration is August 21st, 2019. INVITED TALKS * Jeremy Avigad. Automated Reasoning for the Working Mathematician * Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories * Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Constructing Satisfiability * Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff * Uli Sattler. Modularity and Automated Reasoning in Description Logics AFFILIATED WORKSHOPS * The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander Bolotov and Florian Kammueller * Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh AFFILIATED TUTORIALS * Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin * How to Build an Automated Theorem Prover -- An Introductory Tutorial (invited TABLEAUX tutorial) by Jens Otten For any questions, please contact the organizers at chair at tableaux2019.org or chair at frocos2019.org. We hope to see many of you this September in London. Best wishes, Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (program chairs and local organizers) From evomusart at gmail.com Thu Aug 22 10:57:35 2019 From: evomusart at gmail.com (=?UTF-8?Q?Jo=C3=A3o_Correia?=) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: First Call for papers EvoMUSART 2020 - 9th International Conference on Computational Intelligence in Music, Sound, Art and Design - Seville, Spain. 15-17 April 2020. Message-ID: ------------------------------------------------ Call for papers for the 9th EvoMUSART conference Please distribute (Apologies for cross-posting) ------------------------------------------------ The 9th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMUSART) will be held in Seville, Spain, on 15-17 April 2020, as part of the evo* event. The main goal of EvoMUSART is to bring together researchers who are using Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Neural Networks, Artificial Life, Machine Learning, Swarm Intelligence) for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area. Accepted papers will be published by Springer Verlag in the Lecture Notes in Computer Science series. Important dates: Submission deadline: 1 November 2019 Evo*: 15-17 April 2020 We welcome submissions which use Computational Intelligence techniques in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format (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. The deadline for submission is 1 November 2019. Accepted papers will be presented orally or as posters at the event and included in the EvoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series. Indicative topics include but are not limited to: * Systems that create drawings, images, animations, sculptures, poetry, text, designs, webpages, buildings, etc.; * Systems that create musical pieces, sounds, instruments, voices, sound effects, sound analysis, etc.; * Systems that create artefacts such as game content, architecture, furniture, based on aesthetic and/or functional criteria; * Systems that resort to 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 2020 can be found at: http://www.evostar.org/2020/cfp_evomusart.php Papers published in EvoMUSART can be found at: https://evomusart-index.dei.uc.pt We look forward to seeing you in Seville in 2020! The EvoMUSART 2020 organisers Juan Romero Aniko Ekart Tiago Martins (publication chair) From icpram at scitevents.com Thu Aug 22 10:57:35 2019 From: icpram at scitevents.com (ICPRAM Secretariat) Date: Thu, 22 Aug 2019 10:57:35 +0200 Subject: Call for Papers - ICPRAM 2020 Message-ID: null SCITEVENTS, Av. S. Francisco Xavier Lote 7 Cv. C, Setúbal, 2900-616, Portugal http://tracking.scitevents.net/tracking/unsubscribe?msgid=uDUSIS0LiaTc5BiAcyTHLA2 -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Aug 29 14:17:53 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 29 Aug 2019 14:17:53 +0200 Subject: SLSP 2019: call for posters Message-ID: SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ---------------------------- The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See  https://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue in Computer Speech and Language (Elsevier, JCR 2018 impact factor: 1.776). REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From geoff at cs.miami.edu Thu Aug 29 14:17:53 2019 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 29 Aug 2019 14:17:53 +0200 Subject: GCAI 2020, Hangzhou, China - Call for Papers Message-ID: ---------------------------------------- 6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China, 6-9 April 2020 http://www.gcai-2020.info/ ---------------------------------------- The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable. http://www.gcai-2020.info/ (GCAI 2020) http://www.xixilogic.org/zjulogai/ (ZjuLogAI 2020) ************************ Submission Guidelines ************************ GCAI 2020 accepts submissions of two types: - Full paper submissions, which must be original and cannot be submitted simultaneously elsewhere. Full paper submissions must be at most 12 pages long, excluding references. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. - Extended abstract submissions, which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper (in the case of an already published paper, the full version has to be referenced explicitly). Extended abstract submissions must be at most 4 pages long, excluding references. Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format. Submissions not complying with these guidelines will be rejected at the discretion of the program committee. Each submission will be reviewed by at least two reviewers. Abstracts are due on 23 November 2019, full papers and extended abstracts are due on 30 November 2019, and decisions will be made by 20 January 2020. Submissions: via EasyChair https://easychair.org/conferences/?conf=gcai2020 Instructions for authors and EasyChair paper templates can be found at https://easychair.org/publications/for_authors ************************ List of Topics ************************ Submissions in all areas of artificial intelligence are welcome. Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Hierarchical and deep representations + Affective computing Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and machine ethics + Mathematics and the sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Robotics + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education ************************ General Chair ************************ Geoff Sutcliffe (University of Miami, USA) ************************ Program Chairs ************************ Grégoire Danoy (University of Luxembourg, Luxembourg) Jun Pang (University of Luxembourg, Luxembourg) ************************ Program Committee ************************ The PC members are currently being invited; we plan to have about 50 PC members. ************************ Steering Committee ************************ Nikolaj Bjorner (Microsoft Research, USA) Adel Bouhoula (University of Carthage, Tunisia) Laura Kovács (Chalmers University, Sweden) Sriram Rajamani (Microsoft Research, India) Geoff Sutcliffe (University of Miami, USA) Andrei Voronkov (University of Manchester, UK) ************************ Organizing Committee ************************ Organizing Committee of ZjuLogAI can be found at http://www.xixilogic.org/zjulogai/ ************************ Publication ************************ GCAI 2020 proceedings will be published in the EasyChair EPiC series in Computing. Proceedings of the previous GCAI conferences are available online: Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36) https://easychair.org/publications/volume/GCAI_2015 Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41) https://easychair.org/publications/volume/GCAI_2016 Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors). GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 50) https://easychair.org/publications/volume/GCAI_2017 Daniel Lee, Alexander Steen and Toby Walsh (editors). GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 55) https://easychair.org/publications/volume/GCAI-2018 ************************ Key Dates ************************ - Abstract submission deadline: 23 November 2019 - Paper submission deadline: 30 November 2019 - Acceptance notification: 20 January 2020 - Camera ready copy due: 3 February 2020 - Conference: 6-9 April 2020 ************************ Contact ************************ All questions about submissions should be emailed to program chairs. From lpulina at uniss.it Thu Aug 29 14:17:53 2019 From: lpulina at uniss.it (Luca Pulina) Date: Thu, 29 Aug 2019 14:17:53 +0200 Subject: AIIA 2019 Doctoral Consortium Message-ID: Students are invited to apply for admission to the Doctoral Consortium to be held at the the AIIA 2019 conference which will take place in Rende, from the 19th to the 22nd of November 2019. Submission Deadline: September 15th, 2019 The AIIA 2019 Doctoral Consortium provides an opportunity for Ph.D. students to explore and develop their research interests in the Artificial Intelligence field, in the broader sense, under the guidance of a panel of distinguished researchers from both academia and industry. Attending students will have the opportunity to present their work in a dedicated workshop and to share their work with other students in a similar situation and with senior researchers during a dedicated workshop. During the entire conference every student will be paired with a senior mentor (selected from the DC program committee) who will dedicate some time for interacting with the student. AIIA Doctoral Consortium main objectives are the following:          Provide a supportive setting for feedback on students' current research and guidance on future research directions.          Offer each student comments and fresh perspectives on their own work from faculty and students outside their own institution, taking advantage of mentorship opportunities.          Promote the development of a supportive community of scholars and a spirit of collaborative research.          Contribute to the conference goals through interaction with other researchers and conference events. We accept contributions from students regularly enrolled in some Ph.D. program. Exceptions might include students not yet enrolled in a Ph.D. program, but that are strongly motivated to enroll in the near future. Every contribution should be in the form of up to 5 pages extended abstracts including references, in Springer LNCS format. In line with the main research track of the conference, the AIIA 2019 Doctoral Consortium welcomes submissions on research across all areas of AI, including (but not limited to) traditional topics such as machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. Students with accepted extended abstracts are invited to give an oral presentation of their work during the Doctoral Consortium, and to prepare a poster to be displayed during the poster sessions of the main conference. The authors of the accepted extended abstracts are requested to attend the Doctoral Consortium and to register to the main conference. Poster should include student's contacts in order to allow any interested person to fix an appointment with the student and discuss her/his work during the conference. Extended abstract submission, format and publication Prepare an up to five-pages extended abstract describing your current or future research work (or on some specific issue) in the LNCS Proceedings Format. You should be the only author of the extended abstract and you should mention your advisor. We allow two types of contributions:        Overview of the Ph.D. work, which should include: Introduction/Motivation, State of the Art, Problem Statement and Contributions, Research Methodology and Approach, Preliminary or Intermediate Results, Evaluation Plan, Conclusions (recommended for students in an early stage of the Ph.D.)        Presentation of one specific scientific achievement you have reached during the Ph.D. course. The contribution could have been already published in some other venue. Extended abstracts will be evaluated by at least 2 members of the Doctoral Consortium Committee. The main evaluation criteria include originality of the work, scientific quality, validity of claims and clarity. The DC Committee will assign a Best Ph.D. Paper award to the best contribution, by evaluating the subject described in the extended abstract, the quality of the presentation and poster. Accepted extended abstracts will be possibly published on CEUR WS Proceedings upon request. Extended abstract will be handled through Easychair at   https://easychair.org/conferences/?conf=aiia2019 Important Dates Paper submission: September 15th, 2018 Notification: October 5th, 2018 Camera-ready extended abstracts due: November 5th, 2018 Doctoral Consortium: TBD (between 19th-22nd November 2018) Doctoral Consortium Chair Marco Maratea, University of Genova Programme Committee TBD -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From icsai_cfp at sdju.edu.cn Thu Aug 29 14:17:53 2019 From: icsai_cfp at sdju.edu.cn (Prof Song) Date: Thu, 29 Aug 2019 14:17:53 +0200 Subject: ICSAI2019, Shanghai, 2nd Round Submissions due 15 September [SCI Special Issue/EI Compendex/SCOPUS/IEEE Xplore] 2019/8/25 11:46:56 bi6x Message-ID: Dear Colleague, The 2019 6th International Conference on Systems and Informatics (ICSAI 2019) will be held from 2-4 November 2019 in Lingang, Shanghai, China. The deadline for the 2nd (final) round of submissions is 15 September 2019 (papers already submitted in the previous round should not be re-submitted and will receive review notifications on 30 August). ICSAI 2019 aims to be a premier international forum for scientists and researchers to present the state of the art of systems engineering and information science. Topics include (but are not limited to): Systems • Control and Automation Systems • Power and Energy Systems • Intelligent Systems • Computer Systems and Applications Informatics • Communications and Networking • Image, Video, and Signal Processing • Data Engineering and Data Mining • Software Engineering All papers in the conference proceedings will be submitted to EI Compendex, Scopus, and ISTP (ISI Proceedings), as well as IEEE Xplore. Some papers will be recommended for publication in a special issue in SCI-indexed journal Applied Sciences (2018 Impact Factor: 2.217). Lingang is a new district of Shanghai, the largest city in China. Several famous universities have established new campuses in Lingang. Nearby attractions include Shanghai Wildlife Park, Shanghai Disneyland, Shanghai Haichang Ocean Park, China Maritime Museum, Shanghai Flower Harbor, Binhai Forest Park, and Dishui Lake. For more information, visit the conference web page: http://www.icsai.org.cn/ If you have any questions after visiting the conference web page, please email the secretariat at icsai2019 at sdju.edu.cn Join us at this major event in beautiful Lingang !!! Organizing Committee icsai2019 at sdju.edu.cn P.S.: Please forward to your colleagues or students who may be interested. If you wish to unsubscribe, in which case we apologize, please reply with "unsubscribe event at tu-clausthal.de " in your email subject. Thanks. 2019/8/25 11:46:56 euzlhgb5o -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: From irdta at irdta.eu Thu Aug 29 14:17:53 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 29 Aug 2019 14:17:53 +0200 Subject: LATA 2020: 1st call for papers Message-ID: LATA 2020: 1st call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020   Milan, Italy   March 2-6, 2020   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   lata2020.irdta.eu *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2020 will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Tero Harju (University of Turku, FI) Jeffrey Heinz (Stony Brook University, US) Lane A. Hemaspaandra (University of Rochester, US) Marcin Jurdziński (University of Warwick, UK) Juhani Karhumäki (University of Turku, FI) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) François Le Gall (Kyoto University, JP) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Tomáš Vojnar (Brno University of Technology, CZ) Mikhail Volkov (Ural Federal University, RU) James Worrell (University of Oxford, UK)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   lata2020.irdta.eu/registration   DEADLINES (all at 23:59 CET):   Paper submission: October 18, 2019 Notification of paper acceptance or rejection: November 25, 2019 Final version of the paper for the LNCS proceedings: December 2, 2019 Early registration: December 2, 2019 Late registration: February 17, 2020 Submission to the journal special issue: June 6, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Università degli Studi di Milano-Bicocca   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- nächster Teil -------------- Ein Dateianhang mit HTML-Daten wurde abgetrennt... URL: