From cfp at mat.unical.it Sat Aug 1 16:42:28 2020 From: cfp at mat.unical.it (cfp at mat.unical.it) Date: Sat, 1 Aug 2020 16:42:28 +0200 Subject: [fg-arc] CILC 2020 - Call For Papers - Deadline for Abstract Submission Extended Message-ID: [apologies for multiple postings] ================================================================================== 35th Italian Conference on Computational Logic (CILC 2020) 28-29 September 2020, Rende, Italy https://cilc2020.demacs.unical.it/ CO-LOCATED with the 36th International Conference on Logic Programming (ICLP 2020) ================================================================================== ***************************************** ABSTRACT SUBMISSION DEADLINE **EXTENDED** ***************************************** = COVID-19 SITUATION = This year's edition will be the 35th in the series of an event that is traditionally important for the community. Given to the evolving COVID-19 situation worldwide, the Conference chairs and the GULP Executives decided to hold CILC 2020 as a fully virtual conference. Please check https://cilc2020.demacs.unical.it/ regularly for news and details. = THIRD CALL FOR PAPERS = == Important Dates (UPDATE) == Abstract submission: J̶u̶l̶y̶ ̶3̶1̶,̶ ̶2̶0̶2̶0̶ --> August 23, 2020 Paper submission: J̶u̶n̶e̶ ̶2̶6̶,̶ ̶2̶0̶2̶0̶ --> August 31, 2020 Notification to authors: J̶u̶l̶y̶ ̶1̶3̶,̶ ̶2̶0̶2̶0̶ --> September 14, 2020 Camera-ready copy due: S̶e̶p̶t̶e̶m̶b̶e̶r̶ ̶3̶,̶ ̶2̶0̶2̶0̶ --> September 21, 2020 Main Conference starts: September 28, 2020 (Subject to slight postponements, please check the website regularly) = The Conference = CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 35th edition will be held in Cosenza (Italy) on September 28-29, 2020. Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases. = Contributions = The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: * full papers, possibly already submitted to other conferences or journals * short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects. The topics of interest include, but are not limited to, the following: - Logic Programming, Constraint Programming and other paradigms of declarative programming - Extensions and integrations of declarative programming paradigms - Analysis, transformation, validation, and verification of programs - Instruments and environments for program development - Implementations and benchmarking - Model Checking - Temporal logics - Automated Theorem Proving - Non-Monotonic Reasoning - Answer Set Programming - Knowledge representation and extraction - Treatment of uncertain and incomplete knowledge - Approximate Reasoning - Abductive Logic Programming - Model-based Reasoning - Deductive Databases - Data Mining and Data Integration - Multi-agent systems - Logics for strategic reasoning - Semantic Web - Natural Language Processing - Computational logic for concurrency, coordination, mobility and objects - Planning and scheduling - Probabilistic Logic Programming - Computational Logic and formal methods in Artificial Intelligence - Applications of Computational Logic - Pedagogy of Computational Logic - Applications of Computational Logic - Inductive Logic Programming - Computational Logic and Machine Learning In particular, we also invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. = Submission Details = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=cilc20200 Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively. Manuscripts should be formatted using the Springer LNCS style. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to register to the conference and present the paper according to directions that will be made public by the organizers, taking into account the "virtual" nature of this year's event. The event is organized by GULP; therefore, Italian attendants are required to be members of GULP (it is possible to join GULP contextually to the conference). = Proceedings and Journal Special Issue = All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication, if already published. In the trail of the CILC tradition, we plan to publish a selection of the papers in a SPECIAL ISSUE of an international journal (to be determined). Extensions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. = Committees = == General Chairs == * Francesco Calimeri – University of Calabria, Italy * Simona Perri - University of Calabria, Italy * Ester Zumpano - University of Calabria, Italy == Program Committee == * Mario Alviano, Università della Calabria * Roberto Amadini, University of Melbourne * Matteo Baldoni, Università di Torino * Stefano  Bistarelli, Università di Perugia * Loris Bozzato, Fondazione Bruno Kessler * Roberta Calegari, Università di Bologna * Domenico Cantone, Università di Catania * Alberto Casagrande, Università degli Studi di Trieste * Emanuele De Angelis, IASI-CNR di Roma * Giovanni De Gasperis, Università dell’Aquila * Dario Della Monica, University of Udine * Giorgio Delzanno, Università di Genova * Wolfgang Faber, Alpen-Adria-Universität Klagenfurt * Fabio Fioravanti, Università di Chieti - Pescara * Andrea Formisano, Università di Perugia * Silvio Ghilardi, Università degli Studi di Milano * Laura Giordano, Università del Piemonte Orientale * Evelina Lamma, Università di Ferrara * Francesca A. Lisi, Università di Bari * Marco Manna, Università della Calabria * Marco Maratea, Università degli Studi di Genova * Paola Mello, Università di Bologna * Marco Montali, Free University of Bozen-Bolzano * Angelo Montanari, Università di Udine * Andrea Pazienza, Exprivia | Italtel Innovation Lab * Rafael Peñaloza, Università degli Studi di Milano-Bicocca * Adriano Peron, Università di Napoli * Maurizio Proietti, IASI-CNR Roma * Luca Pulina, Università di Sassari * Francesco Ricca, Università della Calabria * Andrey Rivkin, Libera Università di Bolzano * Gianfranco Rossi, Università di Parma * Sabina Rossi, Università di Venezia * Pietro Sala, Università di Verona * Umberto Straccia, ISTI-CNR From lpandolfo at uniss.it Mon Aug 3 10:52:12 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 3 Aug 2020 10:52:12 +0200 Subject: [fg-arc] [CfP - Extended deadline] PLP-2020: The Seventh Workshop on Probabilistic Logic Programming Message-ID: <4446d061-8495-e7c3-1995-b1c0b7d206ca@uniss.it> PLP-2020: The Seventh Workshop on Probabilistic Logic Programming ---------------------------------------------------------------- A workshop of 36th International Conference on Logic Programming September 18-24, 2020, virtual conference http://stoics.org.uk/plp/plp2020/ **** Extended deadline for submissions: Aug, 22nd 2020 **** **** COVID-19: Due to the ongoing pandemic, the workshop will be held online. **** 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 six 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, at ICLP 2019 in Las Cruces, PLP will be online this year and will be co-located with ICLP 2020. 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=plp2020). 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-15 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/) or arXiv (https://arxiv.org). The proceedings will consist of clearly marked sections corresponding to the different types of submissions accepted. Deadlines ----- Papers due: Aug, 22nd 2020 (extended) Notification to authors: Sep, 5th 2020 (extended) Camera ready version due: Sep, 10th 2020 Workshop date: September 18-24, 2020 (the deadline for all dates is AOE) Invited Speaker(s) ----- To be confirmed. Organising Committee ----- Carmine Dodaro (University of Calabria, Italy) [co-chair] (dodaro at mat.unical.it) George Aristidis Elder (Queen Mary University of London, UK) [co-chair] (g.a.elder at qmul.ac.uk) Program Committee ----- Nicos Angelopoulos (Sanger Institute, UK) Elena Bellodi (University of Ferrara, Italy) Krysia Broda (Imperial College, UK) Henning Christiansen (Roskilde University, Denmark) Giuseppe Cota (University of Ferrara, Italy) Fabio Cozman (University of São Paulo, Brazil) James Cussens (University of York, UK) Luke Dickens (University College London, UK) Arjen Hommersom (Open University of the Netherlands, The Netherlands) Matthias Nickles (National University of Ireland, Ireland) David Poole (The University of British Columbia, Canada) Fabrizio Riguzzi (University of Ferrara, Italy) Joost Vennekens (Katholieke Universiteit Leuven, Belgium) Riccardo Zese (University of Ferrara, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 From wortmann at se-rwth.de Tue Aug 4 14:24:12 2020 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Tue, 4 Aug 2020 14:24:12 +0200 Subject: [fg-arc] =?utf-8?q?SE2021=3A_Aufruf_zur_Einreichung_von_Workshop?= =?utf-8?q?-Vorschl=C3=A4gen?= Message-ID: ---------------------------------------------------------------------- SOFTWARE ENGINEERING 2021 https://se-2021.tu-bs.de/ ---------------------------------------------------------------------- Aufruf zur Einreichung von Workshop-Vorschlägen Neben dem technisch-wissenschaftlichen Hauptprogramm stellt das Workshop-Programm 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. Dementsprechend werden Workshop-Vorschläge, die einen expliziten Praxisbezug bieten und z.B. von Fachleuten aus der Industrie (mit-)organisiert werden, bei der Auswahl bevorzugt behandelt. Prinzipiell sind alle Themen mit klarem Software-Engineering-Bezug mögliche Workshop-Themen. Da die SE’21 diesmal komplett virtuell stattfindet, sollen auch die Workshops virtuell durchgeführt werden. Die Workshops werden am 22. und 23.02.2021 stattfinden. ------------------------------ Themen ------------------------------ Vorschläge für Workshops sollten die folgenden Informationen enthalten und nicht mehr als drei Seiten umfassen: - Angabe der Organisatoren mit vollständigen Kontaktdaten und einem Hauptansprechpartner - Darstellung des Erfahrungshintergrunds der Organisatoren (sowohl in Bezug auf Workshops als auch allgemein) - Gewünschte Länge (Halbtages- / Ganztages-Workshop) - Titel, Akronym, Thema (inkl. Motivation warum dieses Thema für die SE 2021 wichtig ist) - Erwartete Ergebnisse (Arbeitsziele) des Workshops - Zusammenfassung (max. 150 Worte) für die Workshop-Darstellung auf der Webseite der SE 2021. Es wird erwartet, dass der Workshop bei Annahme eine eigene, zusätzliche Webseite erstellt. - Eine Erläuterung des geplanten Ablaufs. Dabei sollte insbesondere deutlich werden, welchen Umfang Diskussionen und welche Vorträge haben werden und in welcher Weise die Organisatoren beabsichtigen, Diskussionen anzuregen. - Liste der Mitglieder des Programmkomitees (Vorschläge und bereits eingeholte Zusagen) - Erläuterung der Werbestrategie - Erläuterung des Auswahlprozesses für Workshopbeiträge (dieser muss wissenschaftlichen Standards genügen) - Angabe der erwarteten und der minimalen Zahl der Teilnehmer. Bei neuen Workshops: begründete Schätzung; bei Workshops, die zuvor bereits gehalten wurden: Erfahrungswerte - Darstellung der notwendigen Raumausstattung und anderer organisatorischer Voraussetzungen - Mindestens 50% der Beiträge müssen englischsprachig sein, um bei dem CEUR Workshop-Proceedings publiziert zu werden ------------------------------ Einreichung ------------------------------ Für Einreichungen ist die GI LNI-Vorlage zu verwenden: https://github.com/gi-ev/LNI Die Vorschläge können jederzeit über EasyChair eingereicht werden: https://easychair.org/conferences/?conf=se2021 (Track "Workshops") Akzeptierte Workshops müssen von den jeweiligen Organisatoren geeignet angekündigt und beworben werden. Die SE 2021 wird zusätzlich einen gemeinsamen Call für alle Workshops veröffentlichen. Die Organisatoren werden gebeten, nachdem ihr Thema akzeptiert wurde, eine Webseite einzurichten, mit deren Hilfe sie die Teilnehmer über Inhalte und zeitlichen Ablauf, sowie über den Workshop im Allgemeinen informieren. Darüber hinaus können die Organisatoren eine zweiseitige Beschreibung des Workshops im Tagungsband veröffentlichen (LNI-Format). Wie in den vergangenen Jahren ist geplant, einen gemeinsamen Tagungsband der Workshops zu veröffentlichen. ------------------------------ Wichtige Daten ------------------------------ - Einreichungsfrist für Workshop-Vorschläge: 01. September 2020 - Benachrichtigungen für Workshop-Vorschläge: 15. September 2020 - Workshop-Beschreibung für Tagungsband: 06. Dezember 2020 - Einreichungsfrist für Workshop-Beiträge: 13. Dezember 2020 - Benachrichtigung für Workshop-Beiträge: 10. Januar 2021 - Einreichung der finalen Workshop-Beiträge: 31. Januar 2021 ------------------------------ Kontakt ------------------------------ - Sebastian Götz (TU Dresden) sebastian.goetz1 at tu-dresden.de - Andreas Wortmann (RWTH Aachen) wortmann at se-rwth.de -- ------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de Model-Driven Development of a Digital Twin for Injection Molding CAiSE 2020: Advanced Information Systems Engineering (2020) https://doi.org/10.1007/978-3-030-49435-3_6 From luis.magdalena at upm.es Tue Aug 4 11:52:13 2020 From: luis.magdalena at upm.es (LUIS MAGDALENA) Date: Tue, 4 Aug 2020 11:52:13 +0200 Subject: [fg-arc] 24th European Conference on Artificial Intelligence (ECAI2020) - Final program and Free sign-up Message-ID: 24th European Conference on Artificial Intelligence (ECAI2020) 29 August-8 September 2020 Santiago de Compostela, Galicia, Spain and on-line ECAI 2020, the 24th European Conference on Artificial Intelligence , is Europe’s premier AI Research venue. Initially scheduled to be celebrated in Santiago de Compostela, for the first time in its almost 50 years of existence, ECAI will be a great *LIVE/GLOBAL/DIGITAL/OPEN* event. ECAI2020 offers *free signup and attendance* to a rich program of the highest scientific and technical level including: - 5 *plenary speakers*: Stuart Russell, Luc De Raedt, Carme Torras, Sylvie Thiébaux and Moshe Vardi - 4 *“Frontiers in AI” talks*: Blai Bonet, Rada Mihalcea, Magdalena Ortiz, Randy Goebel y Firas Lethaus - 80 *scientific sessions* - 60 *workshops* and *tutorials* - Special *AI-related events* such as EU Challenges, Lab-To-Market event, Women in AI, … - Specific program for *starting researchers*: Doctoral Consortium, STAIRS, Meeting with an EurAI Fellow, Job Fair The conference also includes an extensive social program, with six interactive musical, gastronomic, touristic, and historical activities of the widest interest for attendants. Full program, free sign-up, and attendance at: http://digital.ecai2020.eu ECAI2020 is hosted by the European and Spanish Associations for AI (EurAI and AEPIA ) and organized by the Research Centre on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS ). Luis Magdalena Universidad Politécnica de Madrid ECAI2020 Publicity Chair 29 August – 8 September 2020 -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Aug 4 20:12:47 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 04 Aug 2020 20:12:47 +0200 Subject: [fg-arc] LATA 2020 & 2021: 1st call for papers Message-ID: <545102060a010b02045655030601515e015602515357005502500f0506545a595c500053570d0703070558000e565303@grlmc_ip-zone_com-6> LATA 2020 & 2021: 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 & 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 soldani at di.unipi.it Fri Aug 7 11:55:45 2020 From: soldani at di.unipi.it (Jacopo Soldani) Date: Fri, 7 Aug 2020 11:55:45 +0200 Subject: [fg-arc] Special issue on "Microservices and Cloud-Native Solutions: From Design to Operation" - Open CFP References: <016601d66ca0$959f2390$c0dd6ab0$@di.unipi.it> Message-ID: <018f01d66ca0$eb9c3b20$c2d4b160$@di.unipi.it> Dear colleagues, This is an open call for contributions to the special issue "Microservices and Cloud-Native Solutions: From Design to Operation". The special issue belongs to the open access journal "Information" (MDPI, ISSN: 0167-6423). Please find all information about the special issue attached at the end of this message. Looking forward to receiving your contributions! With my Best Regards, Dr. Jacopo Soldani University of Pisa, Italy http://pages.di.unipi.it/soldani Microservices and Cloud-Native Solutions: From Design to Operation A special issue of the open-access journal "Information" (MDPI, ISSN: 0167-6423) Aims and scope Microservices and cloud-native solutions are gaining more and more momentum in enterprise IT, with major IT players (such as Amazon, Netflix, Spotify, and Twitter) already adopting them to deliver their core businesses. Cloud-native solutions enable organizations to design, develop, and run scalable multiservice applications in modern and dynamic environments like the Cloud. Microservice applications are probably the most prominent example of cloud-native solutions, which in general enable obtaining loosely coupled and highly scalable multicomponent systems. Combined with containers, deployment automation technologies, and CI/CD, cloud-native solutions allow application providers to continuously deliver their software, with software updates released frequently with minimal toil. At the same time, microservices and cloud-native solutions are inherently complex, due to the high number of interacting software components forming microservices/cloud-native applications. This makes their design, development, enactment, and management costly, complex, and error-prone. Solutions and best practices for accomplishing such tasks are hence needed and set the scope for this Special Issue. Theoretical and practical research papers, as well as review papers, are all welcome. Topics of interest include but are not limited to: * Availability, fault-resilience, and scalability in microservices and cloud-native solutions; * Best practices and empirical studies on microservices and cloud-native solutions, and on their adoption; * CI/CD and deployment automation in microservices and cloud-native solutions; * Design principles, architectural smells, and architectural refactoring of microservices and cloud-native solutions; * Fault localization in microservices and cloud-native solutions; * Formal methods, models, and techniques for microservices and cloud-native solutions; * Infrastructure and integration components for microservices and cloud-native solutions; * Integration of microservices and cloud-native solutions; * Model-driven design and development of microservices and cloud-native solutions; * Programming languages for microservices and cloud-native solutions; * Reverse engineering for microservices and cloud-native solutions; * Security of microservices and cloud-native solutions; * Serverless applications and function-as-a-service solutions; * Microservices and cloud-native solutions adaptation, exploitation, and deployment over the Cloud-to-IoT computing continuum (including fog and edge infrastructures); * Testing of microservices and cloud-native solutions; * Verification of microservices and cloud-native solutions. Submission Window Manuscripts should be submitted online (see "Submission Instructions" below). Manuscripts can be continuously submitted until the deadline: May 1st, 2021. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website. Research articles, review articles as well as short communications are invited. For planned papers, a title and short abstract (about 100 words) can be sent to the Editorial Office for announcement on this website. Submission Instructions Detailed instructions about manuscript formatting and submission can be found on the special issue website: https://www.mdpi.com/journal/information/special_issues/Microservices_Cloud- Native Guest Editor Jacopo Soldani, University of Pisa, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Aug 11 14:18:19 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 11 Aug 2020 14:18:19 +0200 Subject: [fg-arc] DeepLearn 2021 Winter: early registration August 21 Message-ID: <545102060a010b020457510a0703565e5151575356030453020109045757575550020253015f0500015e000100025101@grlmc_ip-zone_com-6> DeepLearn 2021 Winter: early registration August 21*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: August 21, 2020 ---   ***********************************************   In conjunction with ICPR 2020   https://www.micc.unifi.it/icpr2020/   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   Mikhail Belkin (Ohio State University), [intermediate/advanced] Understanding Deep Learning through the Lens of Over-parameterization   Thomas G. Dietterich (Oregon State University), [introductory] Machine Learning Methods for Robust Artificial Intelligence   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, 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] Deep 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 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   -------------- next part -------------- An HTML attachment was scrubbed... URL: From aygul.zulfugarova at vet.edu.gov.az Tue Aug 11 18:02:13 2020 From: aygul.zulfugarova at vet.edu.gov.az (Pdworld ) Date: Tue, 11 Aug 2020 13:02:13 -0300 Subject: [fg-arc] =?utf-8?q?Business-Package_f=C3=BCr?= Message-ID: Hallo , ist das angefügte Angebot auch für monat gültig. https://webuyhomes.forclientdemo.com/wp-includes/open-sector/security-SQUol5hhFH-URgOV18F/ezx-3s722vw/ Für weitere Infos verbleiben wir gerne zur Verfügung. Mit freundlichen Grüßen Pdworld pdworld-bounces at listserv.uni-siegen.de DIESE EMAIL-KOMMUNIKATION IST AUSSCHLIESSLICH FUER DEN EMPFAENGER BESTIMMT UND KANN INFORMATIONEN VERTRAULICHER ODER PRIVILEGIERTER ART ENTHALTEN From Cassia.Trojahn at irit.fr Wed Aug 12 10:30:12 2020 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 12 Aug 2020 10:30:12 +0200 Subject: [fg-arc] =?utf-8?b?W1ZpcnR1YWw/PT0/dXRmLTg/cT8gT00tMjAyMF0gRGVh?= =?utf-8?q?dline_extension_=2817/08=29=3A_15th__workshop_on_Ontology_Match?= =?utf-8?q?ing_collocated_with_ISWC?= In-Reply-To: <66d5-5eecf080-fc1-78df7f00@87753635> Message-ID: <3b73-5f33a880-251-1c1106c0@186756565> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ CALL FOR CONTRIBUTIONS THE NEW SUBMISSION DEADLINE IS ON AUGUST 17TH, 2020 ------------------------------------------------------------------------------ The Fifteenth International Workshop on ONTOLOGY MATCHING (OM-2020) http://om2020.ontologymatching.org/ November 2nd or 3rd, 2020, International Semantic Web Conference (ISWC) Workshop Program, VIRTUAL CONFERENCE BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements.The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2020 campaign: http://oaei.ontologymatching.org/2020/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2020 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 17th, 2020) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2020 Contributors to the OAEI 2020 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2020/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 17th, 2020: Deadline for the submission of papers. September 11th, 2020: Deadline for the notification of acceptance/rejection. September 21st, 2020: Workshop camera ready copy submission. November 2nd or 3rd, 2020: OM-2020, Virtual Conference. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE (to be completed): Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Majeed Mohammadi, TU Delft, Netherlands Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Kavitha Srinivas, IBM, USA Giorgos Stoilos, Huawei Technologies, Greece Pedro Szekely, University of Southern California, USA Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- From jens.knodel at caruso-dataplace.com Fri Aug 14 08:33:19 2020 From: jens.knodel at caruso-dataplace.com (Jens Knodel) Date: Fri, 14 Aug 2020 06:33:19 +0000 Subject: [fg-arc] =?iso-8859-1?q?WSRE_2020=3A_Aufruf_zur_Teilnahme_16=2E-?= =?iso-8859-1?q?18=2E_September_an_der_Universit=E4t_Paderborn?= Message-ID: === Aufruf zur Teilnahme === 22. Workshop Software-Reengineering & -Evolution der GI-Fachgruppe Software-Reengineering (SRE) Universität Paderborn, 16.-18. September 2020 https://fg-sre.gi.de/veranstaltung/22-workshop-software-reengineering-evolution/ Anmeldung zum WSRE Workshop (Deadline 02.09.2020): https://userpages.uni-koblenz.de/~riediger/wsr/registration.php Vorläufiges Tagungsprogramm https://fg-sre.gi.de/fileadmin/FG/SRE/wsre2020/WSRE2020_Tagungsprogramm.pdf === Matching-Event "Forschung trifft Praxis" === Machen sie mit beim Matching-Event "Forschung trifft Praxis" und melden Sie sich jetzt für das Speed-Dating an (bitte per E-Mail bis zum 02.09.2020). Der Track "Forschung trifft Praxis" bietet ein innovatives Forum für die Anwendung und Erprobung von Forschungsergebnissen an realen Beispielen aus der Unternehmenspraxis. Auf der Webseite https://fg-sre.gi.de/aktivitaeten/forschung-trifft-praxis finden Sie in dem gleichnamigen Abschnitt die angenommenen Beiträge. Hier finden Sie auch alle weiteren Informationen zu diesem neuen Format beim WSRE! Am ersten Tag des WSRE 2020, Mittwoch 16.09.2020, werden alle ausgewählten Beiträge in einem kurzen Pitch im Plenum vorgestellt. Anschließend besteht die Möglichkeit, einzelne Beiträge im Rahmen eines Speed-Datings genauer kennenzulernen und sich selbst als potenzieller Kooperationspartner aus Wirtschaft oder Wissenschaft bekannt zu machen. Kommt es zu einem Match, können die Kooperationsmöglichkeiten während des WSRE vertieft besprochen werden. Gern begleiten die Organisatoren diesen Prozess als Moderatoren/Mentoren. Bitte schreiben Sie eine E-Mail an die Organisatoren unter wsr at uni-koblenz.de und teilen Sie uns mit, welchen Beitrag Sie beim Speed-Dating gern genauer kennen lernen und im Hinblick auf eine potenzielle Kooperation sondieren möchten. Wir planen Ihre Teilnahme am Speed-Dating dann dementsprechend ein. === Wir freuen uns auf einen spannenden Workshop und viele interessante Vorträge und lebhafte Diskussionen - natürlich unter Beachtung und Einhaltung der dann geltenden Hygienevorschriften! Bleiben Sie gesund! IHRE GI-FACHGRUPPE SRE Dr. Jens Knodel, Caruso GmbH, Ismaning Dr. Marco Konersmann, Universität Koblenz-Landau Torsten Görg, itemis AG, Stuttgart Matthias Gutheil, itemis AG, Bonn Dr. Stefan Sauer, Universität Paderborn Kontakt? WSR at list.uni-koblenz.de -- Dr. Jens Knodel Head of Platform Engineering   m: +49 179 53 43 284 e:    jens.knodel at caruso-dataplace.com   w:   www.caruso-dataplace.com   Caruso GmbH | Steinheilstraße 10 | 85737 Ismaning Managing Directors: Alexander Haid, Jürgen Buchert | Registered Local Court Munich | HRB 233 669 From konersmann at uni-koblenz.de Wed Aug 19 10:00:39 2020 From: konersmann at uni-koblenz.de (Marco Konersmann) Date: Wed, 19 Aug 2020 10:00:39 +0200 Subject: [fg-arc] Invitation to a Survey on the Usability of Different Visualizations of Security Violations Message-ID: <900c0d27-31f3-cb93-cdad-79dd69ffd79b@uni-koblenz.de> Dear colleague, I'd like to forward a kind invitation to a survey to you from my colleague Sven Peldszus to support his research: We are currently studying how software developers can be supported in the investigation of security violations. To be more precise, we are interested in the usability of different visualizations of security violations for the investigation of security violations. For this reason, we created a short survey (~15 minutes) and are asking you for your opinion: http://uni-koblenz.de/~speldszus/survey In this survey, we introduce at first a real system (a small excerpt of the Eclipse secure storage) and afterwards show three different representations of an observed security violation. Regarding these three representations, we ask you a few questions as well as for your opinion. Thank you very much for your support by participating in our survey. Please feel free to forward this invitation to the survey to everyone you think he/she is interested in it. If you have any questions please do not hesitate to contact me: speldszus at uni-koblenz.de Best regards, Sven Peldszus -- Dr. Marco Konersmann Postdoctoral Researcher Research Group Software Engineering Institute for Software Technology (IST) University of Koblenz-Landau https://mkonersmann.de/ From irdta at irdta.eu Tue Aug 18 19:52:24 2020 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Aug 2020 19:52:24 +0200 Subject: [fg-arc] BigDat 2021 Spring: early registration September 13 Message-ID: <545102060a010b02045759010403505e510501510653520006010f04505205055c035056015f04550355045654025200@grlmc_ip-zone_com-6> BigDat 2021 Spring: early registration September 13*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: September 13, 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), tba   PROFESSORS AND COURSES: (to be completed)   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   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   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   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   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 rmueller at wifa.uni-leipzig.de Mon Aug 17 11:06:18 2020 From: rmueller at wifa.uni-leipzig.de (=?UTF-8?Q?Richard_M=c3=bcller?=) Date: Mon, 17 Aug 2020 11:06:18 +0200 Subject: [fg-arc] Symposium date changed | Deadline extened | 2nd CfP: 11th Symposium on Software Performance 2020 Message-ID: <55781c16-b021-0fcc-bb92-f478f33e06d7@wifa.uni-leipzig.de> Please note, that the symposium had to be postponed by one week to 12 and 13 November 2020. Hopefully, this does not cause any inconvenience to you. Accordingly, the submission deadlines have been extended to 4 September for abstracts and to 6 September 2020 for papers. Apr. 06, 2020 CfP-Publication, Submission opening Old: Aug. 15, 2020 New: Sep. 04, 2020 Abstract submission until 23.59 AoE (for all paper types) Old: Sep. 01, 2020 New: Sep. 06, 2020 Paper submission until 23.59 AoE Oct. 01, 2020 Acceptance Notification Oct. 15, 2020 Camery ready papers Oct. 15, 2020 Program announcement Oct. 20, 2020 Registration deadline Old: Nov. 04, 2020 New: Nov. 11, 2020 Descartes/Kieker/Palladio developer meetings (participation welcome) Old: Nov. 05-06, 2020 New: Nov. 12-13, 2020 Technical symposium program *11th Symposium on Software Performance 2020* *Call for Papers* *Leipzig, November 12-13, 2020* *https://www.performance-symposium.org/2020/* The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as "the amount of useful work accomplished by a software system compared to the time and resources used", as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. Descartes' focus are techniques and tools for engineering self-aware computing systems designed for maximum dependability and efficiency. Kieker is a well-established tool and approach for monitoring software performance of complex, large, and distributed IT systems. Palladio is a likewise-established tool and approach for modeling architectures of IT systems and for simulating quality properties, such as for example performance or reliability metrics. SSP 2020 is supported by the GI special interest group "Softwaretechnik". *Scope:* Submission are thought for plans, ongoing work, or results on: - Software quality analysis in regard to:   - Performance   - Scalability and elasticity   - Energy efficiency   - Dependability and resilience   - Security and privacy   - Application performance measurement and management - Performance measurement and benchmarking - Performance modeling (modeling, simulation, extraction and calibration) - Automated run-time management of software systems - Automated approaches for performance problem detection and resolution - Performance-related challenges in industrial software systems - Application of Descartes, Kieker, or Palladio in projects *Submission:* We solicit technical papers (maximum 3 pages) and extended abstracts for industry or experience talks (maximum 700 words). More submission details are published on the website. EasyChair: https://easychair.org/conferences/?conf=ssp2020 *Publication:* Accepted Papers will appear in the GI Softwaretechnik-Trends. *Important Dates:* - Apr. 06, 2020    CfP-Publication, Submission opening - Old: Aug. 15, 2020 New: Sep. 04, 2020    Abstract submission until 23.59 AoE (for all paper types) - Old: Sep. 01, 2020 New: Sep. 06, 2020   Paper submission until 23.59 AoE - Oct. 01, 2020    Acceptance Notification - Oct. 15, 2020    Camery ready papers - Oct. 15, 2020    Program announcement - Oct. 20, 2020    Registration deadline - Old: Nov. 04, 2020 New: Nov. 11, 2020    Descartes/Kieker/Palladio developer meetings (participation welcome) - Old: Nov. 05-06, 2020 New: Nov. 12-13, 2020  2020 Technical symposium program *Steering Committee:* - Steffen Becker, Uni Stuttgart - Wilhelm Hasselbring, Kiel University - André van Hoorn, Uni Stuttgart - Samuel Kounev, Uni Würzburg - Ralf Reussner, KIT / FZI - Anne Koziolek, KIT *Program Committee:* - Dusan Okanovic, Novatec Consulting GmbH - Reiner Jung, Kiel University - Henning Schnoor, Kiel University - Holger Knoche, ivv GmbH - Norbert Schmitt, University of Würzburg - Johannes Grohmann, University of Würzburg - Sebastian Krach, FZI - Dominik Werle, KIT - Robert Heinrich, KIT - Holger Eichelberger, University of Hildesheim - Johannes Kroß, Fortiss GmbH - Teerat Pitakrat, Vector Informatik GmbH - David Georg Reichelt, Leipzig University *Local Organizers:* - Richard Müller, Leipzig University - Ulrich Eisenecker, Leipzig University *Contact:* Dr. Richard Müller, Leipzig University, Information Systems Institute, Software Engineering, +49 341 97 33722, rmueller at wifa.uni-leipzig.de -- Dr. Richard Müller Universität Leipzig Wirtschaftswissenschaftliche Fakultät Institut für Wirtschaftsinformatik Professur für Wirtschaftsinformatik, insbes. Softwareentwicklung für Wirtschaft und Verwaltung Grimmaische Straße 12 D-04109 Leipzig Raum: IZ 28a Tel.: +49-(0)341-9733-722 Mail:rmueller at wifa.uni-leipzig.de Web:https://iwi.wifa.uni-leipzig.de/se -------------- next part -------------- An HTML attachment was scrubbed... URL: From pieter.philippaerts at kuleuven.be Mon Aug 24 22:00:50 2020 From: pieter.philippaerts at kuleuven.be (Pieter Philippaerts) Date: Mon, 24 Aug 2020 20:00:50 +0000 Subject: [fg-arc] Research professor position in Secure Systems In-Reply-To: <1598299207984.51412@kuleuven.be> References: <1598299207984.51412@kuleuven.be> Message-ID: <1598299249827.89111@kuleuven.be> The Science, Engineering and Technology Group, Faculty of Engineering Science, Department of Computer Science of KU Leuven, invites scholars to apply for a full‐time research professorship in the DistriNet Research Group. This position is funded by the Special Research Fund (BOFZAP), established by the Flemish Government. We are looking for motivated and internationally oriented candidates with an excellent research record and with educational competence in the field of Secure Systems. The appointment is expected to start on October 1, 2021. Applications will be evaluated in parallel and independently by 1) the KU Leuven Research Council in a competitive process across academic domains and 2) the faculty advisory committee. During the first 10 years, the teaching obligations as a research professor will be limited. Afterwards, the position will be transformed into a regular professorship. We are looking for a candidate with demonstrated expertise in secure systems, who has already obtained excellent research results on some topics within this area, including but not limited to: * software vulnerabilities and the development of countermeasures for such vulnerabilities, * security aspects of middleware, virtualization, operating systems, distributed systems, compilers, cyber-physical systems, cloud systems, web and mobile applications, wireless systems or embedded systems, * foundational methods in security, including language-based security, information flow control, modeling and enforcement of security policies, verification of security properties in software or hardware, * quantitative, statistical and empirical methods for security research, * trusted computing technology, and the application of this technology in the construction of secure systems. DistriNet is an international research group with extensive expertise in secure and distributed software. Embedded in the Department of Computer Science of KU Leuven, DistriNet brings together a substantial critical mass of about 90 researchers, including 12 full-time professors, 10 permanent research staff members, 11 postdoctoral researchers, and about 60 PhD researchers. The conducted research is systems-centric, always application-driven and often performed in close collaboration with industry (e.g. in industrial automation, healthcare, transport & logistics). The know-how of DistriNet formed the basis of multiple spin-off companies. [https://distrinet.cs.kuleuven.be/] Duties Research It is part of the assignment of the appointed candidate to develop, within the domain of Secure Systems an international, competitive research programme, to pursue excellent scientific results at an international level and to support and promote national and international research partnerships. The candidate must meet a strong research profile or have the potential to do so. In addition, the candidate is expected to have a multidisciplinary attitude and a willingness to cooperate intensively with other researchers and research units at KU Leuven. The candidate: * Is an excellent, internationally oriented researcher and develops a research programme at the forefront in the field of Secure Systems. * Strengthens existing research lines and brings complementary and/or additionally new expertise by working closely with the members of the research unit. * Publishes at the highest scientific level in leading international journals and conferences. * Develops an own research group. * Supervises master students, PhD students and postdocs at a high international level. * Aims to acquire competitive research funding from national and/or international agencies and submits effective research project proposals for this purpose. * Establishes both within KU Leuven, national and international partnerships in the context of the research programme. * Strives for excellence in research and provides a contribution to the international research reputation of the DistriNet Research Group, Department of Computer Science and KU Leuven. * Has a pronounced interest in fundamental research, but also pays attention to the valorization and applications of the research. Education Although the position regards a research professorship at the start of employment, the candidate is expected to gradually contribute to state of the art teaching. The candidate also contributes to the pedagogic project of the faculty/university. He/she develops teaching in accordance with KU Leuven’s vision on activating and research‐based education and makes use of the possibilities for the educational professionalization offered by the faculty and the university. The assignment of the candidate to be appointed also includes a teaching assignment in computer science and secure systems Service Scientific, societal and internal services (administrative and/or institutional) are also part of the assignment. Requirements * You have a PhD in Computer Science, or an equivalent degree. If you have recently obtained your PhD, it is important that you support your research and growth potential with academic references. * You have a strong research profile in the field and an indisputable research integrity. * The quality of your research is proven by publications in leading international journals and conferences. * International research experience is considered as an important advantage. * You have demonstrable qualities related to academic education. Teaching experience is a plus. * You possess organizational skills and have a cooperative attitude. You also have leadership skills within a university context. * Your spoken and written English is excellent. The official administrative language used at KU Leuven is Dutch. If you do not speak Dutch (or do not speak it well) at the start of employment, KU Leuven will provide language training to enable you to take part in administrative meetings. Before teaching courses in Dutch or English, you will be given the opportunity to learn Dutch resp. English to the required standard. Offer * We offer full-time employment in an intellectually challenging environment. KU Leuven is a research-intensive, internationally oriented university that carries out both fundamental and applied scientific research. Our university is highly inter- and multidisciplinary focused and strives for international excellence. In this regard, we actively collaborate with research partners in Belgium and abroad. We provide our students with an academic education that is based on high-quality scientific research. * Depending on your qualifications and academic experience, you will be appointed to or tenured in one of the grades of the senior academic staff: assistant professor, associate professor, professor or full professor. In principle, junior researches are appointed as assistant professor on the tenure track for a period of 5 years; after this period and a positive evaluation, they are permanently appointed as an associate professor. * You will work in Leuven, a historic and dynamic and vibrant city located in the heart of Belgium, within twenty minutes from Brussels, the capital of the European Union, and less than two hours from Paris, London and Amsterdam. * KU Leuven is well set to welcome foreign professors and their family and provides practical support with regard to immigration and administration, housing, childcare, learning Dutch, partner career coaching, … * In order to facilitate scientific onboarding and accelerate research in the first phase a starting grant of 100.000 euro is offered to new professors without substantial other funding and appointed for at least 50%. Interested? More information on the content of the job can be obtained from the academic contact person Prof. dr. Danny Hughes (danny.hughes at kuleuven.be, tel. +32 16 32 82 87). More information can be found on https://www.kuleuven.be/personeel/jobsite/jobs/55627646 More information on the guidelines, regulations and application file is available from Ms. Kristin Vermeylen (kristin.vermeylen at kuleuven.be , tel. +32 16 32 09 07) or Ms. Christelle Maeyaert (christelle.maeyaert at kuleuven.be , tel. +32 16 31 41 94). KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR at kuleuven.be. -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Aug 24 20:38:28 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 24 Aug 2020 20:38:28 +0200 Subject: [fg-arc] TPNC 2020: call for posters Message-ID: <545102060a010b02045454030306555e51050c075657550455070a540050000403555151525d5602065650040302075d@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: From matcastellan at cs.stonybrook.edu Tue Aug 25 21:45:41 2020 From: matcastellan at cs.stonybrook.edu (Matthew Castellana) Date: Tue, 25 Aug 2020 15:45:41 -0400 Subject: [fg-arc] Workshop on Logic and Practice of Programming Message-ID: Dear Colleagues, This is the call for position papers and participation for the 2020 Workshop on Logic and Practice of Programming (https://2020.splashcon.org/home/lpop-2020), to be held in conjunction with SPLASH 2020. The goal of the workshop is to bring together the best people and best languages, tools, and ideas to help improve logic languages for the practice of programming and improve the practice of programming with logic and declarative programming. We plan to organize the workshop around a number of “challenge problems”, including in particular expressing a set of system components and functionalities clearly and precisely using a chosen description language. We will have invited talks by four wonderful people: Adnan Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There will be additional presentations and discussion panels on using well-known description methods and tools. We will aim to group presentations of description methods by the kind of problems that they address, and to allow ample time to understand the strengths of the various approaches and how they might be combined. Potential participants are invited to submit a position paper (1 or 2 pages in PDF format), and also to state whether they wish to present a talk at the workshop, explaining how they would express the challenge problems. Because we intend to bring together researchers from many parts of logic and declarative languages and practice of programming communities, it is essential that all talks be accessible to non-specialists. The program committee will invite attendees based on the position paper submissions and will attempt to accommodate presentation requests, but in ways that fit with the broader organizational goals outlined above. Instructions for preparing a position paper appears below. Please submit your position paper through this EasyChair submission URL: https://easychair.org/conferences/?conf=lpop2020 *Preparing your position paper*: To streamline the exchange of ideas, you may consider using a challenge software domain: the domain of Role-Based Access Control. It was created for LPOP 2018, as described in http://lpop.cs.stonybrook.edu/preparing-your-position-paper, but it was only solved in part by various groups, as described in http://lpop.cs.stonybrook.edu/workshop-report (also https://arxiv.org/abs/2008.07901). We are also working to create RBAC data for running experiments. *Submission deadline*: Friday Sep 4, 2020 Best Regards, David Warren, SUNY Stony Brook Peter Van Roy, Université catholique de Louvain Annie Liu, SUNY Stony Brook -------------- next part -------------- An HTML attachment was scrubbed... URL: From fm-announcements at lists.nasa.gov Thu Aug 27 15:51:35 2020 From: fm-announcements at lists.nasa.gov (Munoz, Cesar (LARC-D320) via fm-announcements) Date: Thu, 27 Aug 2020 13:51:35 +0000 Subject: [fg-arc] [fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Message-ID: <79FE9E4F-BB04-4706-81B1-C9E8CB3ACFBA@nasa.gov> Certified Programs and Proofs (CPP) 2021: Final Call for Papers --- Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2021 (https://popl21.sigplan.org/home/CPP-2021) will be held on 18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. NEWS * CPP 2021 will feature Distinguished Paper Awards. * CPP 2021 will take place on January 18-19, 2021 as a virtual or hybrid physical-virtual meeting. This means that the authors will be able to present their papers online. The POPL and CPP organizers are monitoring the COVID-19 situation, and in September/October they will make an announcement on whether there will also be a physical meeting in Copenhagen; but irrespective of that decision, the online paper presentation option will be guaranteed. * The submission deadline is one month earlier than usual. IMPORTANT DATES * Abstract Deadline: 16 September 2020 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 22 September 2020 at 23:59 AoE (UTC-12h) * Notification: 24 November 2020 * Camera Ready Deadline: 15 December 2020 * Conference: 18-19 January 2021 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * formally verified blockchains and smart contracts; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal certification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2021 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2021.hotcrp.com The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format (http://www.sigplan.org/Resources/Author/) using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2021 will employ a lightweight double-blind reviewing process. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors' own related work should be in the third person (e.g., not "We build on our previous work ..." but rather “We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. POPL has answers to frequently asked questions addressing many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We encourage the authors to provide any supplementary material that is required to support the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (totally or partly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The limit for the camera-ready version is 14 pages, excluding the bibliography (so 2 pages extra compared with the submission). The CPP proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option 1, which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv (https://arxiv.org) or HAL (https://hal.archives-ouvertes.fr). This is anyway a good idea for timely dissemination even if you chose option (1). Ensuring timely dissemination is particularly important for this edition, since, because of the very tight schedule, the official proceedings might not be available in time for CPP. The official CPP 2021 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM's take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). PROGRAM COMMITTEE Cătălin Hriţcu, MPI-SP, Germany (co-chair) Andrei Popescu, University of Sheffield, UK (co-chair) Reynald Affeldt, National Institute of Advanced Industrial Science and Technology (AIST), Japan June Andronick, CSIRO's Data61 and UNSW, Australia Arthur Azevedo de Amorim, Carnegie Mellon University, USA Joachim Breitner, DFINITY Foundation, Germany Jesper Cockx, TU Delft, Netherlands Cyril Cohen, Université Côte d’Azur, Inria, France Nils Anders Danielsson, University of Gothenburg / Chalmers University of Technology, Sweden Brijesh Dongol, University of Surrey, UK Floris van Doorn, University of Pittsburgh, USA Yannick Forster, Saarland University, Germany Shilpi Goel, Centaur Technology, Inc., USA Chung-Kil Hur, Seoul National University, South Korea Moa Johansson, Chalmers University of Technology, Sweden Ekaterina Komendantskaya, Heriot-Watt University, UK Angeliki Koutsoukou-Argyraki, University of Cambridge, UK Robert Y. Lewis, Vrije Universiteit Amsterdam, Netherlands Hongjin Liang, Nanjing University, China Andreas Lochbihler, Digital Asset GmbH, Switzerland Petar Maksimović, Imperial College London, UK William Mansky, University of Illinois at Chicago, USA Anders Mörtberg, Stockholm University, Sweden Sam Owre, SRI International, USA Karl Palmskog, KTH Royal Institute of Technology, Sweden Johannes Åman Pohjola, CSIRO's Data61 / University of New South Wales, Australia Damien Pous, CNRS, ENS Lyon, France Tahina Ramananandro, Microsoft Research, USA Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore Natarajan Shankar, SRI International, USA Kathrin Stark, Princeton University, USA René Thiemann, University of Innsbruck, Austria Amin Timany, Aarhus University, Denmark Josef Urban, Czech Technical University in Prague, Czech Republic Christoph Weidenbach, MPI-INF, Germany Freek Wiedijk, Radboud University Nijmegen, Netherlands Yannick Zakowski, University of Pennsylvania, USA CONTACT For any questions please contact the two PC chairs: Catalin Hritcu , Andrei Popescu -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 7429 bytes Desc: not available URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From abela at chalmers.se Mon Aug 31 11:35:51 2020 From: abela at chalmers.se (Andreas Abel) Date: Mon, 31 Aug 2020 11:35:51 +0200 Subject: [fg-arc] BOPL / PPDP 2020 call for participation (register until 3 Sep) Message-ID: <88b6211f-3902-a187-373f-cfbec55e55ec@chalmers.se> CALL FOR PARTICIPATION: BOPL 2020 Bologna Federated Conference on Programming Languages September 7-10, 2020 Online at https://bopl.cs.unibo.it Registration deadline: September 3, 2020 Registration fee: 30 euros. The Bologna Federated Conference on Programming Languages brings together four top level international conferences related to programming languages and software architectures: - PPDP: 22nd International Symposium on Principles and Practice of Declarative Programming - LOPSTR: 30th International Symposium on Logic-Based Program Synthesis and Transformation - WFLP: 28th International Workshop on Functional and Logic Programming - 3rd International Conference on Microservices 2020 The program will include a plenary talk by Josè Meseguer and an industrial session with talks by representatives of leading companies. The overall program is available at https://bopl.cs.unibo.it/events. Due to the ongoing COVID-19 situation, BOPL 2020 will be held online. Please, refer to the attending page https://bopl.cs.unibo.it/attending.html for instructions concerning how to register and how to join the sessions of the conference. For any specific request please use the contact form at https://bopl.cs.unibo.it/contact. ------------------------------------------------------------------------------------------------------------ Publicity Chair of BOPL 2020 Stefano Pio Zingaro, PhD Dept. of Computer Science and Engineering Univ. of Bologna -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www.cse.chalmers.se/~abela/ From lpandolfo at uniss.it Mon Aug 31 16:56:12 2020 From: lpandolfo at uniss.it (Laura Pandolfo) Date: Mon, 31 Aug 2020 16:56:12 +0200 Subject: [fg-arc] [ICLP 2020] Autumn School - Call for participation Message-ID: <45c31cdf-a798-822e-e86e-0d844eaf2279@uniss.it> [Apologies for cross-posting] [Please redistribute] The organization of the autumn school on logic and constraint programming invites you to participate in this year’s school (September, 18-19, virtually in Calabria), co-located with ICLP. It promises to be an interesting session -- for students, as well as for more senior researchers -- in which Marc Denecker discusses the *informal semantics* of logic programs (is negation-as-failure actually classical?), Peter Stuckey takes on the role of Trojan horse, convincing us to use *Minizinc* instead of logic programming, Martin Gebser provides unique insights in the magic he uses for tackling *industrial applications* with answer set programming, and Elena Bellodi will probably talk about *probabilistic logic programming*. The courses will be run as a hybrid model in which the first two hours are thought live, and for the last two hours, a recording will be made available. The abstracts of these talks are included below. Registration is included in the ICLP registration and can be done via https://iclp2020.unical.it/registration (early bird registration ends at September 13th) The talks will be a mixture of live sessions and pre-recorded videos. More information will be made available on https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming?authuser=0 Spread the word, and we hope to see you soon in virtual Calabria. Best regards, Daniela Inclezan, Gopal Gupta, and Bart Bogaerts -------------------------------- *Martin Gebser (Klagenfurt University): Applications of Answer Set Programming** **Abstract:* Answer Set Programming (ASP) is a paradigm of knowledge representation and reasoning that has become a popular means for declarative problem solving. The basic idea is to represent a complex application problem by a logic program such that specific interpretations, called answer sets, correspond to problem solutions. Powerful off-the-shelf ASP systems, such as clingo, dlv and idp, automate the problem solving process by first grounding a general problem encoding relative to an instance given by facts, and then performing Boolean constraint solving to compute (optimal) answer sets. The application areas of ASP include a variety of domains ranging from artificial intelligence, databases, mathematical and scientific fields to industrial use cases. For instance, the clingo system has been utilized for radio spectrum reallocation in the first-ever incentive auction conducted by the Federal Communications Commission, which in 2016 yielded about 20 billion dollars revenue. Likewise, the dlv system has been deployed as a core tool in enterprise software for e-medicine, e-tourism, intelligent call routing and workforce management. Last but not least, the idp system has been harnessed for interactive configuration in the banking sector. Starting from the expressive modeling language, this tutorial presents and illustrates central features making ASP attractive for solving application problems. We particularly demonstrate the proficient usage of optimization, which is of crucial importance in virtually all realistic settings. Beyond traditional single-shot solving, we also outline recent advancements in multi-shot solving, driving the application of ASP in dynamic areas like automated planning, robotics control and stream reasoning. *Marc Denecker (KU Leuven): On the  informal semantics of knowledge representation languages and the case of Logic Programming.** **Abstract:* The  informal semantics of a formal language aims to explain the ``intuitive'' meaning of the logical symbols, and of the formulas and theories of the language. In the context of a KR language, it aims to express the knowledge conveyed by formulas and theories about the application domain, in a precise and systematic way.  It is a controversial concept.  In formal science, one often  avoids to talk about such soft informal topics. For this reason, many may prefer to view  a (declarative) formal language as a tool to encode computational problems. In that view, the question of its informal ``intuitive'' semantics seems of no scientific relevance. Strictly speaking,  the meaning of negation as failure is not a scientific question here. In this course, we will view a formal KR language as a formal study of certain types of knowledge. The question of its informal semantics then becomes the corner stone of such a study, as it relates the formal entities (the formulas) to the informal objects that they intend to represent (the knowledge). The  scientific thesis of such a study   is then that a formal semantics correctly formalizes the informal semantics. The course starts with some considerations on viewing a formal language as a  formal study of some forms of knowledge. The discussion is based on, a.o., Poppers ideas of formal science. The  goal of this discussion is to derive insights  needed to understand the current status of informal semantics  in Logic Programming, and instruments to analyze it. In the second part of the lecture, we apply the above ideas and instruments on Logic Programming. A brief historical overview is given on the topic of informal semantics.  Three main ideas for informal semantics were proposed: the Closed World Assumption by Ray Reiter, logic programs as definitions by Keith Clark, and the (auto)epistemic/default interpretation by Michael Gelfond. We then analyze these informal semantics using the instruments introduced in the first part: where these informal semantics agree and disagree, how they were formalized, how to interpret semantical objects, what is the meaning of negation and the rule operator in them and which informal semantics applies in the context of concrete examples. The last part of the lecture is devoted to (inductive) definitions and the definitional view of LP. We argue that it is the most precise and the most widely applicable. Definitions extend CWA but are more precise and more general. They are not equivalent with the epistemic view and neither subsumes the other. But there are more applications for definitions than for epistemic theories.  In the view of logic programs as definitions, we argue that negation is classical but the rule operator is not (which confirms what Clark suggested long ago). We recall Harel's critique on completion semantics for expressing inductive definitions, and give  the proof that in general, inductive definitions cannot be expressed  in FO. We discuss the integration of definitional knowledge with the knowledge representation paradigm of classical logic, as it was done in the logic FO(ID). We end with considering what the declarative view of a logic program as a definition can contribute in the view of LP as a programming language, as a query language and as a KR language. *Peter Stuckey (Monash University): MiniZinc for high-level solver-independent modelling** **Abstract: *In this tutorial we will introduce you to modelling discrete optimization problems using MiniZinc. MiniZinc allows you to model a discrete optimization problem without committing to a particular  solver or solver technology.  Thus you can avoid committing to the wrong solver technology to your problem. MiniZinc supports Constraint Programming, Mixed Integer Programming, Boolean SATisfiability, SAT Modulo Theories and Constraint-Based Local Search solvers. The tutorial will cover basic modelling, modelling viewpoints, and debugging models. The tutorial will involve a series of hands-on tasks using MiniZinc. *Elena Bellodi (University of Ferrara): Probabilistic Logic Programming** **Abstract:* Recently much work in Machine Learning has concentrated on representation languages able to combine aspects of logic and probability, in order to model domains characterized by both complex and uncertain relationships among entities. Machine Learning approaches based on such combinations have recently achieved important results, originating the fields of Statistical Relational Learning, Probabilistic Logic Programming and, more generally, Statistical Relational Artificial Intelligence. The course will concentrate on Probabilistic Logic Programming (PLP), which has received an increasing attention for its ability to incorporate probability in Logic Programming. Among various proposals for PLP, the one based on the distribution semantics has gained popularity being at the basis of many PLP languages. The course will describe syntax and semantics for the main PLP languages under the distribution semantics, and overview several systems for inference and learning. Then, it will provide an overview of hybrid Probabilistic Logic Programs, in which random variables may be both discrete and continuous. The course will present the main application areas and will include a hands-on experience with the PLP system cplint using the web application http://cplint.eu. -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Aug 31 23:51:07 2020 From: irdta at irdta.eu (IRDTA) Date: Mon, 31 Aug 2020 23:51:07 +0200 Subject: [fg-arc] SLSP 2020: call for posters Message-ID: <545102060a010b0204555001030b535e540456580108550756030106055502000158530f020c09000354550a00575104@grlmc_ip-zone_com-6> SLSP 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ********************************************************************************** The 8th International Conference on Statistical Language and Speech Processing (SLSP 2020) invites researchers to submit poster presentations. SLSP 2020 will be held in Cardiff on October 14-16, 2020. See  https://irdta.eu/slsp2020/ 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, 2020 Notification of poster acceptance or rejection: September 14, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=slsp2020 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 2020. However, they will be eligible for submission to the post-conference journal special issue in Language Resources and Evaluation (Springer, JCR 2018 impact factor: 1.029). REGISTRATION At least one author of each accepted poster must register to the conference by September 21, 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: