From irdta at irdta.eu Thu Oct 1 13:06:54 2020 From: irdta at irdta.eu (IRDTA) Date: Thu, 01 Oct 2020 13:06:54 +0200 Subject: [fg-arc] LATA 2020 & 2021: 3rd call for papers Message-ID: <545102060a010b020450540b0204555e53500d03010701560b520a015355015307035103520002075653590155035451@grlmc_ip-zone_com-6> LATA 2020 & 2021: 3rd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************************* 14th-15th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020 & 2021   Milan, Italy   March 1-5, 2021   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   https://irdta.eu/lata2020-2021/ *******************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 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.   LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   VENUE:   LATA 2020 & 2021 will be held in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, inductive inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 & 2021 will consist of:   invited talks peer-reviewed contributions   KEYNOTE SPEAKERS:   Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization   Laure Daviaud (City, University of London), About Decision Problems for Weighted Automata   Christoph Haase (University College London), Approaching Arithmetic Theories with Finite-state Automata   Artur Jeż (University of Wrocław), Recompression: Technique for Word Equations and Compressed Data   Jean-Éric Pin (CNRS), How to Prove that a Language Is Regular or Star-free?   Thomas Place (University of Bordeaux), Deciding Classes of Regular Languages: A Language Theoretic Point of View   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Marie-Pierre Béal (University of Paris-Est, FR) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Flavio Corradini (University of Camerino, IT) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Amélie Gheerbrant (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Lane A. Hemaspaandra (University of Rochester, US) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Antonio Restivo (University of Palermo, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Mikhail Volkov (Ural Federal University, RU)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Rafael Peñaloza Nyssen (Milan) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Upload submissions to:   https://easychair.org/conferences/?conf=lata20202021   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 Information and Computation (Elsevier, 2019 JCR impact factor: 0.872) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/lata2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: October 19, 2020 Notification of paper acceptance or rejection: November 23, 2020 Final version of the paper for the LNCS proceedings: November 30, 2020 Early registration: November 30, 2020 Late registration: February 15, 2021 Submission to the journal special issue: June 5, 2021   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   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Oct 5 13:42:28 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 05 Oct 2020 13:42:28 +0200 Subject: [fg-arc] DeepLearn 2021 Winter: early registration October 8 Message-ID: <545102060a010b020451530b0e04575e005050020a000e5350510f065502075200505707000b54565403040a0f045156@grlmc_ip-zone_com-6> DeepLearn 2021 Winter: early registration October 8*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************   4th INTERNATIONAL SCHOOL ON DEEP LEARNING   DeepLearn 2021 Winter   Milan, Italy   January 11-15, 2021   Co-organized by:   Department of Information Engineering Marche Polytechnic University   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/deeplearn2021w/   ******************************************************************   --- Early registration deadline: October 8, 2020 ---   ***********************************************   In conjunction with ICPR 2020   https://www.micc.unifi.it/icpr2020/   ICPR 2020 participants are eligible for a registration discount.   SCOPE:   DeepLearn 2021 Winter 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 deep learning. Previous events were held in Bilbao, Genova and Warsaw.   Deep learning is a branch of artificial intelligence covering a spectrum of current exciting research and industrial innovation that provides more efficient algorithms to deal with large-scale data in neurosciences, computer vision, speech recognition, language processing, human-computer interaction, drug discovery, biomedical informatics, healthcare, recommender systems, learning theory, robotics, games, etc. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most deep learning subareas will be displayed, and main challenges identified through 24 four-hour and a half courses and 3 keynote lectures, 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, DeepLearn 2021 Winter 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.   VENUE:   DeepLearn 2021 Winter will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   MiCo Milano Convention Centre Piazzale Carlo Magno 1 Milan   https://www.micomilano.it/it/   The venue will be shared with the 25th International Conference on Pattern Recognition – ICPR 2020   https://www.micc.unifi.it/icpr2020/   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.   KEYNOTE SPEAKERS:   Nello Cristianini (University of Bristol), Data, Intelligence and Shortcuts   Petia Radeva (University of Barcelona), Uncertainty Modeling and Deep Learning in Food Analysis   Indrė Žliobaitė (University of Helsinki), Any Hope for Deep Learning in Deep Time?   PROFESSORS AND COURSES:   Ignacio Arganda-Carreras (University of the Basque Country), [introductory/intermediate] Deep Learning for Bioimage Analysis   Thomas G. Dietterich (Oregon State University), [introductory] Machine Learning Methods for Robust Artificial Intelligence   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Online, Interactive and Deep Learning Machines with Scalability, and Adaptivity   Sergei V. Gleyzer (University of Alabama), [introductory/intermediate] Machine Learning Fundamentals and Their Applications to Very Large Scientific Data: Rare Signal and Feature Extraction, End-to-end Deep Learning, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Çağlar Gülçehre (DeepMind), [intermediate/advanced] Deep Reinforcement Learning   Balázs Kégl (Huawei Technologies), [introductory] Deep Model-based Reinforcement Learning   Ludmila Kuncheva (Bangor University), [intermediate] Classifier Ensembles in the Era of Deep Learning   Vincent Lepetit (ENPC ParisTech), [intermediate] Deep Learning and 3D Geometry   Geert Leus (Delft University of Technology), [introductory/intermediate] Graph Signal Processing: Introduction and Connections to Distributed Optimization and Deep Learning   Andy Liaw (Merck Research Labs), [introductory] Machine Learning and Statistics: Better together   Debora Marks (Harvard Medical School), [intermediate] Protein Design Using Deep Learning   Abdelrahman Mohamed (Facebook AI Research), [introductory/advanced] Recent Advances in Automatic Speech Recognition   Sayan Mukherjee (Duke University), [introductory/intermediate] Integrating Deep Learning with Statistical Modeling   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Lyle John Palmer (University of Adelaide), [introductory/advanced] Epidemiology for Machine Learning Investigators   Razvan Pascanu (DeepMind), [intermediate/advanced] Understanding Learning Dynamics in Deep Learning and Deep Reinforcement Learning   Jan Peters (Technical University of Darmstadt), [intermediate] Robot Learning   José C. Príncipe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Björn W. Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Sargur N. Srihari (University at Buffalo), [introductory] Generative Models in Deep Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   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 the title, authors, and summary of the research to david at irdta.eu by January 3, 2021.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of deep learning 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 3, 2021.   EMPLOYER SESSION:   Firms searching for personnel well skilled in deep learning 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 3, 2021.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Carlos Martín-Vide (Tarragona, program chair) Sara Moccia (Ancona) Sara Morales (Brussels) Marina Paolanti (Ancona) Manuel J. Parra-Royón (Granada) Luca Romeo (Ancona) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/deeplearn2021w/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 tool disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation are available at   https://irdta.eu/deeplearn2021w/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice – IRDTA, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Tue Oct 6 10:17:21 2020 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Tue, 6 Oct 2020 10:17:21 +0200 Subject: [fg-arc] [FSEN2021] Final Call for Papers FSEN 2021 Message-ID: <6f9a79fc-d194-d62c-2033-9b11658c5bd4@isti.cnr.it> As PC Co-Chairs of the 9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021) we kindly invite you to submit some of your original work to the FSEN2021 Conference, which will be held as a mixed virtual and physical event. FSEN is one of the best international conference series on computer science that is held regularly in Iran, and a precious resource for international scientific collaboration. As you are all aware, the circumstances under which the preparations for this FSEN is taking place is quite different from the last events. We are experiencing an unprecedented pandemic that has forced many of us to stay indoors. Attracting a good number of high-quality submissions for FSEN is more challenging, but also more important than ever. We have already some excellent Keynotes in the programme, a highly qualified PC and, in the tradition of FSEN, we will have LNCS post-proceedings and we are planning for a journal special issue. We now look forward to your participation and contributions to maintain the standards of FSEN and to offer a high quality international forum for scientific exchange and collaboration. Please find the Final Call for papers included and share it with whoever you think might be interested. Many thanks and Stay well. Mieke Massink and Hossein Hojjat FSEN 2021 PC Co-Chairs ----------- FINAL CALL FOR PAPERS Ninth International Conference on Fundamentals of Software Engineering 2021 - Theory and Practice (FSEN '21) http://fsen.ir/2021 Tehran, Iran May 19-21, 2021 IMPORTANT INFORMATION: FSEN 2021 will be held as a mixed event, offering virtual presentation as option to participants. All accepted papers will be published in the LNCS conference proceedings, regardless of whether a physical or virtual presentation is given. More details will follow in the course of time via the FSEN 2021 website. Three excellent Keynote Speakers have confirmed their presentation covering a range of challenging topics in Software Engineering. FSEN 2021 is organised in collaboration with IFIP WG 2.2 and has been granted ACM SIGSOFT in-cooperation support. ###################################################################### -- 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 19-21, 2021. -- Important Dates -- Abstract Submission: October 18, 2020 (AoE) Paper Submission: October 30, 2020 (AoE) Notification: December 18, 2020 Final pre-Conference Version: January 21, 2021 (AoE) Conference: May 19-21, 2021 -- Keynote Speakers (confirmed) -- Prof. Pavol Cerny, Vienna University of Technology, Austria Prof. Marta Kwiatkowska, University of Oxford, UK Prof. Mira Mezini, Technical University of Darmstadt, Germany -- 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=fsen2021. 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). Note from Springer: Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs 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. -- Proceedings and Special Issue -- The post-proceedings of FSEN'21 will be published by Springer 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'21. 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, the Netherlands; Leiden University, the Netherlands Pejman Lotfi-Kamran - IPM, Iran -- Program Chairs -- Hossein Hojjat - Tehran Institute for Advanced Studies, University of Tehran, Iran Mieke Massink - CNR-ISTI Pisa, Italy -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - Technical University of Dresden, Germany Frank de Boer - CWI, the Netherlands; Leiden University, the Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- Erika Ábrahám - RWTH Aachen University, Germany Gul Agha - University of Illinois at Urbana - Champaign, USA Ebru Aydin Gol - Middle East Technical University, Turkey Christel Baier - Technical University 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 Rocco De Nicola - IMT School for Advanced Studies Lucca, Italy Erik de Vink - Eindhoven University of Technology, the Netherlands Giovanna Di Marzo Serugendo - University of Geneva, Switzerland Alessandra Di Pierro - University of Verona, Italy Ali Ebnenasir - Michigan Technological University, USA Fathiyeh Faghih - University of Tehran, Iran Wan Fokkink - Vrije Universiteit Amsterdam, the Netherlands Adrian Francalanza - University of Malta, Malta Fatemeh Ghassemi - University of Tehran, Iran Jan Friso Groote - Eindhoven University of Technology, the Netherlands Hassan Haghighi - Shahid Beheshti University, Iran Osman Hasan - National University of Sciences and Technology (NUST), Pakistan Mohammad Izadi - Sharif University of Technology, Iran Narges Khakpour - Linnaeus University, Sweden Ramtin Khosravi - University of Tehran, Iran Eva Kühn - Vienna University of Technology, Austria Zhiming Liu - Southwest University, China Emanuela Merelli - University of Camerino, Italy Hassan Mirian-Hosseinabadi - Sharif University of Technology, Iran Mohammadreza Mousavi - University of Leicester, UK Ali Movaghar - Sharif University of Technology, Iran Peter Csaba Ölveczky - University of Oslo, Norway Jose Proença - CISTER-ISEP and HASLab-INESC TEC, Portugal Wolfgang Reisig - Humboldt-Universität zu Berlin, Germany Philipp Rümmer - Uppsala University, Sweden Gwen Salaün - 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 Martin Wirsing - LMU Munich, Germany Lijun Zhang - Institute of Software, Chinese Academy of Sciences, China From a.hoff at tu-bs.de Mon Oct 12 12:54:53 2020 From: a.hoff at tu-bs.de (Adrian Hoff) Date: Mon, 12 Oct 2020 12:54:53 +0200 Subject: [fg-arc] =?utf-8?q?GI_Konferenz_Software_Engineering_2021_=5BVER?= =?utf-8?q?L=C3=84NGERTE_DEADLINE=5D?= In-Reply-To: References: Message-ID: <8538c543-f009-378c-8288-80701046b6cc@tu-bs.de> Sehr geehrte Damen und Herren, die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 22.-26. Februar 2021 VIRTUELL statt - OHNE REGISTRIERUNGSGEBÜHR für Teilnehmer, die keinen Beitrag registrieren. Die Organisation liegt beim Institut für Softwaretechnik und Fahrzeuginformatik der TU Braunschweig. General Chair der Konferenz ist Ina Schaefer. Die jährlich stattfindende Tagung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis, als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Wie jedes Jahr bietet die SE auch im Jahr 2021 ein "Best of" aus Papern der SE Community aus dem vergangenen Jahr sowie hervorrangenden Workshops und Tools&Demos. Es wird wie üblich einen Konferenzband geben. Workshop Beiträge werden bei CEUR-WS veröffentlicht. Geplant sind außerdem drei Keynotes. Dieses mal anders: Um die SE21 auch in Zeiten von Covid-19 sicher abhalten zu können, setzen wir auf eine komplett virtuelle Lösung. Um das „SE-Feeling“ möglichst auch virtuell zu transportieren, haben wir uns passende und spannende Konzepte überlegt. Vorträge und Demos werden live über eine Videokonferenz-Plattform gestreamt und bieten Platz für anschließende Diskussion. Parallel werden Vorträge und Demos per (nicht gelistetem) YouTube Livestream ausgestrahlt. Nachfolgend gibt es die Möglichkeit, seinen Beitrag über unseren SE21 YouTube Kanal zu konservieren. Besonders attraktiv: Unsere Sponsoren ermöglichen dieses Jahr eine KOSTENFREIE Registrierung an der Konferenz für Teilnehmer, die keinen Beitrag registrieren. Somit haben Einreichungen bei der SE21 eine größtmögliche Reichweite. Für Autoren kostet die Registrierung ihres Beitrages (egal welcher Art) lediglich 50€. Die SE21 bietet folgende Möglichkeiten zur Einreichung von Beiträgen: -> Wissenschaftliche Beiträge Das wissenschaftliche Hauptprogramm (Chairs: Anne Koziolek und Christoph Seidl) wird sich wieder aus Vorträgen zu bereits publizierten Artikeln in internationalen Journalen oder Konferenzen zusammensetzen. Damit bieten wir ein "Best of" der Publikationen der Forschergruppen im deutschsprachigen Raum. Wir tragen damit zum wissenschaftlichen Diskurs bei und erhöhen die Sichtbarkeit der Beiträge. Einreichungsfrist von Beiträgen: *21.10.2020 [VERLÄNGERT!]* Weitere Details auf se-2021.tu-bs.de/calls/wissenschaftliche-beitraege/ -> Workshop Beiträge Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm (Chairs: Sebastian Götz und Andreas Wortmann) immer einen wesentlichen Bestandteil des Tagungs-Programms dar. Durch das offene Workshop-Format ist es sogar in besonderer Weise möglich, neue Teilgebiete des Software Engineering zu fördern und eine starke Vernetzung und Kooperation von Wissenschaft und Praxis zu erreichen. Die SE bietet dieses Jahr sechs spannende Workshops! Einreichungsfrist von Beiträgen: 13.12.2020 Weitere Details auf se-2021.tu-bs.de/calls/workshop-beitraege/ -> Tools & Demos Bei der SE21 wird es die Möglichkeit geben Tools zu demonstrieren (Chair: Lukas Linsbauer). Ziel ist es, neben dem wissenschaftlichen Hauptprogramm, auch Tools, die im Rahmen von wissenschaftlichen Arbeiten entstanden sind, zu präsentieren. Diese werden in einem eigenen Tool Demo Track präsentiert und bieten Raum für Fragen und Gespräche. Einreichungsfrist von Beiträgen: 13.12.2020 Weitere Details auf se-2021.tu-bs.de/calls/tools-demos/ Die SE 2021 ist eine Konferenz des Fachbereichs Softwaretechnik der Gesellschaft für Informatik e.V. (GI e.V.). Datum:     22.-26. FEBRUAR 2021 IN VIRTUELLEM FORMAT Teilnahmegebühr:     50€ Autorenregistrierung (eine Registrierung pro Beitrag - egal welcher Art)     KOSTENLOS für Teilnehmer, die keinen Beitrag registrieren Deadlines Einreichungen:     Research Paper: *21.10.2020 [VERLÄNGERT!]*     Workshopbeiträge: 13.12.2020     Tools & Demos: 13.12.2020 weitere Informationen unter:     se-2021.tu-bs.de Bleiben Sie auf dem Laufenden und folgen Sie uns...     auf Twitter: twitter.com/seconf21     auf Facebook: facebook.com/seconf21 Wir freuen uns auf Ihre Einreichungen und bitten um Weiterleitung dieses Aufrufs an eventuell interessierte Kolleginnen und Kollegen. Beste Grüße, Das SE21 Organisationsteam -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Oct 12 13:31:45 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 12 Oct 2020 13:31:45 +0200 Subject: [fg-arc] BigDat 2021 Spring: early registration October 15 Message-ID: <545102060a010b020451580b0707505e545102070355570402560c040407505507515400055d090156025303020a0350@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration October 15*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************   7th INTERNATIONAL SCHOOL ON BIG DATA   BigDat 2021 Spring   Beersheba, Israel   April 18-22, 2021   Co-organized by:   Ben-Gurion University of the Negev Department of Software and Information Systems Engineering Data Science Research Center   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://irdta.eu/bigdat2021s/   **********************************************   --- Early registration deadline: October 15, 2020 ---   ***********************************************   SCOPE:   BigDat 2021 Spring 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. Previous events were held in Tarragona, Bilbao, Bari, Timișoara, Cambridge and Ancona.   Big data is a broad field covering 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 24 four-hour and a half courses and 2 keynote lectures, 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 2021 Spring 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.   VENUE:   BigDat 2021 Spring will take place in Beersheba, the largest city in the Negev desert of southern Israel and an important technology center. The venue will be:   Ben-Gurion University of the Negev Marcus Family Campus   https://in.bgu.ac.il/en/Pages/interactive.aspx   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.   KEYNOTE SPEAKERS:   Maria Girone (European Organization for Nuclear Research), Big Data Challenges at the CERN HL-LHC   Lisa Schurer Lambert (Oklahoma State University), Research Methods as a Lens: How We Know What We Know   PROFESSORS AND COURSES:   Thomas Bäck & Hao Wang (Leiden University), [introductory/intermediate] Data Driven Modeling and Optimization for Industrial Applications   Paul Bliese (University of South Carolina), [introductory/intermediate] Using R for Mixed-effects (Multilevel) Models   Altan Cakir (Istanbul Technical University), [intermediate] Big Data Analytics with Apache Spark   Michael X. Cohen (Radboud University Nijmegen), [introductory] Dimension Explosion and Dimension Reduction in Brain Electrical Activity   Ramez Elmasri (University of Texas, Arlington), [intermediate] Spatial, Temporal, and Spatio-Temporal Data   Ian Fisk (Flatiron Institute), [introductory] The Infrastructure to Support Data Science   Michael Freeman (University of Washington), [intermediate] Interactive Data Visualization Using D3 + Observable   David Gerbing (Portland State University), [introductory] Derive Meaning from Data with R Visualizations   Christopher Hogue (Ericsson Inc.), [introductory/intermediate] Applied Information Theory for Scalable Database Schema and Query Templates   Wagner A. Kamakura (Rice University), [intermediate] Advanced Business Analytics using Excel Addins   Ravi Kumar (Google), [intermediate/advanced] Clustering for Big Data   Victor O.K. Li (University of Hong Kong), [intermediate] Deep Learning and Applications   B.S. Manjunath (University of California, Santa Barbara), [introductory] Digital Media Forensics   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   José M.F. Moura (Carnegie Mellon University), [introductory] Graph Signal Processing   Panos Pardalos (University of Florida), [intermediate/advanced] Optimization and Data Sciences Techniques for Large Networks   Valeriu Predoi (University of Reading), [introductory] A Beginner's Guide to Big Data Analysis: How to Connect Scientific Software Development with Real World Problem   Karsten Reuter (Max Planck Society), [introductory/intermediate] Machine Learning for Materials and Energy Applications   Ramesh Sharda (Oklahoma State University), [introductory/intermediate] Network-based Health Analytics   Steven Skiena (Stony Brook University), [introductory/intermediate] Word and Graph Embeddings for Machine Learning   Alexandre Vaniachine (VirtualHealth), [intermediate] Open-source Columnar Databases   Sebastián Ventura (University of Córdoba), [intermediate/advanced] Supervised Descriptive Pattern Mining   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Deep Learning for Text Mining   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 the title, authors, and summary of the research to david at irdta.eu by April 10, 2021.   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 April 10, 2021.   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 April 10, 2021.   ORGANIZING COMMITTEE:   Stavi Baram (Beersheba) Mark Last (Beersheba) Carlos Martín-Vide (Tarragona, program chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) Lior Rokach (Beersheba, co-chair) Bracha Shapira (Beersheba, co-chair) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://irdta.eu/bigdat2021s/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 tool 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:   Ben-Gurion University of the Negev   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From diego.marcilio at usi.ch Mon Oct 12 17:22:13 2020 From: diego.marcilio at usi.ch (iFM 2020) Date: Mon, 12 Oct 2020 17:22:13 +0200 Subject: [fg-arc] iFM 2020 (Integrated Formal Methods): Call for (Virtual) Participation Message-ID: <2184ac50-ee2e-46da-ace7-2c7359c1a0e3@USIMAIL1.usilu.net> ========================================================== CALL FOR (VIRTUAL) PARTICIPATION iFM 2020 16th International Conference on integrated Formal Methods 16-20 November 2020, hosted virtually from Lugano, Switzerland https://ifm20.si.usi.ch/ =========================================================== Due to the disruptions caused by the COVID-19 pandemic, iFM 2020 will be a virtual event. To attend it, you should register by 9 November 2020. === Important dates === Registration deadline: 9 November 2020 Main conference: 18-20 November 2020 === Invited speakers === - Edward A. Lee (University of California at Berkeley, United States) - David Parker (University of Birmingham, United Kingdom) - Hongseok Yang (School of Computing, KAIST, Korea) === Paper presentations === PALM: a technique for Process ALgebraic specification Mining Sara Belluccini, Rocco De Nicola, Barbara Re and Francesco Tiezzi Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch Stefan Bodenmüller, Gerhard Schellhorn and Wolfgang Reif Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata Julian Brunner Lock and Fence When Needed: State Space Exploration + Static Analysis = Improved Fence and Lock Insertion Sander de Putter and Anton Wijs Chain of events: Modular Process Models for the Law Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi and Thomas Hildebrandt An Event-B Based Generic Framework for Hybrid Systems Formal Modelling Guillaume Dupont, Yamine Ait Ameur, Marc Pantel and Neeraj Singh Grey-Box Learning of Register Automata Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts and Rob Smits Active Objects with Deterministic Behaviour Ludovic Henrio, Einar Broch Johnsen and Violet Ka I Pun History-based Specification and Verification of Java Collections in KeY Hans-Dieter Hiep, Jinting Bian, Frank De Boer and Stijn De Gouw Algebra-based Loop Synthesis Andreas Humenberger, Nikolaj Bjorner and Laura Kovacs Meeduse: A Tool to Build and Run Proved DSLs Akram Idani Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem (Short Paper) Stéphane Jacquet and Sylvain Hallé Formal Policy Synthesis for Continuous-State Systems via Reinforcement Learning Milad Kazemi and Sadegh Soudjani Fast and Effective Well-Definedness Checking for Formal Models Michael Leuschel Detection of Polluting Test Objectives for Dataflow Criteria Thibault Martin, Nikolai Kosmatov, Virgile Prevosto and Matthieu Lemerre Clustering-Guided SMT(LRA) Learning Tim Meywerk, Marcel Walter, Daniel Große and Rolf Drechsler Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs Malte Mues, Till Schallau and Falk Howar Synthesizing clock-efficient timed automata Neda Saeedloei and Feliks Kluzniak A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-based Sorting Algorithms Mohsen Safari and Marieke Huisman Tight Error Analysis in Fixed-point Arithmetic Stella Simic, Alberto Bemporad, Omar Inverso and Mirco Tribastone Generating SPARK from Event-B Models Sanjeevan Sritharan and Thai Son Hoang Philosophers may Dine - Definitively! Safouan Taha, Lina Ye and Burkhart Wolff Automatic Generation of Guard-Stable Floating-Point Code Laura Titolo, Mariano Moscato, Marco Antonio Feliu Gabaldon and Cesar Munoz Formal methods for GPGPU programming: is the demand met? Lars B. van den Haak, Anton Wijs, Mark van den Brand and Marieke Huisman === Organisation === = General chair = Carlo A. Furia (USI Università della Svizzera Italiana, Switzerland) = PC chairs = Brijesh Dongol (University of Surrey, UK) Elena Troubitsyna (KTH -- Royal Institute of Technology, Sweden) = Local Organisation = Web Chair Mohammad Rezaalipour (USI Università della Svizzera italiana, CH) Publicity Chair Diego Marcilio (USI Università della Svizzera italiana, CH) Finance Chair Elisa Larghi (USI Università della Svizzera italiana, CH) = Program committee = Erika Abraham (RWTH, Aachen University, Germany) Wolfgang Ahrendt (Chalmers University of Technology, Sweden) Yamine Ait Ameur (IRIT/INPT-ENSEEIHT, France) Étienne André (Université de Lorraine, France) Richard Banach (The University of Manchester, UK) Maurice H. ter Beek (ISTI-CNR, Italy) Pierre-Evariste Dagand (CNRS-LIP6, France) Ferruccio Damiani (University of Torino, Italy) John Derrick (University of Sheffield, UK) Brijesh Dongol (University of Surrey, UK) Marc Frappier (University of Sherbrooke, Canada) Carlo A. Furia (USI Università della Svizzera italiana, Switzerland) Marieke Huisman (University of Twente, Netherlands) Fuyuki Ishikawa (National Institute of Informatics, Japan) Einar Broch Johnsen (University of Oslo, Norway) Stephan Merz (Inria Nancy, France) Paritosh Pandya (IIT Mumbai, India) Patrizio Pelliccione (Chalmers University of Technology, Sweden) Luigia Petre (Åbo Akademi University, Finland) R. Ramanujam (Institute of Mathematical Sciences, India) Steve Schneider (University of Surrey, UK) Emil Sekerinski (McMaster University, Canada) Silvia Lizeth Tapia Tarifa (University of Oslo, Norway) Stefano Tonetta (FBK, Italy) Elena Troubitsyna (KTH, Sweden) Juri Vain (Tallin Technical University, Estonia) Tomáš Vojnar (Brno University of Technology, Czech Republic) Farn Wang (NTU, Taiwan) Heike Wehrheim (University of Paderborn, Germany) Kirsten Winter (University of Queensland, Australia) Naijun Zhan (Chinese Academy of Sciences, China) From sauer at uni-paderborn.de Tue Oct 27 16:34:47 2020 From: sauer at uni-paderborn.de (Stefan Sauer) Date: Tue, 27 Oct 2020 16:34:47 +0100 Subject: [fg-arc] Call for Participation HCSE 2020 Nov 30 - Dec 02 - ONLINE ONLY! Message-ID: <7b0e3b5e-df00-3d9e-52be-2abe8b6bfe52@uni-paderborn.de> In the course of the latest developments of the COVID pandemic, the organizers of *HCSE 2020* have decided to hold the conference *completely virtual*. Full program available at http://www.hcse-conference.org. Participation is free of charge. Registration will be open soon. -------------------------------------------------------------------------------- *HCSE 2020* Call for Participation 8th International Working Conference on Human-Centered Software Engineering November  30th – December 2nd, 2020 (ONLINE ONLY!)        http://www.hcse-conference.org HCSE is a bi-annual, single-track, working conference organized by the IFIP Working Group 13.2 on Methodology for User-Centred System Design in cooperation with IFIP Working Group 13.5 on Human Error, Resilience, Reliability,  Safety and System Development  . We aim at bringing together researchers and practitionersinterested in strengthening the scientific foundations of user interface design, examining the relationship between software engineering and human-computer interaction and on how to strengthen human-centered  design as an essential part of software engineering processes. In order to allow for participation from anywhere in the world, HCSE 2020 sessions will run from *13:00 h to 17:00 h CET (UTC+1*) only. HCSE 2020 will be held ONLINE as a *ZOOM meeting*. Access information will be provided to registered participants. HCSE 2020 presents *3 technical full papers and late breaking results sessions* and a *demonstrations and posters session*. Each session has a duration of 90 minutes. Technical sessions are dedicated to the following themes: * *User-Centred Design Approaches* * **Model-Based and Model-Driven Approaches** * ***Software Development Strategies*** All sessions will contain significant time for discussions and be chaired by a a session moderator. Please see the conference program for full details. The technical program will be accompanied by a *virtual social program* to meet and further discuss with the community. The selected papers have been peer-reviewed and will appear in the proceedings published by  Springer in the LNCSseries. Participation in HCSE 2020 will be *free of charge*. However, *registration *is mandatory to participate and obtain the access information. Registration will be open soon. We hope to meet you online for HCSE 2020. Stay safe and healthy! Regina Bernhaupt, Eindhoven University of Technology, The Netherlands Carmelo Ardito, Politecnico di Bari, Italy Stefan Sauer, Paderborn University, Germany General Conference Chairs -------------- next part -------------- An HTML attachment was scrubbed... URL: From soldani at di.unipi.it Wed Oct 28 09:49:26 2020 From: soldani at di.unipi.it (Jacopo Soldani) Date: Wed, 28 Oct 2020 09:49:26 +0100 Subject: [fg-arc] Call for Papers - 2021 IEEE International Conference on Software Architecture (ICSA 2021) Message-ID: <006b01d6ad07$3da6db90$b8f492b0$@di.unipi.it> /* we apologize for possible multiple cross postings */ IEEE International Conference on Software Architecture (ICSA 2021) Virtual Event March 22-26, 2021 https://icsa-conferences.org/2021 Call for Papers The IEEE International Conference on Software Architecture (ICSA 2021) is the premier gathering of practitioners and researchers interested in software architecture, component-based software engineering, and quality aspects of complex software systems. ICSA continues the tradition of a working conference, where researchers meet practitioners and where software architects can explain the problems they face in their day-to-day work and try to influence the future of the field. Interactive working sessions will be the place where researchers meet practitioners to identify opportunities to create the future. The COVID-19 situation is challenging systems and their software architectures in different ways: the way we are collaboratively creating software architectures without the typical in-person activities such as workshops, brainstorming sessions, reviews; the challenges facing our systems in terms of new usage patterns and business opportunities; and the impact they are having on our social and economic well-being. The theme of ICSA 2021 is “Software Architecture in the COVID-19 Reality.” We call on both researchers and practitioners for contributions that advance our understanding of architectures in real-world software, facilitate empirical research by making architectural artifacts and tools publicly available, and promote replicability of results through common datasets and benchmarks. We welcome original papers that explore and explain the role of architecture in current systems and future systems. This conference looks at what can be learned from our software architecture history, experience, studies, and best practices. Topics Topics of interest for the conference include (but are not limited to) the following themes: * Architecture & CI/CD, DevOps, Containerization, Serverless platforms * Microservices and event-driven architectures * Model driven engineering for continuous architecting * Agile architecting and other approaches to architecting * Architecting specific types of systems, such as Systems of Systems, IoT systems, AI/ML systems, CPSs, software ecosystems, self-adaptive systems, or autonomous systems * Component based software engineering * Architecture evaluation and quality aspects of software architectures * Automatic extraction and generation of software architecture descriptions * Refactoring and evolving architecture design decisions and solutions * Architecture frameworks and architecture description languages * Linking architecture to requirements and/or implementation * Architecture conformance * Reusable architectural solutions * Software architecture knowledge management * Software architecture for legacy systems and systems integration * Architecting families of products * Cultural, ethics, economic, business, financial, and managerial aspects of software architecture * Software architect roles and responsibilities * Training, soft skills, coaching, mentoring, education, and certification of software architects * Stakeholder management and collaborating with other business and technical domains * State-of-the-art and state-of-practice in software architecture * Industrial experiments and case studies Tracks & Important Dates Technical Track ( http://icsa-conferences.org/2021/call-for-papers/technical-papers): The Technical Track enables researchers and practitioners to present original contributions that advance the state-of-the-art in software architectures. Abstract: Dec 9th, 2020 Paper: Dec 16th, 2020 Notification: Jan 22nd, 2021 Camera-ready: Feb 19th, 2021 Journal-First Track ( https://icsa-conferences.org/2021/call-for-papers/journal-first-track): The Journal-First Track enables authors of journal-first papers accepted by Empirical Software Engineering (EMSE), IEEE Software, and Journal of Systems and Software (JSS) to present their work at ICSA 2021. Proposal: Dec 16th, 2020 Notification: Jan 22nd, 2021 Camera-ready: Feb 19th, 2021 Software Architecture in Practice Track ( http://icsa-conferences.org/2021/call-for-papers/engineering-track-papers): The Software Architecture in Practice Track provides a platform to present and discuss recent innovations and findings in the field of software architecture by means of experience reports and talks. Abstract: Dec 9th, 2020 Paper: Dec 16th, 2020 Notification: Jan 22nd, 2021 Camera-ready: Feb 19th, 2021 New and Emerging Ideas Track ( http://icsa-conferences.org/2021/call-for-papers/new-and-emerging-ideas): The New and Emerging Ideas (NEMI) track at ICSA 2021 provides the means to share new visions and ideas that can potentially challenge the status quo of the research and practice in software architecture. Abstract: Dec 9th, 2020 Paper: Dec 16th, 2020 Notification: Jan 22nd, 2021 Camera-ready: Feb 19th, 2021 Early Career Researchers Forum ( http://icsa-conferences.org/2021/call-for-papers/early-career-forum): The Early Career Researchers Forum enables early career researchers in the field of software architecture to gather and discuss ongoing research in any stage, from ideas to results. Abstract: Jan 4th, 2021 Paper: Jan 11th, 2021 Notification: Feb 8th, 2021 Camera-ready: Feb 19th, 2021 Workshops ( https://icsa-conferences.org/2021/call-for-papers/workshops): Please refer to the Workshops page for additional information. Paper submission: January 20th, 2021 (firm) Paper notification: February 8th, 2021 (firm) Camera-Ready due: February 15th, 2020 (firm) Submission All submissions must conform to the IEEE paper formatting and submission instructions, as indicated in the CFP for each track, along with the explicit evaluation criteria for each type of paper. Please note that ICSA 2021 will pursue a double-blind review process for technical research papers only. All papers are to be submitted electronically via the EasyChair submission system: https://easychair.org/conferences/?conf=icsa2021 Submissions must be uploaded by the submission deadline and they must not have been submitted for publication elsewhere nor published before. Publication All accepted technical research papers will be published in ICSA 2021 proceedings, and appear in IEEE Xplore Digital Library. At least one author of an accepted contribution is required to register and present the work at the conference. Organization General Chairs Steffen Becker, University of Stuttgart, Germany Frank Leymann, University of Stuttgart, Germany Program and Journal First Track Chairs Grace A. Lewis, Carnegie Mellon Software Engineering Institute, USA Anton Jansen, Philipps Innovation Services, The Netherlands Software Architecture in Practice Track Chairs Heiko Koziolek, ABB Corporate Research, Germany Carola Lillienthal, WPS Workplace Solutions, Germany New and Emerging Ideas Track Chairs Romina Spalazzese, Malmö University, Sweden Javier Camara, University of York, UK Early Career Track Chairs Catia Trubiani, Gran Sasso Science Institute (GSSI), L’Aquila, Italy Philippe Kruchten, The University of British Columbia, Vancouver, Canada Workshop Chairs Christoph Fehling, Mercedes-Benz AG, Stuttgart, Germany Oliver Kopp, Mercedes-Benz AG, Stuttgart, Germany Publication Chair Stéphanie Challita, University of Rennes, Rennes, France Publicity Chair Jacopo Soldani, University of Pisa, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Thu Oct 15 13:09:56 2020 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 15 Oct 2020 14:09:56 +0300 Subject: [fg-arc] 15th International Conference on Research Challenges in Information Science (RCIS 2021): First Call for Papers Message-ID: <05HDSDTA-J86I-R052-802-J3LCGOMWCPS8@cs.ucy.ac.cy> *** First Call for Papers *** 15th International Conference on Research Challenges in Information Science (RCIS 2021) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 12-14, 2021, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk0OTIJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2021%2F Abstract submission deadline (recommended): January 15, 2021 (AoE) Paper submission deadline: January 22, 2021 (AoE) (Proceedings to be published by Springer) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2021 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned with the special theme "Information Science and global crisis". Global crisis, as the pandemic we are experiencing in these days, natural disasters, wars and international political crisis, are challenging Information Science to help building effective management solutions, to learn from previous experience how to prevent them, and to support Humans keep on performing core activities, as education, and communication. The diversity of crises' causes, the quality of the collected data as well as the complexity of the underlying mechanisms are among the relevant research challenges. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Web-Based Applications and Services · Industry 4.0 · Web-Based Applications and Services · Smart Cities · Educational Technologies · Digital Humanities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos and Research Projects @RCIS tracks will complement the main conference. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk0OTIJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2021. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNXRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMSk6IEZpcnN0IENhbGwgZm9yIFBhcGVycwk0OTIJTGlzdHMJMTM0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Drcis20201 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 29, 2021. We adopt a single-blind review format, meaning that the author names are included in the paper itself under the paper title. IMPORTANT DATES · Abstract submission deadline for regular papers: January 15, 2021 (AoE) · Regular paper submission deadline: January 22, 2021 (AoE) · Notification to authors and registration opening: March 12, 2021 · Author registration deadline for all paper types: March 29, 2021 · Camera-ready copy deadline for all paper types: March 29, 2021 · Conference: May 12-14, 2021 CONFERENCE COMMITTEES Steering Committee · Saïd Assar, Institut Mines-Telecom Business School, France · Marko Bajec,University of Ljubljana, Slovenia · Pericles Loucopoulos, Manchester University, University Kingdom · Haralambos Moratidis, University of Brighton, United Kingdom · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France · Oscar Pastor, Universitat Politècnica de València, Spain · Jolita Ralyté, CUI, University of Geneva, Suisse · Colette Rolland, Université Paris 1 Panthéon-Sorbonne, France General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Selmin Nurcan, Université Paris 1 Panthéon-Sorbonne, France Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Samira Cherfi, CNAM, France · Anna Perini, FBK, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Thu Oct 15 15:20:05 2020 From: irdta at irdta.eu (IRDTA) Date: Thu, 15 Oct 2020 15:20:05 +0200 Subject: [fg-arc] LATA 2020 & 2021: extended submission deadline October 26 Message-ID: <545102060a010b02045e56050607595e535207520103555151010807535401045d595651035f03035155510050505056@grlmc_ip-zone_com-6> LATA 2020 & 2021: extended submission deadline October 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ******************************************************************************* 14th-15th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020 & 2021   Milan, Italy   March 1-5, 2021   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   https://irdta.eu/lata2020-2021/ *******************************************************************************   * Extended submission deadline: October 26 *   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 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.   LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   VENUE:   LATA 2020 & 2021 will be held in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be:   University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, inductive inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata   STRUCTURE:   LATA 2020 & 2021 will consist of:   invited talks peer-reviewed contributions   KEYNOTE SPEAKERS:   Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization   Laure Daviaud (City, University of London), About Decision Problems for Weighted Automata   Christoph Haase (University College London), Approaching Arithmetic Theories with Finite-state Automata   Artur Jeż (University of Wrocław), Recompression: Technique for Word Equations and Compressed Data   Jean-Éric Pin (CNRS), How to Prove that a Language Is Regular or Star-free?   Thomas Place (University of Bordeaux), Deciding Classes of Regular Languages: A Language Theoretic Point of View   PROGRAMME COMMITTEE:   Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Marie-Pierre Béal (University of Paris-Est, FR) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Flavio Corradini (University of Camerino, IT) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Amélie Gheerbrant (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Lane A. Hemaspaandra (University of Rochester, US) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Antonio Restivo (University of Palermo, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Mikhail Volkov (Ural Federal University, RU)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Rafael Peñaloza Nyssen (Milan) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix.   Upload submissions to:   https://easychair.org/conferences/?conf=lata20202021   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 Information and Computation (Elsevier, 2019 JCR impact factor: 0.872) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/lata2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: October 26, 2020 – EXTENDED - Notification of paper acceptance or rejection: November 23, 2020 Final version of the paper for the LNCS proceedings: November 30, 2020 Early registration: November 30, 2020 Late registration: February 15, 2021 Submission to the journal special issue: June 5, 2021   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   -------------- next part -------------- An HTML attachment was scrubbed... URL: From andrea.rosa at usi.ch Mon Oct 26 13:02:16 2020 From: andrea.rosa at usi.ch (Andrea Rosa) Date: Mon, 26 Oct 2020 12:02:16 +0000 Subject: [fg-arc] =?utf-8?q?PhD_positions_in_the_Dynamic_Analysis_Group_-?= =?utf-8?q?_Faculty_of_Informatics_-_Universit=C3=A0_della_Svizzera_italia?= =?utf-8?q?na_=28USI=29=2C_Lugano=2C_Switzerland?= Message-ID: <385E8740-AFFB-4B82-BBCD-F453051A20D8@usi.ch> The Dynamic Analysis Group in the Faculty of Informatics at Università della Svizzera italiana (USI) is looking for excellent applications to fill open positions for PhD students. Successful applicants will pursue a PhD under the supervision of Prof. Walter Binder and Dr. Andrea Rosà. The topic of the doctoral dissertation is flexible (to be defined based on individual research interests) and can span a wide spectrum of topics in the field of software engineering and programming languages, including (but not limited to): parallel and concurrent programming; managed languages and runtimes; language-integrated queries; big-data; query optimization; compilers; speculative dynamic compiler optimizations; monitoring, analysis and optimization; benchmarking. -- Your profile We are looking for enthusiastic, highly motivated, and excellent applicants with an MSc degree in Computer Science (or close to completing the MSc studies). The candidates should have a thorough background and experience in at least one mainstream programming languages (e.g., Java, Scala, JavaScript, Python, Rust, C/C++) as well as excellent programming and algorithmic-thinking skills. -- What we offer At USI, PhD salaries are highly competitive, in accordance with Swiss standards. Salary is guaranteed for the whole duration of the PhD, which can last up to 5 years. Research equipment and travel funds are provided. -- How to apply If you are interested, send your application to both walter.binder at usi.ch and andrea.rosa at usi.ch. Applications should include a Curriculum Vitae (including one or two references) and a course transcript. The call will remain open until all positions are filled. It is strongly advised to apply as soon as possible. ------------ Andrea Rosà Postdoctoral Researcher Faculty of Informatics - Office SI-205 Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa at usi.ch (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/ From irdta at irdta.eu Mon Oct 26 17:38:38 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 26 Oct 2020 17:38:38 +0100 Subject: [fg-arc] AlCoB 2020 & 2021: 2nd call for papers Message-ID: <545102060a010b02055650020e04535e50520c050557570050570a050e52515906535006035f0504055f5101550a5700@grlmc_ip-zone_com-6> AlCoB 2020 & 2021: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **********************************************************************************   7th-8th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020 & 2021   Missoula, Montana, USA   June 7-11, 2021   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice – IRDTA Brussels/London   https://irdta.eu/alcob2020-2021/   **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   AlCoB 2020 & 2021 will merge the scheduled program for AlCoB 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 & 2021 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 & 2021 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAM COMMITTEE:   Ludmil Alexandrov (University of California, San Diego, US) Can Alkan (Bilkent University, TR) Mani Arumugam (University of Copenhagen, DK) Bonnie Berger (Massachusetts Institute of Technology, US) Sanchita Bhattacharya (University of California, San Francisco, US) Chao Cheng (Baylor College of Medicine, US) Keith Crandall (George Washington University, US) Colin Dewey (University of Wisconsin, Madison, US) Ian Dunham (European Bioinformatics Institute, UK) Anton Enright (University of Cambridge, UK) Joe Felsenstein (University of Washington, US) Pedro G. Ferreira (University of Porto, PT) Martin Frith (University of Tokyo, JP) Debashis Ghosh (University of Colorado, US) Michael Gribskov (Purdue University, US) Michael Hawrylycz (Allen Institute for Brain Science, US) Daniel Huson (University of Tübingen, DE) Kazutaka Katoh (Osaka University, JP) Miriam Konkel (Clemson University, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Zemin Ning (Wellcome Sanger Institute, UK) Joel S. Parker (University of North Carolina, Chapel Hill, US) Kay Prüfer (Max Planck Institute for Evolutionary Anthropology, DE) Knut Reinert (Free University of Berlin, DE) Walter L. Ruzzo (University of Washington, US) Russell Schwartz (Carnegie Mellon University, US) Gordon Smyth (Walter and Eliza Hall Institute of Medical Research, AU) Peter F. Stadler (Leipzig University, DE) Alfonso Valencia (Barcelona Supercomputing Center, ES) Fabio Vandin (University of Padua, IT) Kai Wang (Children's Hospital of Philadelphia, US) Matthew T. Weirauch (Cincinnati Children's Hospital, US) Travis Wheeler (University of Montana, US) Zohar Yakhini (Interdisciplinary Center, Herzliya, IL) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob20202021   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019 JCR impact factor: 2.85) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://irdta.eu/alcob2020-2021/registration/   DEADLINES (all at 23:59 CET):   Paper submission: January 18, 2021 Notification of paper acceptance or rejection: February 15, 2021 Final version of the paper for the LNCS/LNBI proceedings: March 1st, 2021 Early registration: March 1st, 2021 Late registration: May 24, 2021 Submission to the journal special issue: September 11, 2021   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Oct 19 21:36:56 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 19 Oct 2020 21:36:56 +0200 Subject: [fg-arc] TPNC 2020: call for posters Message-ID: <545102060a010b02045f55050200575e5004070002570f55510a58035507010055585306000005060056555604535156@grlmc_ip-zone_com-6> TPNC 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 9th International Conference on the Theory and Practice of Natural Computing (TPNC 2020) invites researchers to submit poster presentations. TPNC 2020 will be held in Taoyuan, Taiwan on December 7-9, 2020. See:  https://irdta.eu/tpnc2020/ 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: October 31, 2020 Notification of poster acceptance or rejection: November 7, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=tpnc2020 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 2020. However, they will be eligible for submission to the post-conference journal special issue in Swarm and Evolutionary Computation (Elsevier, 2018 impact factor: 6.330). REGISTRATION At least one author of each accepted poster must register to the conference by November 14, 2020. 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.   -------------- next part -------------- An HTML attachment was scrubbed... URL: