From steffen.becker at informatik.uni-stuttgart.de Sun Sep 1 10:28:03 2019 From: steffen.becker at informatik.uni-stuttgart.de (Steffen Becker) Date: Sun, 1 Sep 2019 10:28:03 +0200 Subject: [fg-arc] =?utf-8?q?Fwd=3A_=5BGifbswtfgl=5D_Fwd=3A_Informatik_Spe?= =?utf-8?q?ktrum_-_Ihre_Beitr=C3=A4ge?= In-Reply-To: <41ad2bc8-f47a-aef6-0466-8ee8f504a3f0@kit.edu> References: <41ad2bc8-f47a-aef6-0466-8ee8f504a3f0@kit.edu> Message-ID: fyi -------- Weitergeleitete Nachricht -------- Betreff: Informatik Spektrum - Ihre Beiträge Datum: Thu, 29 Aug 2019 09:58:14 +0000 Von: Cornelia Winter An: Cornelia Winter Sehr geehrte Damen und Herren, liebe Sprecherinnen und Sprecher der GI-Gliederungen,   wie gewohnt bitte ich Sie hiermit um Ihre Beiträge zum Informatik Spektrum (Heft 6/2019), das voraussichtlich im Dezember 2019  erscheinen wird. Gefragt sind KURZE (!) Tagungsankündigungen (max. 500 Zeichen) und -berichte (max. 1.500 Zeichen), Neues aus den Gliederungen (Wahlen, Preisverleihungen, Ankündigung von Treffen, Aktionen...).  Bitte leiten Sie diese E-Mail auch an die Sprecher/innen Ihrer Fachausschüsse, Fachgruppen etc. weiter.   Ansonsten gilt wie immer: Ich freue mich auf Nachrichten, insbesondere auch bebilderte. Bitte bei Bildern auf eine ausreichende Auflösung (mindestens 300 dpi) achten, eine Bildunterschrift und die Quelle angeben. *Redaktionsschluss ist der 17. September 2019, das Heft erscheint im Dezember 2019.*   Danke und viele Grüße     Cornelia Winter M.A. Geschäftsführerin   Gesellschaft für Informatik e.V. (GI) ------------------------------------------- Zentrale im Wissenschaftszentrum Ahrstr. 45 53175 Bonn Tel.: +49 228 302-145 Fax: +49 228 302-167 E-Mail: bonn at gi.de   Hauptstadtbüro im Spreepalais am Dom Anna-Louisa-Karsch-Str.2 10178 Berlin Tel.: +49 30 7261566-15 Fax: +49 30 7261566-19  E-Mail: berlin at gi.de Web: www.gi.de ------------------------------------------- Cornelia Winter Tel.: +49 228 302-145 E-Mail: cornelia.winter at gi.de   Informationen zu Ihren Rechten und zum Datenschutz bei der GI finden Sie unter https://gi.de/datenschutz/. -------------- next part -------------- _______________________________________________ GIFbSwtFgl mailing list -- gifbswtfgl at lists.gi.de To unsubscribe send an email to gifbswtfgl-leave at lists.gi.de From shang at encs.concordia.ca Tue Sep 3 21:52:35 2019 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Tue, 3 Sep 2019 15:52:35 -0400 Subject: [fg-arc] 2nd round Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2019 Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ICPE 2020 International Conference on Performance Engineering ( https://icpe2020.spec.org/). A nomination consists of *one* PDF file less than *20MB* that must include the following information in this order: - A *nomination letter* with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. - A *C.V. of the nominee* (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. - The *dissertation* itself, including a one-page extended abstract of the dissertation. If the dissertation is written in language other than English, it may be accompanied by publications, in English, describing the same research as the dissertation. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations that have been defended between *October 2018 and September 2019*. If there are several outstanding submissions, the committee may split the award between them. The *submission deadline is September 30, 2019*. Nominations are welcome at any time before the final submission deadline. Questions about the application process can be e-mailed to *nominations at spec dot org*.* Nominations should be uploaded to EasyChair *( https://easychair.org/my/conference?conf=spec2019award). The nomination can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. Selection committee: - Chair: Daniel A. Menascé (George Mason University, USA) - Danilo Ardagna (Politecnico di Milano, Italy) - Lucy Cherkasova (ARM Research, USA) - William Knottenbelt (Imperial College, UK) - Ningfang Mi (Northeastern University, USA) - Dorina Petriu (Carleton University, Canada) - Ramya Raghavendra (IBM Thomas J. Watson Research Center, USA) - Johan Tordsson (Umeå University and Elastisys, Sweden) -------------- next part -------------- An HTML attachment was scrubbed... URL: From yittong at cs.stonybrook.edu Mon Sep 2 21:38:40 2019 From: yittong at cs.stonybrook.edu (Yi Tong) Date: Mon, 2 Sep 2019 15:38:40 -0400 Subject: [fg-arc] PADL 2020 Call for Papers Message-ID: 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) https://popl20.sigplan.org/home/PADL-2020,20-21 January 2020, New Orleans, Louisiana, United States Co-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative languages* is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020* especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 - Symposium dates: 20 - 21 January 2020 Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system: https://easychair.org/conferences/?conf=padl2020 All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared. PADL 2020 will accept both technical and application papers: *Technical papers* must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references). *Application papers* are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. The limit for application papers is 8 pages but such papers can also point to sites with supplemental information about the application or the system that they describe. *The proceedings of PADL 2020 will appear in the LNCS series of Springer Verlag: https://www.springer.com/gp/computer-science/lncs .* Journal Publication for Best Papers The best papers (as selected by the PC chairs) will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming, and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The authors of these papers will be invited to submit a journal version containing at least 30% new material. This will be reviewed by the PC and/or the respective journal editors for a swifter reviewing process of the journal version. Such extensions could be explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work and such like. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Sep 3 12:27:26 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 3 Sep 2019 13:27:26 +0300 Subject: [fg-arc] 23rd Pan-Hellenic Conference on Informatics (PCI 2019): Final Call for Papers Message-ID: *** FINAL CALL FOR PAPERS *** 23rd Pan-Hellenic Conference on Informatics (PCI 2019) University of Nicosia, Nicosia, Cyprus, November 28-30, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IEZpbmFsIENhbGwgZm9yIFBhcGVycwk0MTcJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.unic.ac.cy%2Fpci2019 *** Submission Deadline: September 17, 2019 (extended) *** *** Proceedings to be published by ACM ICPS *** The University of Nicosia, the University of Cyprus, the Open University Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November 28-30, 2019. PCI 2019 aims to provide an effective channel of communication among researchers, practitioners, decision-makers and entities concerned with the latest research, scientific development and practice on ICT to discuss current, state-of-the-art topics that are of relevance and significance for national competitiveness as well as for sustainable, robust and equitable regional development. Submissions to PCI 2019 might cover, but are not limited, to the following topics: · Algorithms & Data Structures · Artificial Intelligence · Bioinformatics · Bio & Nature Inspired Computing · Blockchain Technologies · Cloud Computing · Communication & Information Systems Security and Privacy · Computational Science · Computer & Communication Networks · CRM & ERP Systems · Databases · Data Mining · Digital Libraries · Digital Systems · Distributed Computing · eCommerce, eBusiness, eHealth · Telecommunication Systems · Wireless & Mobile Computing · Learning Technologies · Graphics, Visualization, Multimedia & Virtual Reality · Grid, Cluster & P2P Computing · Hardware & Architecture · Embedded Systems · Human-Computer Interaction · Image and Video Processing · Information Retrieval · Information Society: Legal and Regulatory Issues · Information Systems · Information Theory · Knowledge Based Systems · Numerical & Scientific Computation · Open Source Software · Operating Systems · Parallel & Distributed Systems · Programming Languages · Signal Processing · Software Engineering PCI 2019 encourages the submission of high quality papers with original content in the following tracks: · Research Paper: full paper (8 pages) describing original and unpublished results of conceptual, empirical, experimental, or theoretical work in all areas of Computer Science. · Research Project Results: extended abstract (2 pages) presenting the results of funded completed or ongoing research projects at national or European level. · Industry: extended abstract (2 pages) presenting novel industrial solutions, success stories, and challenges that are encountered in an industry setting when adopting IT technologies. Templates for submissions can be found at the ACM SIG proceedings website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IEZpbmFsIENhbGwgZm9yIFBhcGVycwk0MTcJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Papers should be submitted via EasyChair using the following link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IEZpbmFsIENhbGwgZm9yIFBhcGVycwk0MTcJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dpci2019 . The submitted research papers and extended abstracts will be peer-reviewed on the basis of technical quality, relevance to scope of PCI, originality, significance, and clarity. Note that submitted papers should have neither been published nor submitted for publication elsewhere. The working language of the conference is English and the papers should be written in that language. As in previous years, the final version of the research papers accepted for presentation at PCI 2019 will be published by ACM in the ICPS Series and will be included in the ACM Digital library. The accepted extended abstracts will be allocated either a demo or poster slot during the conference. At least one author of each accepted paper or abstract is expected to register, attend the conference and present their contribution. Invited Speakers · Professor George Chrysanthou · Professor George Giaglis Important Dates · Paper submission deadline:                         September 17, 2019 (extended) · Notification of paper acceptance/rejection: October 17, 2019 · Submission of camera ready papers:           October 24, 2019 · Author registration:                                    October 24, 2019 Organization General Chairs · Yannis Manolopoulos, Open University Cyprus, Cyprus · George Angelos Papadopoulos, University of Cyprus, Cyprus · Athena Stassopoulou, University of Nicosia, Cyprus Program Chairs · Ioanna Dionysiou, University of Nicosia, Cyprus · Ioannis Kyriakides, University of Nicosia, Cyprus · Nicolas Tsapatsoulis, Cyprus University of Technology, Cyprus Local Advisory Committee · Demetris Trihinas (chair, University of Nicosia) · Achilleas Achilleos (Frederick University Cyprus) · Panayiotis Andreou (University of Central Lancashire-Cyprus) · Christodoulos Efstathiades (European University Cyprus) · Angelika Kokkinaki (University of Nicosia) · Ioannis Krikidis (University of Cyprus) · Jahna Otterbacher (Open University Cyprus) · Vicky Papadopoulou (European University Cyprus) · Nearchos Paspallis (University of Central Lancashire-Cyprus) · Michalis Sirivianos (Cyprus University of Technology) · Stavros Stavrou (Open University Cyprus) · Demetris Zeinalipour (University of Cyprus) Proceedings Editor · Harald Gjermundrod (University of Nicosia) Steering Committee · Christos Douligeris (Greek Computer Society) · Nikitas Karanikolas (Greek Computer Society) · Christos Koilias (Greek Computer Society) · Cleo Sgouropoulou (Greek Computer Society) · Ioannis Voyatzis (chair, Greek Computer Society) -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Sep 3 00:20:46 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 03 Sep 2019 00:20:46 +0200 Subject: [fg-arc] BigDat 2020: early registration September 7 Message-ID: <545102060a010b020050550a0400565e575504590b0100590402580205045a0303550305000b55070254555355535906@grlmc_ip-zone_com-6> BigDat 2020: early registration September 7*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: September 7, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Sanchita Bhattacharya (University of California, San Francisco), [introductory/advanced] Big Data in Immunology: Sharing, Dissemination, and Repurposing   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Sheelagh Carpendale (University of Calgary), [introductory] Data Visualization   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Bamshad Mobasher (DePaul University), [intermediate] Context-aware Recommender Systems   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [introductory/intermediate] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From shang at encs.concordia.ca Tue Sep 3 21:28:40 2019 From: shang at encs.concordia.ca (Weiyi(Ian) Shang) Date: Tue, 3 Sep 2019 15:28:40 -0400 Subject: [fg-arc] 2nd round Call-for-Nominations: SPEC Kaivalya Dixit Distinguished Dissertation Award 2019 Message-ID: The SPEC Kaivalya Dixit Distinguished Dissertation Award aims to recognize outstanding doctoral dissertations in the field of computer benchmarking, performance evaluation, and experimental system analysis in general. Nominated dissertations will be evaluated in terms of scientific originality, scientific significance, practical relevance, impact, and quality of the presentation. The SPEC Research Group promotes research in quantitative system evaluation and analysis both with classical performance metrics – such as response time, throughput, scalability and efficiency, as well as other extra-functional system properties included under the term dependability – such as availability, reliability, and security. Contributions of interest span the design of metrics for system evaluation as well as the development of methodologies, techniques and tools for measurement, load testing, profiling, workload characterization, dependability and efficiency evaluation of computing systems. The winner will receive $1000, which will be awarded at the ICPE 2020 International Conference on Performance Engineering ( https://icpe2020.spec.org/). A nomination consists of *one* PDF file less than *20MB* that must include the following information in this order: - A *nomination letter* with the name of the student, the title of the dissertation, the institution where the dissertation was defended, and the date of the defense. The nomination letter should outline the outstanding contributions of the dissertation and should not exceed 2 pages (letter size) using 11 point font. - A *C.V. of the nominee* (up to three pages) that clearly marks all publications/technical reports that are included in the dissertation. - The *dissertation* itself, including a one-page extended abstract of the dissertation. If the dissertation is written in language other than English, it may be accompanied by publications, in English, describing the same research as the dissertation. SPEC Kaivalya Dixit Distinguished Dissertation Award is open to dissertations that have been defended between *October 2018 and September 2019*. If there are several outstanding submissions, the committee may split the award between them. The *submission deadline is September 30, 2019*. Nominations are welcome at any time before the final submission deadline. Questions about the application process can be e-mailed to *nominations at spec dot org*.* Nominations should be uploaded to EasyChair *( https://easychair.org/my/conference?conf=spec2019award). The nomination can be provided by anyone except the thesis author. Typically, it is the thesis advisor or a member of the thesis defense committee, but other people – especially experts in performance evaluation – can do so as well. Selection committee: - Chair: Daniel A. Menascé (George Mason University, USA) - Danilo Ardagna (Politecnico di Milano, Italy) - Lucy Cherkasova (ARM Research, USA) - William Knottenbelt (Imperial College, UK) - Ningfang Mi (Northeastern University, USA) - Dorina Petriu (Carleton University, Canada) - Ramya Raghavendra (IBM Thomas J. Watson Research Center, USA) - Johan Tordsson (Umeå University and Elastisys, Sweden) -------------- next part -------------- An HTML attachment was scrubbed... URL: From hammerc6 at gmail.com Sat Sep 7 06:49:55 2019 From: hammerc6 at gmail.com (Christian Hammer) Date: Sat, 7 Sep 2019 06:49:55 +0200 Subject: [fg-arc] Promotionsstellen/Postdocs in Softwareanalyse, Browser- oder Mobilesicherheit Message-ID: Mit der Bitte um Weiterleitung an interessierte/geeignete Personen. -- Prof. Dr.-Ing. Christian Hammer Software Engineering – University of Potsdam https://www.uni-potsdam.de/cs-se/ Promotionsstellen/Postdocs in Softwareanalyse, Browser- oder Mobilesicherheit Die Professur Software Engineering am Institut für Informatik der Universität Potsdam hat ab Herbst 2019 offene Promotionsstellen. Die Stellen werden nach E13-TVL vergütet. Unsere Gruppe unterstützt aktiv die Zusammenarbeit mit anderen Forschungszentren weltweit und bietet jungen Forschern ein ideales Arbeitsumfeld. Potsdam liegt verkehrsgünstig in der Nähe der deutschen Hauptstadt Berlin und bietet eine hervorragende Anbindung an die öffentlichen Verkehrsmittel und andere Verkehrsverbindungen. Berlin ist die Drehscheibe der deutschen und europäischen Startup-Szene und ein kultureller Hotspot. Die Potsdam Graduate School bietet Unterstützung in den Bereichen Karriereentwicklung, (Reise-) Finanzierung und Vernetzung an. Die Gruppe Software Engineering forscht zu verschiedenen Aspekten der mobilen und Browser-Sicherheit und zum Schutz der Privatsphäre sowie zugehöriger Programmanalysen. Zu den Themen von besonderem Interesse gehören Informationsflusskontrolle, statische Programmanalyse, Laufzeitüberwachung, Design von Programmiersprachen sowie Grundlagenforschung und angewandte Forschung für Android (Java) und JavaScript. Bewerber müssen einen Master-Abschluss in Informatik oder eng verwandten Forschungsdisziplinen mit sehr guten Noten abgeschlossen haben (oder kurz davor stehen). Interesse an den folgenden Bereichen ist von Vorteil, weitergehende Kenntnisse in zwei Bereichen wäre ideal: Programmanalyse (statisch / dynamisch), Compiler / VM-Technologie, Programmiersprachen und deren Semantik, sprachbasierte Sicherheit Bewerbungen von selbst-motivierten Studierenden sollten ein Anschreiben, einen Lebenslauf, Kopien der Zeugnisse und Zertifikaten sowie Namen von Referenzgebern bzw. direkt Empfehlungsschreiben enthalten. Bewerbungen werden angenommen, bis die Stellen besetzt sind. -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Sep 10 01:20:36 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 10 Sep 2019 01:20:36 +0200 Subject: [fg-arc] LATA 2020: 2nd call for papers Message-ID: <545102060a010b02005150010006595e0652010451090502560b080302575a5854595705570802010852030257075400@grlmc_ip-zone_com-6> LATA 2020: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ************************************************************************* 14th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS   LATA 2020   Milan, Italy   March 2-6, 2020   Co-organized by:             Department of Informatics, Systems and Communication University of Milano-Bicocca   and   Institute for Research Development, Training and Advice Brussels/London   https://lata2020.irdta.eu *************************************************************************   AIMS:   LATA is a conference series on theoretical computer science and its applications. LATA 2020 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.   VENUE:   LATA 2020 will take place in Milan, the third largest economy among European cities and one of the Four Motors for Europe.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, 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 will consist of:   invited talks peer-reviewed contributions   INVITED SPEAKERS:   Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization   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) 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) Tero Harju (University of Turku, FI) Jeffrey Heinz (Stony Brook University, US) Lane A. Hemaspaandra (University of Rochester, US) Marcin Jurdziński (University of Warwick, UK) Juhani Karhumäki (University of Turku, FI) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) François Le Gall (Kyoto University, JP) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) 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) Tomáš Vojnar (Brno University of Technology, CZ) Mikhail Volkov (Ural Federal University, RU) James Worrell (University of Oxford, UK)   ORGANIZING COMMITTEE:   Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) 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.   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=lata2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   https://lata2020.irdta.eu/registration   DEADLINES (all at 23:59 CET):   Paper submission: October 18, 2019 Notification of paper acceptance or rejection: November 25, 2019 Final version of the paper for the LNCS proceedings: December 2, 2019 Early registration: December 2, 2019 Late registration: February 17, 2020 Submission to the journal special issue: June 6, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGMENTS:   Università degli Studi di Milano-Bicocca   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From luis.magdalena at gmail.com Thu Sep 12 13:10:13 2019 From: luis.magdalena at gmail.com (LUIS MAGDALENA) Date: Thu, 12 Sep 2019 13:10:13 +0200 Subject: [fg-arc] Deadlines approaching: 24th European Conference on Artificial Intelligence (ECAI 2020) Message-ID: <62b0a666-604d-bfc2-6d62-5cbb6188cdf6@gmail.com> ** Please accept our apologies for cross-posting ** ** It would be highly appreciated if you could disseminate this CFP among your colleagues ** ---------------------------------------------------------------------------- Some DEADLINES of the 24th European Conference on Artificial Intelligence (ECAI 2020) are APPROACHING. Please find below the overall Call for Papers, but particularly consider these deadlines: + WORKSHOP Proposal submission will close by October 30, 2019 + ECAI2020 Abstract submission will close by November 15, 2019 + PAIS Abstract submission will close by November 21, 2019 ECAI 2020 will take place in Santiago de Compostela from June 8 to 12, 2020. For additional information visit www.ecai2020.eu. CALL FOR PAPERS =============== The biennial European Conference on Artificial Intelligence (ECAI) is Europe's premier venue for presenting scientific results in AI. Under the general theme "Paving the way towards Human-Centric AI", the 24th edition of ECAI will be held in Santiago de Compostela, a UNESCO's World Heritage City which is the destination of unique Routes that cross all Europe since the Middle Ages. The conference dates are 10-12 June 2020, with the workshops taking place on 8-9 June. Save these dates! The Program Committee of the 24th European Conference on Artificial Intelligence (ECAI 2020) invites the submission of papers for the technical programme of the Conference. High-quality original submissions are welcome from research results and applications of all areas of AI. The following list of topics is indicative; other topics are welcome. - Agent-based and Multi-agent Systems (MAS) - Computational Intelligence (CI) - Constraints and Satisfiability (CS) - Games and Virtual Environments (GAME) - Heuristic Search (HEU) - Human Aspects in AI (HAI) - Information Retrieval and Filtering (IRF) - Knowledge Representation and Reasoning (KRR) - Machine Learning (ML) - Multidisciplinary Topics and Applications (MULT) - Natural Language Processing (NLP) - Planning and Scheduling (PLAN) - Robotics (ROB) - Safe, Explainable, and Trustworthy AI (XAI) - Semantic Technologies (SEM) - Uncertainty in AI (UAI) - Vision (VIS) The Call for Papers is available at http://ecai2020.eu/call-for-papers/mainconference/ WORKSHOPS, TUTORIALS AND OTHER EVENTS ------------------------------------- In addition to its full programme of technical papers, ECAI2020 will feature many AI-related events for researchers, students and all attendants who are interested on contemporary AI. Separate calls have been issued for: - Workshop proposals, CFP available at http://ecai2020.eu/call-for-papers/workshops/ - Tutorial proposals, CFP available at http://ecai2020.eu/call-for-papers/tutorials/ - PAIS 2020, the Prestigious Applications of Intelligent Systems conference, CFP available at http://ecai2020.eu/call-for-papers/pais/ - STAIRS 2020, the Starting AI Researcher Symposium, CFP available at http://ecai2020.eu/call-for-papers/stairs/ In addition, other AI-related events will be announced, specially addressing the role of AI in Europe (and vice-versa) with special focus on the Conference general theme. Among these, The Frontiers in AI track sessions, the Lab To Market event, the Women in AI Breakfast and the EU Challenges forum. Futhermore, ECAI2020 will have a special focus on Starting Researchers, who will be able to participate in an specific program including the Doctoral Consortium, the Three Minutes Thesis Competition, the Lunch with an EurAI Fellow and the Job Fair. SOME IMPORTANT DATES -------------------- ECAI2020 Abstract submission: November 15, 2019 ECAI2020 Paper submission: November 19, 2019 ECAI2020 Notification of acceptance/rejection: January 15, 2020 WORKSHOP Proposal submission: October 30, 2019 WORKSHOP Proposal notification: November 28, 2019 TUTORIAL Proposal Submission: February 20, 2020 TUTORIAL Acceptance Notification: March 20, 2020 PAIS Abstract submission: November 21, 2019 PAIS Paper submission: November 26, 2019 PAIS Notification of acceptance/rejection: January 20, 2020 ORGANIZATION ------------ The Conference is hosted by the European Association for Artificial Intelligence (EurAI) and the Spanish AI Society (AEPIA). ECAI 2020 is organized by the Intelligent Systems Group (GSI) and the Research Centre in Intelligent Technologies (CiTIUS), University of Santiago de Compostela. SYNERGIES WITH OTHER CONFERENCES -------------------------------- ECAI 2020 is coordinating with AAMAS 2020 and ICAPS 2020 to exploit synergies. Details will be announced very soon at the Website. CONTACT AND UPDATES ------------------- Updates will be regularly published at the Conference Website: www.ecai2020.eu Follow us in Twitter @ECAI2020 -- Luis Magdalena ECAI2020 Publicity Chair www.ecai2020.eu From matthias.gudemann at gmail.com Thu Sep 12 22:48:30 2019 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Thu, 12 Sep 2019 22:48:30 +0200 Subject: [fg-arc] Extendend Deadline Software Verification and Testing at ACM/SIGAPP SAC2020 Message-ID: 35th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Brno, Czech Republic March 30 - April 3, 2020 http://www.sigapp.org/sac/sac2020/ SAC SVT 2020 Website : http://guedemann.org/svt2020/ Important dates =============== Sep. 29, 2019 - Submission of regular papers and SRC research abstracts Nov. 24, 2019 - Notification of paper / SRC abstract acceptance/rejection Dec. 09, 2019 - Camera-ready copies of accepted papers/SRC Dec. 10, 2019 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2020 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place in Brno, Czech Republic. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). The length of a poster is limited to three pages (plus one extra page may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2020 proceedings. Paper registration is required, allowing the inclusion of papers/posters in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. It is planned to arrange a journal special issue after the conference. Student Research Competition ============================ As previous editions, SAC 2020 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2020/. SAC-SVT Program Committee Chairs =============================== Matthias Güdemann, IOHK, Hong Kong Nikolai Kosmatov, CEA List, France SAC-SVT Program Committee ========================= - Wolfgang Ahrendt, Chalmers University, Sweden - Sébastien Bardin, CEA, France - Ezio Bartocci, TU Vienna, Austria - Radu Calinescu, University of York, UK - Maxime Cody, University of Luxembuorg, Luxembuorg - Christian Colombo, University of Malta, Malta - Lucas Cordeiro, University of Manchester, UK - Cristina David, University of Cambridge, UK - Giovanni Denaro, University of Milano Bicocca, Milano, Italy - Tom van Dijk, University of Twente, Netherlands - Cathérine Dubois, ENSIIE, France - Gidon Ernst, LMU Munich, Germany - Yliès Falcone, University Grenoble Alpes, Inria, France - Carlo A. Furia, Università della Svizzera Italiana, Switzerland - Maria del Mar Gallardo, University of Malaga, Spain - Matthias Güdemann, IOHK, Hong Kong - Sylvain Hallé, Université du Québec à Chicoutimi, Canada - Ralf Huuck, The University of New South Wales, Australia - Nikolai Kosmatov, CEA List, France - Thierry Jéron, Inria, France - Maurizio Leotta, University of Genoa, Italy - Martin Leucker, University of Lübeck, Germany - Stefan Leue, University of Konstanz, Germany - Frédéric Loulergue, Northern Arizona University, USA - Mercedes Merayo, Universidad Complutense de Madrid, Spain - Brian Nielsen, Aalborg University, Denmark - Peter Csaba Ölveczky, University of Oslo, Norway - Jun Pang, University of Luxembourg, Luxembourg - Mike Papadakis, University of Luxembourg, Luxembourg - Antoine Rollet, Bordeaux INP, LaBRI, France - Gwen Salaün, University Grenoble Alpes, Inria, France - Julien Signoles, CEA, France - Marjan Sirjani, Malardalen University, Sweden - Anton Wijs, Technische Universiteit Eindhoven, Netherlands - Burkhart Wolff, University Paris-Sud, LRI, France - Rongxin Wu, University of Science and Technology, Hong Kong - Cemal Yilmaz, Sabancı University, Turkey - Fatiha Zaïdi, University of Paris-Sud, France From announce at cs.ucy.ac.cy Fri Sep 13 10:15:14 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 13 Sep 2019 11:15:14 +0300 Subject: [fg-arc] 23rd Pan-Hellenic Conference on Informatics (PCI 2019): Last Mile for Paper Submission Message-ID: <5FZX174T-1JMY-AOIW-0AZF-EJWQMPSROPH@cs.ucy.ac.cy> *** LAST MILE FOR PAPER SUBMISSION *** 23rd Pan-Hellenic Conference on Informatics (PCI 2019) University of Nicosia, Nicosia, Cyprus, November 28-30, 2019 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgk0MjAJTGlzdHMJOTkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.unic.ac.cy%2Fpci2019 *** Submission Deadline: September 17, 2019 *** *** Proceedings to be published by ACM ICPS *** The University of Nicosia, the University of Cyprus, the Open University Cyprus and the Greek Computer Society organize the 23rd Pan-Hellenic Conference on Informatics (PCI 2019) in Nicosia, Cyprus on November 28-30, 2019. PCI 2019 aims to provide an effective channel of communication among researchers, practitioners, decision-makers and entities concerned with the latest research, scientific development and practice on ICT to discuss current, state-of-the-art topics that are of relevance and significance for national competitiveness as well as for sustainable, robust and equitable regional development. Submissions to PCI 2019 might cover, but are not limited, to the following topics: · Algorithms & Data Structures · Artificial Intelligence · Bioinformatics · Bio & Nature Inspired Computing · Blockchain Technologies · Cloud Computing · Communication & Information Systems Security and Privacy · Computational Science · Computer & Communication Networks · CRM & ERP Systems · Databases · Data Mining · Digital Libraries · Digital Systems · Distributed Computing · eCommerce, eBusiness, eHealth · Telecommunication Systems · Wireless & Mobile Computing · Learning Technologies · Graphics, Visualization, Multimedia & Virtual Reality · Grid, Cluster & P2P Computing · Hardware & Architecture · Embedded Systems · Human-Computer Interaction · Image and Video Processing · Information Retrieval · Information Society: Legal and Regulatory Issues · Information Systems · Information Theory · Knowledge Based Systems · Numerical & Scientific Computation · Open Source Software · Operating Systems · Parallel & Distributed Systems · Programming Languages · Signal Processing · Software Engineering PCI 2019 encourages the submission of high quality papers with original content in the following tracks: · Research Paper: full paper (8 pages) describing original and unpublished results of conceptual, empirical, experimental, or theoretical work in all areas of Computer Science. · Research Project Results: extended abstract (2 pages) presenting the results of funded completed or ongoing research projects at national or European level. · Industry: extended abstract (2 pages) presenting novel industrial solutions, success stories, and challenges that are encountered in an industry setting when adopting IT technologies. Templates for submissions can be found at the ACM SIG proceedings website: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgk0MjAJTGlzdHMJOTkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.acm.org%2Fpublications%2Fproceedings-template . Papers should be submitted via EasyChair using the following link: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkyM3JkIFBhbi1IZWxsZW5pYyBDb25mZXJlbmNlIG9uIEluZm9ybWF0aWNzIChQQ0kgMjAxOSk6IExhc3QgTWlsZSBmb3IgUGFwZXIgU3VibWlzc2lvbgk0MjAJTGlzdHMJOTkJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dpci2019 . The submitted research papers and extended abstracts will be peer-reviewed on the basis of technical quality, relevance to scope of PCI, originality, significance, and clarity. Note that submitted papers should have neither been published nor submitted for publication elsewhere. The working language of the conference is English and the papers should be written in that language. As in previous years, the final version of the research papers accepted for presentation at PCI 2019 will be published by ACM in the ICPS Series and will be included in the ACM Digital library. The accepted extended abstracts will be allocated either a demo or poster slot during the conference. At least one author of each accepted paper or abstract is expected to register, attend the conference and present their contribution. Invited Speakers · Professor George Chrysanthou · Professor George Giaglis Important Dates · Paper submission deadline:                         September 17, 2019 · Notification of paper acceptance/rejection: October 17, 2019 · Submission of camera ready papers:           October 24, 2019 · Author registration:                                    October 24, 2019 Organization General Chairs · Yannis Manolopoulos, Open University Cyprus, Cyprus · George Angelos Papadopoulos, University of Cyprus, Cyprus · Athena Stassopoulou, University of Nicosia, Cyprus Program Chairs · Ioanna Dionysiou, University of Nicosia, Cyprus · Ioannis Kyriakides, University of Nicosia, Cyprus · Nicolas Tsapatsoulis, Cyprus University of Technology, Cyprus Local Advisory Committee · Demetris Trihinas (chair, University of Nicosia) · Achilleas Achilleos (Frederick University Cyprus) · Panayiotis Andreou (University of Central Lancashire-Cyprus) · Christodoulos Efstathiades (European University Cyprus) · Angelika Kokkinaki (University of Nicosia) · Ioannis Krikidis (University of Cyprus) · Jahna Otterbacher (Open University Cyprus) · Vicky Papadopoulou (European University Cyprus) · Nearchos Paspallis (University of Central Lancashire-Cyprus) · Michalis Sirivianos (Cyprus University of Technology) · Stavros Stavrou (Open University Cyprus) · Demetris Zeinalipour (University of Cyprus) Proceedings Editor · Harald Gjermundrod (University of Nicosia) Steering Committee · Christos Douligeris (Greek Computer Society) · Nikitas Karanikolas (Greek Computer Society) · Christos Koilias (Greek Computer Society) · Cleo Sgouropoulou (Greek Computer Society) · Ioannis Voyatzis (chair, Greek Computer Society) -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Sep 17 00:36:00 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 17 Sep 2019 00:36:00 +0200 Subject: [fg-arc] TPNC 2019: call for posters Message-ID: <545102060a010b020051560b0402555e565f50510507555452520e025353570404535003505c020b0354575655565454@grlmc_ip-zone_com-6> TPNC 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 6th International Conference on the Theory and Practice of Natural Computing (TPNC 2019) invites researchers to submit poster presentations. TPNC 2019 will be held in Kingston, Ontario on December 9-11, 2019. See  https://tpnc2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on computational principles, models and techniques inspired by information processing in nature are invited. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: November 2, 2019 Notification of poster acceptance or rejection: November 9, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=tpnc2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS proceedings volume of TPNC 2019. However, they will be eligible for submission to the post-conference journal special issue in Natural Computing (Springer, 2018 JCR impact factor: 0.860). REGISTRATION At least one author of each accepted poster must register to the conference by November 25, 2019. The registration fare is reduced: 285 Euros. It gives the same rights all other conference participants will have (attendance, copy of the proceedings volume, coffee breaks, lunches). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From S.S.T.Q.Jongmans at cwi.nl Tue Sep 17 10:25:49 2019 From: S.S.T.Q.Jongmans at cwi.nl (Sung-Shik Jongmans) Date: Tue, 17 Sep 2019 10:25:49 +0200 (CEST) Subject: [fg-arc] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam Message-ID: <1115149025.4803935.1568708749248.JavaMail.zimbra@cwi.nl> ** ** Call for Participation: FACS 2019 ** ** 16th International Conference on ** Formal Aspects of Component Software ** ** 23-25 October 2019, Amsterdam ** ** http://facs2019.org ** ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## PROGRAM > http://facs2019.org/program < Invited Speakers: * Carlo Ghezzi (Polytechnic University of Milan) * Kim Larsen (Aalborg University) * Wan Fokkink (Vrije Universiteit Amsterdam) Tutorial: * Jan Friso Groote & Tim Willemse: mCRL2 (Eindhoven University of Technology) Accepted papers: * Reynaldo Cobos Mendez, Julio de Oliveira Filho, Douwe Dresscher and Jan Broenink. A Bond-graph Metamodel: Physics-based Interconnection of Software Components * Arpit Sharma. Revisiting Trace Equivalences For Markov Automata * Lars Luthmann, Hendrik Göttmann and Malte Lochau. Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata * Timm Liebrenz, Paula Herber and Sabine Glesner. A Service-oriented Approach for Decomposing and Verifying Hybrid System Models * Achim D. Brucker and Michael Herzberg. A Formally Verified Model of Web Components * Petra van den Bos and Frits Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs * Kadir Bulut, Guy-Vincent Jourdan and Uraz Cengiz Turker. Minimizing characterizing sets: hardness and effect on test derivation from systems modelled as finite state machines * Habtom Kahsay Gidey, Alexander Collins and Diego Marmsoler. Modeling and Verifying Dynamic Architectures with FACTum Studio * Peter Zeller, Annette Bieniusa and Arnd Poetzsch-Heffter. Combining state- and event-based semantics to verify highly available programs * Kasper Dokter. Multilabeled Petri Nets * Tobias Reiher, Alexander Senier, Jeronimo Castrillon and Thorsten Strufe. RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers * Christopher Esterhuyse and Hans-Dieter Hiep. Reowolf: Synchronous Multi-Party Communication over the Internet ## VENUE FACS 2019 will be held at Centrum Wiskunde & Informatica (CWI), Amsterdam, the Netherlands. ## REGISTRATION > http://facs2019.org/registration < * Early: until 4 October (AoE) * Late: from 5 October From fioretto.ferdinando at isye.gatech.edu Thu Sep 19 03:00:05 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Thu, 19 Sep 2019 01:00:05 +0000 Subject: [fg-arc] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested ** PhD Positions in Privacy-Preserving Distributed Artificial Intelligence ** Two funded PhD positions are available in the area of Privacy-preserving Distributed Machine Learning. The PhD candidate will work under the supervision of Prof. Ferdinando Fioretto at the EECS Department, Syracuse University. The position start date is flexible, with a start date as early as January 2020. The PhD candidate is committed to conduct independent and original research, to report on this research in international publications and conference presentations, and to describe the results of the research in a PhD dissertation. ** Topic Description ** The recent surge in optimization and machine learning research, in particular, deep learning, paved the way for a number of applications, many of which use privacy-sensitive user data. The resulting models have been shown to often reveal private user information, which may harm individual users. To contrast these risks, a new line of research aims at developing variants of optimization and ML algorithms that preserve the privacy of the individuals contained in the used datasets. Additionally, there is an increasing interest in leveraging distributed data shared across organizations to augment AI-powered services. Examples include transportation services, sharing location-based data to improve on-demand capabilities, and hospitals, sharing data to prevent epidemic outbreaks. The proliferation of these applications lead to a transition from proprietary data acquisition and processing to data ecosystems where different agents learn and make decisions using data owned by different organizations, boosting the need for privacy-preserving technologies. The project focuses broadly on protecting the privacy of individuals without losing the benefits of large scale data analysis. Topics of interest include: - Privacy-preserving technology, such as Differential Privacy and secure multi-party computation - Distributed Machine Learning - Privacy-preserving Multiagent Systems - Privacy-Preserving Adversarial Deep Learning Models The project will combine fundamental aspects of privacy, optimization and distributed computation to design algorithms that perform (distributed) machine learning and decision making while guaranteeing they do not violate privacy. The ideal candidate will have a strong background and interest in machine learning, privacy-preserving technologies, and/or multi-agent systems. Publications in leading international venues (such as AAAI, IJCAI, AAMAS, ICML, NeurIPS) will be an advantage. ** To Apply ** Applications should be submitted at ffiorett at syr.edu and candidates should include their resume and transcript (if available). -------------- next part -------------- An HTML attachment was scrubbed... URL: From stefano.forti at di.unipi.it Wed Sep 25 18:19:49 2019 From: stefano.forti at di.unipi.it (Stefano Forti) Date: Wed, 25 Sep 2019 18:19:49 +0200 Subject: [fg-arc] ICFC 2020 - Call for Papers Message-ID: <001b01d573bd$10282fe0$30788fa0$@di.unipi.it> (Our apologies if you receive multiple copies of this CFP) ========================================================================= Call for Papers 2020 IEEE International Conference on Fog Computing (ICFC 2020) April 21-24, 2020 - Sydney, Australia Website: https://sites.google.com/view/icfc2020/ Submission: https://easychair.org/conferences/?conf=icfc2020 Co-located with CPS-IoT Week (https://www.cse.unsw.edu.au/~cpsiot/cpsweek2020/) ========================================================================= Important Dates * Submission registration and abstract: October 16, 2019 * Full paper submission: October 23, 2019 * Acceptance notification: January 20, 2020 * Camera-ready papers due: March 30, 2020 * Conference: April 21-24, 2020 Context and Scope Fog computing is the extension of cloud computing into its edge and the physical world to meet the data volume and decision velocity requirements in many emerging applications, such as augmented and virtual realities (AR/VR), cyber-physical systems (CPS), intelligent and autonomous systems, and mission-critical systems. The boundary between powerful centralized cloud and massively distributed, Internet connected sensors, actuators, and "things" is blurred in this new computing paradigm. The 2020 IEEE International Conference on Fog Computing (ICFC 2020), co-located with the CPS-IoT Week 2020 in Sydney, April 21-24, 2020, brings together researchers and practitioners across academia, industry, and governments to exchange visions, technical challenges, and research outcomes in a single forum. ICFC takes a broad view of Fog Computing, including computation, connectivity, mobility, sensing and actuation, theories, and systems. ICFC topics of interest include but are not limited to: * System architecture for fog computing * Coordination between cloud, fog, and sensing/actuation endpoints * Connectivity, storage, and computation in the edge * Data processing and management for fog computing * Efficient and embedded AI in the fog * System and network manageability * Middleware and coordination platforms * Power, energy, and resource management * Device and hardware support for fog computing * Programming models, abstractions, and software engineering for fog computing * Security, privacy, and ethics issues related to fog computing * Theoretical foundations and formal methods for fog computing systems * Applications and practical experiences Manuscript Guidelines and Submission Authors are invited to submit original unpublished research manuscripts that demonstrate current research in all areas of fog computing. Manuscripts are submitted in PDF format and are limited to 6 single-spaced double-column pages (plus at most 2 extra pages) using 10-point size font on 8.5x11 inch pages, including figures, tables, and references. Please refer to IEEE proceedings templates (https://www.ieee.org/conferences/publishing/templates.html) for templates and complete formatting instructions. Manuscripts are submitted via the Easychair Conference Management System: https://easychair.org/conferences/?conf=icfc2020 All manuscripts will be reviewed and judged on correctness, originality, technical strength, rigour in analysis, quality of results, quality of presentation, and interest and relevance to the conference attendees. The conference proceedings will be published by the IEEE and included in IEEEXplore. We invite you to visit the ICFC Call for Papers page (https://sites.google.com/view/icfc2020/call-for-papers) for more information. Organization General Chairs - Erol Gelenbe, IITIS, Polish Academy of Science, Poland - Jie Liu, Microsoft Research Program Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Song Guo, The Hong Kong Polytechnic University, Hong Kong Publicity Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Stefano Forti, University of Pisa, Italy Publication Chairs - Vincenzo De Maio, Vienna University of Technology, Austria - Javid Taheri, Karlstad University, Sweden Workshop Chair - David Bermbach, TU Berlin, Germany Technical Program Committee The international programme committee is listed on https://sites.google.com/view/icfc2020/program-commitee ========================================================== Follow ICFC 2020 on: Twitter: https://twitter.com/icfc2020/ Facebook: https://m.facebook.com/icfc2020/ ========================================================== -- Questa e-mail è stata controllata per individuare virus con Avast antivirus. https://www.avast.com/antivirus From yittong at cs.stonybrook.edu Mon Sep 23 16:08:55 2019 From: yittong at cs.stonybrook.edu (Yi Tong) Date: Mon, 23 Sep 2019 10:08:55 -0400 Subject: [fg-arc] Practical Aspects of Declarative Languages PADL2020: 2nd CFP Message-ID: 22nd International Symposium on Practical Aspects of Declarative Languages (PADL 2020) https://popl20.sigplan.org/home/PADL-2020,20-21 January 2020, New Orleans, Louisiana, United States Co-located with ACM POPL 2020 ( https://popl20.sigplan.org/) ------------------------------ *Declarative languages* is an umbrella term that include functional, logic, and constraint programming languages. These languages have been successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to challenging problems raise intriguing research questions, such as scalable design and implementation, language extensions for application deployment, and programming environments. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages for software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical languages and extensions such as probabilistic and reactive languages *PADL 2020* especially welcomes new ideas and approaches pertaining to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Important Dates and Submission Guidelines: - Abstracts due: 11 October 2019 - Papers due: 18 October 2019 - Notification to authors: 18 November 2019 - Camera-ready: 29 November 2020 - Symposium dates: 20 - 21 January 2020 Submission instructions can be found at: https://popl20.sigplan.org/home/PADL-2020#Call-for-Papers Looking forward to receiving your submission, PADL19 PC members: https://popl20.sigplan.org/home/PADL-2020#About -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Sep 23 20:09:51 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 23 Sep 2019 20:09:51 +0200 Subject: [fg-arc] BigDat 2020: early registration October 2 Message-ID: <545102060a010b02005e55060e01595e510407560652530451010a00525301055d070502555b00070705040a00075756@grlmc_ip-zone_com-6> BigDat 2020: early registration October 2*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ********************************************************   6th INTERNATIONAL WINTER SCHOOL ON BIG DATA   BigDat 2020   Ancona, Italy   January 13-17, 2020   Co-organized by:   Department of Information Engineering, Marche Polytechnic University   Institute for Research Development, Training and Advice (IRDTA) Brussels / London   https://bigdat2020.irdta.eu/   ********************************************************   --- Early registration deadline: October 2, 2019 ---   ********************************************************   SCOPE:   BigDat 2020 will be a research training event with a global scope aiming at updating participants on the most recent advances in the critical and fast developing area of big data, which covers a large spectrum of current exciting research and industrial innovation with an extraordinary potential for a huge impact on scientific discoveries, medicine, engineering, business models, and society itself. Renowned academics and industry pioneers will lecture and share their views with the audience.   Most big data subareas will be displayed, namely foundations, infrastructure, management, search and mining, security and privacy, and applications (to biological and health sciences, to business, finance and transportation, to online social networks, etc.). Major challenges of analytics, management and storage of big data will be identified through 2 keynote lectures and 24 four-hour and a half courses, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 2020 is addressed to students, researchers and practitioners who want to keep themselves updated about recent developments and future trends. All will surely find it fruitful to listen and discuss with major researchers, industry leaders and innovators.   STRUCTURE:   3 courses will run in parallel during the whole event. Participants will be able to freely choose the courses they wish to attend as well as to move from one to another.   VENUE:   BigDat 2020 will take place in Ancona, a city founded by Greek settlers and today one of the main ports on the Adriatic Sea. The venue will be:   Department of Information Engineering Marche Polytechnic University Via Brecce Bianche 12 60131 Ancona   KEYNOTE SPEAKERS: (to be completed)   Jie Tang (Tsinghua University), Graph Embedding and Reasoning   PROFESSORS AND COURSES: (to be completed)   Sanchita Bhattacharya (University of California, San Francisco), [introductory/advanced] Big Data in Immunology: Sharing, Dissemination, and Repurposing   Diego Calvanese (Free University of Bozen-Bolzano), [introductory] Virtual Knowledge Graphs for Data Integration   Sheelagh Carpendale (University of Calgary), [introductory] Data Visualization   Nitesh V. Chawla (University of Notre Dame), [intermediate/advanced] Learning from Imbalanced Data   Amr El Abbadi (University of California, Santa Barbara), [introductory/intermediate] An Introduction to Blockchain   Charles Elkan (University of California, San Diego), [intermediate] A Rapid Introduction to Modern Deep Learning   Jiawei Han (University of Illinois, Urbana-Champaign), [advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Data Mining and Analysis in Big Microbiome Data   Craig Knoblock (University of Southern California), [intermediate/advanced] Building Knowledge Graphs   Wladek Minor (University of Virginia), [introductory/advanced] Big Data in Biomedical Sciences   Bamshad Mobasher (DePaul University), [intermediate] Context-aware Recommender Systems   Jayanti Prasad (Embold Technologies), [introductory/intermediate] Big Code   Lior Rokach and Bracha Shapira (Ben-Gurion University of the Negev), [introductory/intermediate] Recommender Systems   Peter Rousseeuw (KU Leuven), [introductory] Anomaly Detection by Robust Methods   Asim Roy (Arizona State University), [intermediate] Hardware-based (GPU, FPGA based) Machine Learning – An Overview of Algorithms and Implementation Ideas and Methods   Hanan Samet (University of Maryland), [intermediate] Multidimensional, Spatial, and Metric Data Structures for Sorting in Space and Similarity Searching   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Mayte Suárez-Fariñas (Icahn School of Medicine at Mount Sinai), [intermediate/advanced] Meta-analysis Methods for High-dimensional Data   Jeffrey Ullman (Stanford University), [introductory] Big-data Algorithms That Aren't Machine Learning   Wil van der Aalst (RWTH Aachen University), [introductory/intermediate] Process Mining: A Very Different Kind of Machine Learning That Can Be Applied in Any Organization   OPEN SESSION   An open session will collect 5-minute voluntary presentations of work in progress by participants. They should submit a half-page abstract containing title, authors, and summary of the research to david at irdta.eu by January 5, 2020.   INDUSTRIAL SESSION:   A session will be devoted to 10-minute demonstrations of practical applications of big data in industry. Companies interested in contributing are welcome to submit a 1-page abstract containing the program of the demonstration and the logistics needed. People participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   EMPLOYER SESSION:   Firms searching for personnel well skilled in big data will have a space reserved for one-to-one contacts. It is recommended to produce a 1-page .pdf leaflet with a brief description of the company and the profiles looked for, to be circulated among the participants prior to the event. People in charge of the search must register for the event. Expressions of interest have to be submitted to david at irdta.eu by January 5, 2020.   ORGANIZING COMMITTEE:   Emanuele Frontoni (Ancona, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair) Flavio Tonetto (Ancona, industrial chair) Domenico Ursino (Ancona, co-chair)   REGISTRATION:   It has to be done at   https://bigdat2020.irdta.eu/registration/   The selection of up to 8 courses requested in the registration template is only tentative and non-binding. For the sake of organization, it will be helpful to have an estimation of the respective demand for each course. During the event, participants will be free to attend the courses they wish.   Since the capacity of the venue is limited, registration requests will be processed on a first come first served basis. The registration period will be closed and the on-line registration facility disabled when the capacity of the venue is exhausted. It is highly recommended to register prior to the event.   FEES:   Fees comprise access to all courses and lunches. There are several early registration deadlines. Fees depend on the registration deadline.   ACCOMMODATION:   Suggestions for accommodation will be available in due time.   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Sep 29 15:24:23 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 29 Sep 2019 16:24:23 +0300 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Third Call for Papers Message-ID: *** Third Call for Papers *** 14th International Conference on Research Challenges in Information Science (RCIS 2020) Royal Apollonia Beach Hotel 5*, Limassol, Cyprus May 20-22, 2020, Limassol, Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwk0MjMJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Frcis-conf.com%2F Abstract submission deadline: January 20, 2020 Paper submission deadline: January 27, 2020 (AoE) (Proceedings to be published by Springer; Special Issue in DKE) SCOPE AND TOPICS RCIS aims to bring together scientists, researchers, engineers and practitioners from a wide range of information science fields and to provide opportunities for knowledge sharing and dissemination. RCIS 2020 will continue paying attention to traditional topics at the conference; in addition, we solicit submissions aligned the special theme of Information Science in the Days of Artificial Intelligence. We understand AI in a broad sense, including machine learning, self-adaptation, logic-based reasoning, automation, agents and multiagent systems, natural language processing, etc. RCIS welcomes submissions from the whole spectrum of the information science field. The list of themes and topics includes, but is not limited to: Information Systems and their Engineering · Requirements Engineering · Software Testing · Information Security and Risk · Method Engineering User-Oriented Approaches · Social Computing and Social Network Analysis · User-Centred Design · Collaborative Computing · Human Factors in Information Systems Data and Information Management · Databases and Information · Information Search and Discovery · Conceptual Modelling and Ontologies Business Process Management · Business Process Engineering and Reengineering · Process Mining · Enterprise Engineering Domain-specific IS Engineering · E-Health, e-Government, e-Commerce, ... · Industry 4.0 · Web-Based Applications and Services · Smart Cities Data Science · Big Data & Business Analytics · Decision Information Systems · Knowledge Management · Knowledge Discovery from Data Information Infrastructures · Cyber-Physical Systems · Web Information Systems · Grid Computing and Cloud Computing · Internet of Things · Pervasive and Mobile Computing Reflective Research and Practice · Research Methodologies in Information Science · Impact of Information on the Enterprise and the Individual · Lifecycle Models · Design Science and Rationale Tutorials, Doctoral Consortium, Posters & Demos will complement the main conference. RCIS STEERING COMMITTEE Saïd Assar; Marco Bajec; Pericles Loucopoulos; Haralambos Moratidis; Selmin Nurcan; Oscar Pastor; Jolita Ralyté; Colette Rolland. SUBMISSION PROCESS Papers shall be formatted according to the Springer LNCS/LNBIP conference proceedings template (for LaTeX and Word): http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwk0MjMJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Papers that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. Papers should be in English and must be associated to one of the following categories: Technical solution papers (max 16 pages Springer) present solutions that are novel or significantly improve existing approaches. A technical solution paper must include a preliminary validation of the proposed solution, and results must be stated clearly enough so that it is possible to validate them in follow-up research. Evaluation papers (max 16 pages Springer) evaluate existing problem situations or validate proposed solutions through scientific means, i.e., by empirical studies, experiments, case studies, simulations, mathematical proofs, etc. The research method must be sound and appropriate. Industrial practice and experience papers (max 16 pages Springer) thoroughly present problems or challenges encountered in practice, elaborate on success or failure with existing approaches, or report on industrial practice (e.g., methods and tools). A paper in this category shall provide a clear context, detail the problem or the industrial practice, and explain the lessons learned. Work in progress papers (max 8 pages Springer) present relevant preliminary results across the spectrum of information science. These papers can either present a novel technical solution, or report on a preliminary evaluation of a technique. Please note that the maximum length of the paper includes references, appendices, etc. The submission site is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIENhbGwgZm9yIFBhcGVycwk0MjMJTGlzdHMJMTQ0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.easychair.org%2Fconferences%2F%3Fconf%3Drcis2020 . By submitting a paper, the authors agree that at least one of them will register to the conference and present the paper. The appearance of a paper in the Springer proceedings is dependent on the registration of one author within the early registration deadline on March 31, 2020. SPECIAL ISSUE A selection of the best accepted papers of RCIS'20, chosen by a dedicated committee, will be invited to submit an extended version of the RCIS paper to the Data & Knowledge Engineering (DKE) journal published by Elsevier (https://www.journals.elsevier.com/data-and-knowledge-engineering). The selection of the papers to invite will be based on the review scores and arguments, and the potential for extension. IMPORTANT DATES · Regular paper submission deadline: January 27, 2020 (AoE) · Notification to authors and registration opening: March 15, 2020 · Author registration deadline for all paper types: March 31, 2020 · Camera-ready copy deadline for all paper types: March 31, 2020 · Conference: May 20-22, 2020 CONFERENCE COMMITTEES General Chairs · George A. Papadopoulos, University of Cyprus, Cyprus · Pericles Loucopoulos, Harokopio University of Athens, Greece Organising Chair · Petros Stratis, Easy Conferences LTD., Cyprus Program Chairs · Jelena Zdravkovic, Stockholm University, Sweden · Fabiano Dalpiaz, Utrecht University, Netherlands Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland -------------- next part -------------- An HTML attachment was scrubbed... URL: