From irdta at irdta.eu Sun Dec 1 14:35:37 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 01 Dec 2019 14:35:37 +0100 Subject: [fg-arc] BigDat 2020: early registration December 16 Message-ID: <545102060a010b020150520a0701505e0352535951520f0757500b050357500704070255035c5106565e505653565557@grlmc_ip-zone_com-6> BigDat 2020: early registration December 16*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: December 16, 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 22 four-hour and a half courses and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 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   PROFESSORS AND COURSES:   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 in the Presence of Class Imbalance and Changing Distributions   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   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Private Data Analytics at Scale   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate/advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Machine Learning Methods for Big Microbiome Data Analysis   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 That Exploits Massively Parallel Computing – An Overview of Concepts, Architectures and Neural Network Algorithm Implementation   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jaideep Srivastava (University of Minnesota), [introductory/intermediate] Social Computing   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 (remote)   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 are available at   https://bigdat2020.irdta.eu/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   CINI Big Data Laboratory   -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Mon Dec 2 08:04:24 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 2 Dec 2019 08:04:24 +0100 Subject: [fg-arc] [CfP] SAT2020 - The 23rd International Conference on , , Theory and Applications of Satisfiability Testing Message-ID: <3e0f79e9-4e82-912e-ea8b-1ff4d4a8973a@uniss.it> ******************** Call for Papers ********************            The 23rd International Conference on      Theory and Applications of Satisfiability Testing                        (SAT 2020)              5-9 July 2020, Alghero, Italy          http://sat2020.idea-researchlab.org/ ********************************************************* The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. *** Scope *** SAT 2020 welcomes scientific contributions addressing different aspects of the satisfiability problem, interpreted in a broad sense. Topics include, but are not restricted to: * Theoretical advances * Practical search algorithms * Knowledge compilation * Implementation-level details of SAT solving tools * Problem encodings and reformulations * Applications * Case studies based on rigorous experimentation *** Out of Scope *** Papers claiming to resolve a major long-standing open theoretical question in Mathematics or Computer Science (such as those for which a Millennium Prize is offered), are outside the scope of the conference because there is insufficient time in the schedule to referee such papers; instead, such papers should be submitted to an appropriate technical journal. *** Paper Categories *** Submissions to SAT 2020 are solicited in three categories, describing original contributions. * Long papers (9 to 15 pages, excluding references) * Short papers (up to 8 pages, excluding references) * Tool papers (up to 6 pages, excluding references) Long and short papers should contain original research, with sufficient detail to assess the merits and relevance of the contribution. For papers reporting experimental results, authors are strongly encouraged to make their data and implementations available with their submission. Submissions on applications and cases studies are especially welcome. Such papers should describe details, weaknesses and strengths of the considered approaches in sufficient depth, but they are not expected to introduce novel solving approaches. Tool papers must obey to specific content criteria. A tool paper should describe the implemented tool and its novel features. Here “tools” are interpreted in a broad sense, including descriptions of implemented solvers, preprocessors, etc. as well as systems that exploit SAT solvers or their extensions for use in interesting problem domains. A demonstration is expected to accompany a tool presentation. Papers describing tools that have already been presented previously are expected to contain significant and clear enhancements to the tool. Long and short papers will be evaluated with the same quality standards, and are expected to contain a similar contribution per page ratio. *** Submissions *** Submissions should not be under review elsewhere nor be submitted elsewhere while under review for SAT 2020, and should not consist of previously published material. Submissions not consistent with the above guidelines may be returned without review. All papers submissions are done exclusively via EasyChair in Springer’s LaTeX llncs2e style. One author of each accepted paper is expected to present it at the conference. Further details can be found at the website of SAT 2020: http://sat2020.idea-researchlab.org/ *** Proceedings *** The proceedings will be published by Springer in the series Lecture Notes in Computer Science, seewww.springer.com/lncs . *** Important Dates *** Workshops                July 5, 2020 Conference               July 6-9, 2020 Abstract submission      February 15, 2020 Paper submission         February 22, 2020 Author response period   March 29 – April 2, 2020 Author notification      April 18, 2020 Camera-ready             May 3, 2020 *** Organization *** Program Chairs * Luca Pulina, University of Sassari * Martina Seidl, Johannes Kepler University Linz Workshop Chair * Florian Lonsing, Stanford University Publicity Chair * Laura Pandolfo, University of Sassari Program Committee * Fahiem Bacchus, University of Toronto * Olaf Beyersdorff, Friedrich Schiller University Jena * Armin Biere, Johannes Kepler University Linz * Nikolaj Bjorner, Microsoft * Maria Luisa Bonet, Universitat Politècnica de Catalunya * Sam Buss, University of California San Diego * Florent Capelli, Université de Lille * Pascal Fontaine, Université de Liège, Belgium * Marijn Heule, Carnegie Mellon University * Alexey Ignatiev, Universidade de Lisboa * Mikolas Janota, University of Lisbon * Matti Järvisalo, University of Helsinki * Oliver Kullmann, Swansea University * Jie-Hong Roland Jiang, National Taiwan University * Jan Johannsen, Ludwig Maximilian University of Munich * Benjamin Kiesl, CISPA Helmholtz Center for Information Security * Daniel Le Berre, Université d’Artois * Florian Lonsing, Stanford University * Ines Lynce, Universidade de Lisboa * Vasco Manquinho, Universidade de Lisboa, Portugal * Felip Manyà, IIIA-CSIC * Joao Marques-Silva, University of Toulouse * Ruben Martins, Carnegie Mellon University * Kuldeep S. Meel, National University of Singapore * Alexander Nadel, Intel * Aina Niemetz, Stanford University * Jakob Nordstrom, University of Copenhagen * Markus N. Rabe, Google * Roberto Sebastiani, University of Trento * Natasha Sharygina, Università della Svizzera italiana * Laurent Simon, Bordeaux Institute of Technology * Friedrich Slivovsky, Vienna University of Technology * Stefan Szeider, Vienna University of Technology * Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg * Christoph M. Wintersteiger, Microsoft *** Contact *** For any questions, please contact sat2020 at easychair.org -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From sauer at upb.de Tue Dec 3 09:33:17 2019 From: sauer at upb.de (Stefan Sauer) Date: Tue, 3 Dec 2019 09:33:17 +0100 Subject: [fg-arc] =?utf-8?b?RnJpc3QgdmVybMOkbmdlcnQgKDEwLjEyLik6IDUuIFdv?= =?utf-8?q?rkshop_Modellbasierte_und_modellgetriebene_Softwaremodernisieru?= =?utf-8?q?ng_=28MMSM_2020=29_=40_Modellierung_2020?= Message-ID: Sehr geehrte Kolleginnen und Kollegen, wir haben die Einreichungsfrist für MMSM 2020 verlängert: Einreichungsfrist: 10. Dezember 2019 (NEU!) Gesucht: wissenschaftlich-technische Beiträge oder Praxis-/Erfahrungsberichte (6–12 Seiten im LNI-Format) _______________________________________________________________ *5. Workshop „Modellbasierte und modellgetriebene Softwaremodernisierung“* *(MMSM 2020)* _______________________________________________________________ gemeinsamer Workshop der Fachgruppe "Architekturen" sowie der Arbeitskreise „Langlebige Software-Systeme“ (L2S2) und „Traceability/Evolution“ akl2s2.ipd.kit.edu/veranstaltungen/mmsm2020/ im Rahmen der Konferenz Modellierung 2020 19. – 22. Februar 2020 in Wien modellierung2020.omilab.org *Aufruf zur Einreichung von Beiträgen* *Thema* Forderungen nach permanenter Änderbarkeit und nach verbesserten Qualitätseigenschaften von Softwaresystemen wie Performanz, Sicherheit und Zuverlässigkeit erfordern umfangreiche und regelmäßige Modernisierungsmaßnahmen. Zur Modernisierung zählen sowohl die Migration auf eine neue technische Plattform oder in eine andere Einsatzumgebung (Portierung) als auch Anpassung der Software zur Erfüllung geänderter funktionaler und nicht-funktionaler Anforderungen (Wartung oder Erweiterung). Diese Forderungen werden umso drängender, je wichtiger diese Systeme für Geschäftsprozesse und Produkte sind. Wegen der Kritikalität und der Größe vieler Systeme beinhaltet die Modernisierung sehr komplexe Aufgaben mit hohen Kosten und großen Risiken. Die Verwendung von Modellen kann helfen, die Komplexität zu beherrschen und durch frühzeitige Bewertung von Qualitätseigenschaften die Risiken zu verringern. Der Workshop dient der Identifikation neuer Forschungstrends auf Basis des aktuellen industriellen Bedarfs, der Suche nach geeigneten Ansätzen zur Problemlösung sowie zum Austausch von Erfahrungen mit modellbasierten und modellgetriebenen Techniken und Methoden für die Softwaremodernisierung. Er richtet sich an Wissenschaftler und Praktiker. Beiträge werden insbesondere zu der folgenden, nicht abschließenden Liste von Themen erwartet: -    Verbindung von Architekturmodellierung mit Anforderungsbeschreibung und Implementierung -    Transformationen von Architekturmodellen -    Methoden des Architektur-Reengineering -    Visualisierung von Architekturen -    Modellbasiertes Refactoring -    Architekturqualität -    Reengineering-Entscheidungen -    Modellierung von Traceability im Reengineering -    Konsistenzsicherung zwischen Anforderungen, Modellen und Code beim Roundtrip-Engineering -    Modellbasierte Komponenteninteroperabilitätsprüfung und -adaption -    Modellbasierte Integration und Migration *Einreichung und Publikation* Zum Workshop können sowohl wissenschaftlich-technische Beiträge als auch Praxis-/Erfahrungsberichte eingereicht werden. Sie sollen eine Länge von 6–12 Seiten im LNI-Format (Autorenrichtlinien: https://gi.de/service/publikationen/lni/) haben. Die eingereichten Beiträge werden von einem Programmkomitee begutachtet und für den Workshop ausgewählt. Die elektronische Einreichung der Beiträge im PDF-Format und die Begutachtung erfolgen über den zugehörigen Track der Modellierung 2020 in EasyChair (https://easychair.org/conferences/?conf=mod2020). Die akzeptierten Beiträge werden elektronisch im Workshop-Band der Modellierung 2020 publiziert (CEUR-WS, vgl. http://ceur-ws.org/Vol-2060/ für die Modellierung 2018). *Termine* Einreichung der Beiträge: 10. Dezember 2019 (NEU!) Benachrichtigung der Autoren: 18. Dezember 2019 Einreichung der Endfassung: 10. Januar 2020 Workshop: 19. Februar 2020 *Workshop-Format* Der eintägige Workshop im Programm der Konferenz „Modellierung 2020“ bietet neben Präsentationen der akzeptierten Beiträge Raum für viele Diskussionen. Insbesondere sollen mit den Teilnehmern/-innen aktuelle Forschungsfragen und Themen der Softwaremodernisierung in Wissenschaft und Praxis diskutiert werden. Eröffnet wird das Programm durch einen eingeladenen Vortrag. *Organisatoren* Stefan Sauer, Universität Paderborn [Kontakt] Steffen Becker, Universität Stuttgart Robert Heinrich, KIT Karlsruhe Marco Konersmann, Universität Koblenz-Landau Matthias Riebisch, Universität Hamburg *Kontakt*: sauer at sicp.upb.de From zimmer at informatik.uni-halle.de Wed Dec 4 10:50:05 2019 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Wed, 04 Dec 2019 10:50:05 +0100 Subject: [fg-arc] Unbefristete Stelle einer/eines wissenschaftlichen Mitarbeiterin/Mitarbeiters an der Uni Halle Message-ID: <7e380e97-cd2e-a85b-65be-15dbb52039c3@informatik.uni-halle.de> Externe Stellenausschreibung Reg.-Nr. 5-13053/19-H An der Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftlich Fakultät III, Institut für Informatik, ist ab dem 01.02.2020 die unbefristete Stelle einer*eines Wissenschaftlichen Mitarbeiterin*s (m-w-d) in Vollzeit (100 %) zu besetzen. Die Vergütung erfolgt je nach Aufgabenübertragung und Erfüllung der persönlichen Voraussetzungen bis zur Entgeltgruppe E13 TV-L Arbeitsaufgaben: • Forschungstätigkeit auf dem Gebiet der Arbeitsgruppe „Softwaretechnik und Programmiersprachen“ • Mitwirkung bei der Anbahnung, Beantragung, Durchführung und Verwaltung von Drittmittelprojekten in den genannten Bereichen • Beteiligung an der Lehre in den Studiengängen Bachelor und Master Informatik und Bioinformatik, insbes. im Bereich Softwaretechnik und Programmiersprachen sowie Einstiegsvorlesungen des ersten Semesters • Bei Bedarf Übernahme von ASQ-Modulen des Instituts für Informatik • Betreuung von Abschlussarbeiten • Beteiligung an der Planung und Durchführung von an Studienanfänger/innen gerichtet Brückenkurse • Beteiligung an der Planung und Durchführung von an Schüler/innen gerichtete Sommerschulen • Beteiligung an der Planung und Durchführung von IT-Industrietagen • Beteiligung an der Akademischen Selbstverwaltung Voraussetzungen: • Qualifizierter Hochschulabschluss in Informatik möglichst auf dem Gebieten Übersetzerbau und Programmiersprachen • Überdurchschnittliche Promotion im Fach Informatik • Nachgewiesene Forschung im Bereich Programmiersprachen • Gute Kenntnisse im Bereich Softwaretechnik erwünscht • Lehrerfahrung in diesen Bereichen, insb. In der Betreuung von Abschlussarbeiten • Gute bisherige Publikationsleistung • Absicht zur eigenen wissenschaftlichen weiteren Qualifikation (Habilitation) • Erfahrung und Interesse an interdisziplinärer Zusammenarbeit • Teamfähigkeit, Eigeninitiative, hohe Einsatzbereitschaft • Bereitschaft, Aufgaben der universitären Selbstverwaltung zu übernehmen • Sehr gute englische und deutsche Sprachkenntnisse in Wort und Schrift Bewerbungen von Schwerbehinderten werden bei gleicher Eignung und Befähigung bevorzugt berücksichtigt. Frauen werden nachdrücklich aufgefordert, sich zu bewerben. Bei Rückfragen wenden Sie sich bitte an Herrn Prof. Dr. Wolf Zimmermann Tel.: 0345 55-24712 E-Mail: wolf.zimmermann at informatik.uni-halle.de Ihre Bewerbung richten Sie bitte unter Angabe der Reg.-Nr. 5-13053/19-H mit den üblichen Unterlagen bis zum 12.12.2019 an die Martin-Luther-Universität Halle-Wittenberg, Naturwissenschaftliche Fakultät III, Institut für Informatik, Von-Seckendorff-Platz 1, 06120 Halle (Saale). Die Ausschreibung erfolgt unter Vorbehalt eventueller haushaltsrechtlicher Restriktionen. Bewerbungskosten werden von der Martin-Luther-Universität nicht erstattet. Bewerbungsunterlagen werden nur zurückgesandt, wenn ein ausreichend frankierter Rückumschlag beigefügt wurde. Eine elektronische Be-werbung ist erwünscht. From soldani at di.unipi.it Wed Dec 4 17:02:34 2019 From: soldani at di.unipi.it (Jacopo Soldani) Date: Wed, 4 Dec 2019 17:02:34 +0100 Subject: [fg-arc] ESOCC 2020 - 2nd CFP - deadlines extended Message-ID: <027301d5aabc$3e354630$ba9fd290$@di.unipi.it> CALL FOR PAPERS 8th European Conference on Service-Oriented and Cloud Computing (ESOCC 2020) April 1-3, 2020, Heraklion, Crete, Greece https://esocc-conf.eu === SCOPE === Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end-users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralized sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on-demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service-oriented and cloud computing in Europe. The main objectives of the conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented and cloud computing, as well as to explore new trends and foster future collaborations in Europe and beyond. === TRACKS === - Main conference: three days full of invited talks, panels, presentations of selected research papers, including a dedicated day to satellite workshops. - PhD Symposium: an opportunity for Ph.D. students to present their research activities and perspectives, to critically discuss them with other PhD students and with established researchers in the area, hence getting fruitful feedback and advices on their research activities - European Projects Track: a useful opportunity for researchers around Europe to disseminate the latest research developments in their projects and meet representatives of other consortia. Details about all the tracks are available at the conference web site: https://www.esocc-conf.eu === TOPICS OF INTEREST === ESOCC 2020 seeks original, high-quality papers related to all aspects of service-oriented and cloud computing. Specific topics of interest include, but are not limited to: - Service and Cloud Computing Models * Design patterns, guidelines and methodologies * Governance models * Architectural models * Requirements engineering * Formal Methods * Model-Driven Engineering * Quality models * Security, Privacy & Trust models * Self-Organizing Service-Oriented and Cloud Architectures Models * Testing models - Service and Cloud Computing Engineering * Service Discovery, Matchmaking, Negotiation and Selection * Monitoring and Analytics * Governance and management * Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions * Frameworks & Methods for Building Service and Cloud based Applications * Cross-layer adaptation * Edge/Fog computing * Cloud, Service Orchestration & Management * Service Level Agreement Management * Service Evolution/Optimisation * Service & Cloud Testing and Simulation * QoS for Services and Clouds * Semantic Web Services * Service mining * Service & Cloud Standards * FaaS / Serverless computing - Technologies * DevOps in the Cloud * Containerized services * Emerging Trends in Storage, Computation and Network Clouds * Microservices Design, Analysis, Deployment and Management * Next Generation Services Middleware and Service Repositories * RESTful Services * Service and Cloud Middleware & Platforms * Blockchain for Services & Clouds * Services and Clouds with IoT * Fog Computing with Service and Cloud - Business and Social aspects * Enterprise Architectures for Service and Cloud * Service-based Workflow Deployment & Life-cycle Management * Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities * Business Process as a Service - BPaaS * Service and Cloud Business Models * Service and Cloud Brokerage * Service and Cloud Marketplaces * Service and Cloud Cost & Pricing * Crowdsourcing Business Services * Social and Crowd-based Cloud * Energy issues in Cloud Computing * Sustainability issues === SUBMISSIONS === ESOCC 2020 invites submissions in all the tracks: - Regular research papers (15 pages) - Ph.D. Symposium (8 pages, authored by the PhD student with indication of his/her supervisors' names) - European Project Space (1-to-5 pages description of ongoing projects) We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the LNCS proceedings guidelines. They must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=esocc2020 by selecting the right track. All accepted papers of the main conference will be included in the conference proceedings published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). Upon request, accepted papers can be offered in open-access form. There is a high possibility that the accepted papers of the other tracks and the satellite workshops will be published on CCIS series of Springer (final approval pending) At least one author of each accepted paper is expected to register and present the work at the conference. ESOCC 2020 also invites proposals for satellite workshops. More details about the proposal format and submission can be found at: https://esocc-conf.eu/index.php/workshops === IMPORTANT DATES === Research & industrial papers: - Paper submission: December 13, 2019 - Notifications: January 12, 2020 - CR versions due: January 26, 2020 EU projects track: - Abstract submission: January 12, 2020 - Paper submission: January 24, 2020 - Notifications: February 21, 2020 PhD Symposium Track: * First Window: - Paper Submission: December 6, 2019 - Notification: January 7, 2020 - CR Versions due: January 23, 2020 * Second Window: - Paper Submission: January 24, 2020 - Notification: February 21, 2020 - CR Versions due: March 6, 2020 Satellite Workshops: - Workshop Proposal Submission: November 25, 2019 - Proposal Acceptance Notification: December 6, 2019 ESOCC 2020: April 1-3, 2020 === ORGANIZATION === General Chair Kyriakos Kritikos (ICS-FORTH, Greece) Programme Co-Chairs Antonio Brogi (University of Pisa, Italy) Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Industrial Track Chair Marco Aiello (University of Stuttgart, Germany) EU projects Track Chairs Giuliano Casale (Imperial College, UK) Pierluigi Plebani (Politecnico di Milano, Italy) Workshops Co-Chairs Christian Zirpins (University of Applied Sciences Karlsruhe, Germany) Iraklis Paraskakis (City College, Greece) PhD Symposium Co-Chairs Jacopo Soldani (University of Pisa, Italy) Massimo Villari (University of Messina, Italy) Program Committee Marco Aiello, University of Stuttgart, Germany Vasilios Andrikopoulos, University of Groningen, The Netherlands Farhad Arbab, CWI, The Netherlands Luciano Baresi, Politecnico di Milano, Italy Boualem Benatallah, The University of New South Wales, Australia Giuliano Casale, Imperial College, UK Marco Comuzzi, Ulsan National Institute of Science and Technology Schahram Dustdar, TU Wien, Austria Robert Engel, IBM Almaden, USA Rik Eshuis, Eindhoven University of Technology, The Netherlands Ilche Georgievski, University of Groningen, The Netherlands Paul Grefen, Eindhoven University of Technology, The Netherlands Thomas Gschwind, IBM Zurich Research Lab, Switzerland Martin Henkel, Stockholm University, Sweden Einar Broch Johnsen, University of Oslo, Norway Ernoe Kovacs, NEC Europe Network Labs, Germany Patricia Lago, VU University Amsterdam, The Netherlands Winfried Lamersdorf, Uni Hamburg, Germany Kung-Kiu Lau, University of Manchester, UK Welf Loewe, Linnaeus University, Sweden Zoltan Adam Mann, University of Duisburg-Essen, Germany Guadalupe Ortiz, University of Cádiz, Spain Claus Pahl, Free University of Bozen-Bolzano, Italy Iraklis Paraskakis, City College, Greece Pierluigi Plebani, Politecnico di Milano, Italy Ernesto Pimentel, University of Malaga, Spain Dumitru Roman, Sintef, Norway Ulf Schreier, University of Applied Sciences Furtwangen, Germany Stefan Schulte, TU Wien, Austria Jacopo Soldani, University of Pisa, Italy Massimo Villari, University of Messina, Italy Mandy Weißbach, Martin Luther University Halle-Wittenberg, Germany Stefan Wesner, University of Ulm, Germany Robert Woitsch, BOC Asset Management Gianluigi Zavattaro, University of Bologna, Italy Christian Zirpins, University of Applied Sciences Karlsruhe, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Wed Dec 4 22:50:28 2019 From: irdta at irdta.eu (IRDTA) Date: Wed, 04 Dec 2019 22:50:28 +0100 Subject: [fg-arc] AlCoB 2020: extended submission deadline December 9 Message-ID: <545102060a010b02015151070705515e03030d590355015952035c53045357525356010e020e06000050005005535655@grlmc_ip-zone_com-6> AlCoB 2020: extended submission deadline December 9*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ------------------------------------------------------------------------------ ***** SUBMISSION DEADLINE EXTENDED: December 9 ***** ------------------------------------------------------------------------------   ********************************************************************************** 7th INTERNATIONAL CONFERENCE ON ALGORITHMS FOR COMPUTATIONAL BIOLOGY   AlCoB 2020   Missoula, Montana, USA   April 13-15, 2020   Co-organized by:   Department of Computer Science University of Montana   and   Institute for Research Development, Training and Advice Brussels/London   https://alcob2020.irdta.eu **********************************************************************************   AIMS:   AlCoB aims at promoting and displaying excellent research using string and graph algorithms and combinatorial optimization to deal with problems in biological sequence analysis, genome rearrangement, phylogeny reconstruction, and structure prediction.   Previous events were held in Tarragona, Mexico City, Trujillo (Spain), Aveiro, Hong Kong and Berkeley.   The conference will address several of the current challenges in computational biology, with topics including:   1) assembling sequence reads into a complete genome, 2) identifying gene structures in the genome, 3) recognizing regulatory motifs, 4) aligning nucleotides and comparing genomes, 5) reconstructing regulatory networks of genes, and 6) inferring the evolutionary phylogeny of species.   Special focus will be put on methodology and significant room will be reserved for scholars at the beginning of their career.   VENUE:   AlCoB 2020 will take place in Missoula, Montana, a college town located in the heart of the Rocky Mountains, near Glacier National Park and Yellowstone National Park. The meeting will be hosted in the University Center, a few hundred feet from the base of Mount Sentinel.   SCOPE:   Topics of either theoretical or applied interest include, but are not limited to:   Sequence analysis Sequence alignment Sequence assembly Genome rearrangement Regulatory motif finding Phylogeny reconstruction Phylogeny comparison Structure prediction Compressive genomics Proteomics: molecular pathways, interaction networks, mass spectrometry analysis Transcriptomics: splicing variants, isoform inference and quantification, differential analysis Next-generation sequencing: population genomics, metagenomics, metatranscriptomics, epigenomics Genome CD architecture Microbiome analysis Cancer computational biology Systems biology   STRUCTURE:   AlCoB 2020 will consist of:   invited lectures peer-reviewed contributions posters   KEYNOTE SPEAKERS:   Terry Gaasterland (University of California, San Diego), Genetic Risk of Disease through Genome Variation and Regulation of Transcription   Christine Orengo (University College London), Algorithms for Mining Massive Metagenome Repositories to Detect Novel Enzymes   Tamar Schlick (New York University), Folding Genes at Nucleosome Resolution   PROGRAMME COMMITTEE:   Mani Arumugam (University of Copenhagen, DK) Colin Dewey (University of Wisconsin, Madison, US) Joe Felsenstein (University of Washington, US) Olivier Gascuel (Pasteur Institute, FR) Debashis Ghosh (University of Colorado, US) Daniel Huson (University of Tübingen, DE) Miriam Konkel (Clemson University, US) Alla Lapidus (Saint Petersburg State University, RU) Aron Marchler-Bauer (National Center for Biotechnology Information, US) Maria-Jesus Martin (European Bioinformatics Institute, UK) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) David H. Mathews (University of Rochester, US) Aaron McKenna (Dartmouth College, US) Ryan E. Mills (University of Michigan, US) Burkhard Morgenstern (University of Göttingen, DE) Sayan Mukherjee (Duke University, US) Houtan Noushmehr (Henry Ford Health System, US) Knut Reinert (Free University of Berlin, DE) Joel Rozowsky (Yale University, US) Russell Schwartz (Carnegie Mellon University, US) Temple F. Smith (Boston University, US) James Taylor (Johns Hopkins University, US) Zlatko Trajanoski (Medical University of Innsbruck, AT) David A. Wheeler (Baylor College of Medicine, US) Travis Wheeler (University of Montana, US) Shibu Yooseph (University of Central Florida, US)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres) Travis Wheeler (Missoula, co-chair)   SUBMISSIONS:   Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).   Upload submissions to:   https://easychair.org/conferences/?conf=alcob2020   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS/LNBI series will be available by the time of the conference.   A special issue of 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://alcob2020.irdta.eu/registration/   DEADLINES (all at 23:59 CET):   Paper submission: December 9, 2019 – EXTENDED Notification of paper acceptance or rejection: January 6, 2020 Final version of the paper for the LNCS/LNBI proceedings: January 13, 2020 Early registration: January 13, 2020 Late registration: March 30, 2020 Submission to the journal special issue: July 15, 2020   QUESTIONS AND FURTHER INFORMATION:   david (at) irdta.eu   ACKNOWLEDGEMENTS:   University of Montana   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Tue Dec 10 15:00:16 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 10 Dec 2019 16:00:16 +0200 Subject: [fg-arc] 14th International Conference on Research Challenges in Information Science (RCIS 2020): Third Joint Call for Tutorials, DC, Posters and Demos Message-ID: *** Third Joint Call for Tutorials, Doctoral Consortium, Posters and Demos *** 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Frcis-conf.com%2F Submission deadline: February 14, 2020 (AoE) (Proceedings to be published by Springer) RCIS has become a recognized conference on research challenges in Information Science. Organized for the 14th time in a row, RCIS 2020 will be held from May 20-22, 2020, in Limassol, Cyprus. The topics of interest are organized into some major categories (more details in the call for papers http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPapers.php ): · Information Systems and their Engineering · User-Oriented Approaches · Data and Information Management · Business Process Management · Domain-specific IS Engineering · Data Science · Information Infrastructures · Reflective Research and Practice IMPORTANT DATES FOR ALL SATELLITE EVENTS · Submission deadline for all paper types: February 14, 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 TUTORIALS Tutorials are intended to provide independent instruction (know-how) on a topic of relevance, no commercial or sales-oriented. Potential presenters should keep in mind that there might be a varied audience, including novice graduate students, seasoned practitioners, and specialized researchers. Tutorial speakers should be prepared to cope with this diversity. The conference has specific slots for tutorials. They will be organized in sessions of 90 minutes with a free format. Tutorials run in parallel with other conference tracks, and participation is included in the attendees' conference fee. We invite proposals for tutorials that may address one or more of the listed topics below, although authors should not feel limited by them. Tutorial proposals are limited to 5 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ). Proposals must be submitted using the conference submission site (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 ), where you choose "RCIS2020 Tutorials". Instructions on the structure of a tutorial proposal can be found online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2Ftutorials.php . Tutorial Chairs · Estefania Serral Asensio, KU Leuven, Belgium · Ignacio Panach, University of Valencia, Spain DOCTORAL CONSORTIUM The RCIS 2020 Doctoral Consortium is an opportunity for doctoral students to present, discuss and develop their research project in an interdisciplinary workshop, under the guidance of a panel of senior researchers. The Doctoral Consortium offers nice opportunities for PhD students. Firstly, the feedback received during the Doctoral Consortium will really benefit students who have defined their topic, research plan and have obtained early results, but who still have room for improving their longer-term plan. Secondly, students at all stages of their doctoral project can meet the welcoming RCIS community and widen their network of contacts. The Doctoral Consortium has the following objectives: · Provide a platform for students to present their work and to meet other peers and be familiar with different research topics and methods. · Provide feedback on students' current research and guidance on future research directions. · Promote the development of a supportive community of scholars and a spirit of collaborative research and networking. · Contribute to the conference goals through interaction with other researchers. Interested PhD students are invited to submit papers, in agreement with their supervisors, addressing the instructions that are provided on the online call: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallDoctoral.php . 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=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines . Submissions must be written in English, and must be authored by the student only. The maximum length of the paper should be eight (8) pages, including references, appendices, etc. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Doctoral Consortium". Doctoral Consortium Chairs · Raian Ali, Bournemouth University, United Kingdom · Sergio España, Utrecht University, Netherlands POSTERS AND DEMOS The posters & demos track will showcase prototypes and new research ideas in Information Science. This track provides a forum for researchers and practitioners to present their work, interact with conference participants, and obtain feedback on on-going research. We invite two types of submissions: · Posters are intended to convey a research result and are not advertisements for commercial software packages. While posters need not describe completed work, they should report on research for which at least some preliminary results are available. · Demonstrations should directly and actively involve the exhibition and display of tools/prototypes and associated materials that illustrate research work in progress and serve as ground for discussion of research ideas. Posters and demonstrations proposals must be submitted as a single PDF file with no more than 6 pages in Springer LNCS/LNBIP format (http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines ) including references and appendices. Proposals that exceed the limit of 6 pages will be rejected without review. Proposals that have already been accepted or are currently under review for other conferences or journals will not be considered for publication at RCIS 2020. The submission site address is http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Drcis2020 where you can choose "RCIS2020 Posters & Demos". More details on the submission and presentation format is online: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQkxNHRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBSZXNlYXJjaCBDaGFsbGVuZ2VzIGluIEluZm9ybWF0aW9uIFNjaWVuY2UgKFJDSVMgMjAyMCk6IFRoaXJkIEpvaW50IENhbGwgZm9yIFR1dG9yaWFscywgREMsIFBvc3RlcnMgYW5kIERlbW9zCTQ0OAlMaXN0cwkxNDAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fwww.rcis-conf.com%2Frcis2020%2FcallPostersDemo.php . Posters & Demos Chairs · Elena Kornyshova, Conservatoire National des Arts et Métiers, France · Marcela Ruiz, Zurich University of Applied Sciences, Switzerland 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 -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Tue Dec 10 18:15:19 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 10 Dec 2019 18:15:19 +0100 Subject: [fg-arc] BigDat 2020: early registration December 16 Message-ID: <545102060a010b02015156000501595e575e5655515406070a565807540305075155570f015a53070107510004025706@grlmc_ip-zone_com-6> BigDat 2020: early registration December 16*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: December 16, 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 22 four-hour and a half courses and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 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   PROFESSORS AND COURSES:   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 in the Presence of Class Imbalance and Changing Distributions   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   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Private Data Analytics at Scale   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate/advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   Xiaohua Tony Hu (Drexel University), [introductory/advanced] Machine Learning Methods for Big Microbiome Data Analysis   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 That Exploits Massively Parallel Computing – An Overview of Concepts, Architectures and Neural Network Algorithm Implementation   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jaideep Srivastava (University of Minnesota), [introductory/intermediate] Social Computing   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 (remote)   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 are available at   https://bigdat2020.irdta.eu/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   CINI Big Data Laboratory   -------------- next part -------------- An HTML attachment was scrubbed... URL: From hubert.garavel at inria.fr Wed Dec 11 19:03:49 2019 From: hubert.garavel at inria.fr (Hubert Garavel) Date: Wed, 11 Dec 2019 19:03:49 +0100 Subject: [fg-arc] MARS 2020 - CALL FOR PAPERS - Dublin (Ireland) - April 26, 2020 Message-ID: <0fe09245-b63c-befe-7bfc-5566a07fccc6@inria.fr> Call for Papers Models for Formal Analysis of Real Systems (MARS 2020) April 26 2020 Affiliated With ETAPS 2020 Dublin, Ireland http://mars-workshop.org/mars2020/ The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software codesign, biology, etc. The MARS workshops stem from two observations: * Large case studies are essential to show that specification formalisms and modelling techniques are applicable to real systems, whereas many research papers only consider toy examples or tiny case studies. * Developing an accurate model of a real system takes a large amount of time, often months or years. In most scientific papers, however, salient details of the model need to be skipped due to lack of space, and to leave room for formal verification methodologies and results. The MARS workshops aim at remedying these issues, emphasising modelling over verification, so as to retain lessons learnt from formal modelling, which are not usually discussed elsewhere. Examples are: * Which formalism was chosen, and why? * Which abstractions have been made, and why? * How were important characteristics of the system modelled? * Were there any complications while modelling the system? * Which measures were taken to guarantee the accuracy of the model? * How can different modelling approaches be compared on this system? We thus invite papers that present formal models of real systems, which may lay the basis for future analysis and comparison. In addition to the workshop proceedings, the formal models presented at the workshop will be archived in the MARS Repository, a growing, diverse collection of realistic benchmarks. The existence of this repository is a unique feature that makes MARS contributions available to the wider community, so that others can reproduce experiments, perform further analyses, and try the same case studies using different formal methods. SUBMISSION GUIDELINES All submissions will be peer-reviewed by at least three referees based on their novelty, relevance, and technical merit. The MARS proceedings will be published in the open-access EPTCS series (Electronic Proceedings in Theoretical Computer Science). Submissions must be unpublished and not be submitted for publication elsewhere. It is accepted, however, to submit a paper about a case study already mentioned at another conference, workshop, or journal provided that: (1) the formal model is submitted to MARS 2020 and has not been published previously, and (2) the MARS submission adds significant, novel material concerning the formal modelling work. Submissions must be in English and submitted in PDF format via EasyChair. Contributions are limited to 12 pages EPTCS style (not counting references and the appendices). Appendices (of arbitrary length, included in the proceedings) can be added to present all details of a formal model. We welcome submissions that come together with one or many formal models that can be processed by some tool (e.g., timed automata for Uppaal, definitions and proofs for Isabelle/HOL, etc.). Such models should be complete (i.e., self-contained) and made available under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. The models associated to accepted papers will be made available in the MARS Repository. Formal models should be put in a TAR or ZIP file, and sent by email to mars2020 at mars-workshop.org, mentioning the number assigned by Easychair to the corresponding submitted paper. IMPORTANT DATES (AoE) * Submission: Sunday January 12, 2020 * Notification: Sunday February 23, 2020 * Final version: Sunday March 15, 2020 * Workshop: Sunday, April 26, 2020 PROGRAM COMMITTEE Christel Baier (TU Dresden, Germany) Ansgar Fehnker (University of Twente, The Netherlands, co-chair) Hubert Garavel (INRIA Grenoble Rhône-Alpes, France, co-chair) Dimitra Giannakopoulou (NASA Ames, California, USA) Jan Friso Groote (Eindhoven University of Technology, The Netherlands) Holger Hermanns (Saarland University, Germany) Peter Hoefner (Data61, CSIRO, Australia) Rob van Glabbeek (Data61, CSIRO, Australia) Kim Larsen (Aalborg University, Denmark) Dave Parker (University of Birmingham, UK) Natasha Sharygina (USI Lugano, Switzerland) Tayssir Touili (LIPN, CNRS & University Paris 13, France) VENUE AND TRAVEL INFORMATION MARS 2020 is part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2020). Information about venue and travelling in/to Dublin can be found at the webpage of ETAPS. WORKSHOP ORGANISERS AND CONTACT All questions about the workshop should be emailed to Ansgar Fehnker and Hubert Garavel at mars2020 at mars-workshop.org From fm-announcements at lists.nasa.gov Fri Dec 13 02:27:36 2019 From: fm-announcements at lists.nasa.gov (Mavridou, Anastasia (ARC-TI)[SGT, INC] via fm-announcements) Date: Fri, 13 Dec 2019 01:27:36 +0000 Subject: [fg-arc] [fm-announcements] NFM 2020 Paper Submission Extension In-Reply-To: <469E33DA-B3ED-4999-93A5-C1FF55C851EB@nasa.gov> References: <469E33DA-B3ED-4999-93A5-C1FF55C851EB@nasa.gov> Message-ID: ********************************************************************* The Twelfth NASA Formal Methods Symposium https://ti.arc.nasa.gov/events/nfm-2020/ 11 - 15 May 2020 NASA Ames Research Center, Moffett Field, CA, USA ******************************************************************** Extended Deadline ------------------------- Abstract Submission: 12 Dec 2019 24 Dec 2019 Paper Submission: 19 Dec 2019 30 Dec 2019 Paper Notifications: 20 Feb 2020 Camera-ready Papers: 27 Mar 2020 Symposium: 11-15 May 2020 Theme of the Symposium: ---------------------------------- The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle. Topics of Interest: ----------------------- We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others. · Formal verification, including theorem proving, model checking, and static analysis · Advances in automated theorem proving including SAT and SMT solving · Run-time verification · Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques · Code generation from formally verified models · Safety cases and system safety · Formal approaches to fault tolerance · Design for verification and correct-by-design techniques · Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems · Formal methods in systems engineering and model-based development · Applications of formal methods in the development of: o autonomous systems o safety-critical artificial intelligence systems o cyber-physical, cyber-security, embedded, and hybrid systems o fault-detection, diagnostics, and prognostics systems · Use of formal methods in: o assurance cases o human-machine interaction analysis o requirements generation, specification, and validation o automated testing and verification Location & Cost: ---------------------- The symposium will take place in Building 3, NASA Ames Research Center, Moffett Field, CA,USA, May 11--15, 2020. There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to attend, to listen to the talks, and to participate in discussions; however, all attendees must register. Organizers: --------------- Dimitra Giannakopoulou (General Chair) Anastasia Mavridou (General Chair) Ritchie Lee (PC Chair) Susmit Jha (PC Chair) Maxime Arthaud (Local Organization) Hamza Bourbouh (Local Organization) Mohammad Hejase (Local Organization) -------------- next part -------------- An HTML attachment was scrubbed... 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 irdta at irdta.eu Sun Dec 15 00:18:48 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 15 Dec 2019 00:18:48 +0100 Subject: [fg-arc] DeepLearn 2020: early registration December 27 Message-ID: <545102060a010b02015e55030600515e51075452025755070b560a55050250525c055456005d55050105580b53545850@grlmc_ip-zone_com-6> DeepLearn 2020: early registration December 27*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León, Guanajuato, Mexico   July 27-31, 2020   Co-organized by:   Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://deeplearn2020.irdta.eu/   ***************************************************************   --- Early registration deadline: December 27, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 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 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 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, DeepLearn 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:   DeepLearn 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be:   Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510   KEYNOTE SPEAKERS: (to be completed)   Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics   PROFESSORS AND COURSES: (to be completed)   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning   Kunal Talwar (Google Brain), tba   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 July 19, 2020.   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 July 19, 2020.   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 July 19, 2020.   ORGANIZING COMMITTEE:   Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://deeplearn2020.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 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:   Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From yittong at cs.stonybrook.edu Tue Dec 17 01:04:27 2019 From: yittong at cs.stonybrook.edu (Yi Tong) Date: Mon, 16 Dec 2019 19:04:27 -0500 Subject: [fg-arc] PADL 2020 Call for Participation Message-ID: Call for Participation Subject: PADL 2020 Call for Participation Please see many exciting talks and events at PADL 2020: The 22nd Symposium on Practical Aspects of Declarative Languages https://popl20.sigplan.org/home/PADL-2020 (Early registration by 12/18) Invited Talks Nikolaj Bjørner, Microsoft Research Logical Engines for Cloud Configurations Adnan Darwiche, UCLA Symbolic Reasoning About Machine Learning Systems Invited Experience and Direction Session Invited Talks Molham Aref, Relational AI Relational Artificial Intelligence Mayur Naik, University of Pennsylvania Learning Interpretable Rules from Structured Data Grant Passmore, Imandra Inc. and Cambridge University An Introduction to the Imandra Automated Reasoning System Philip Wadler, University of Edinburgh We Are All Poor Schmucks: On the Value of Gradual Types [image: Nikolaj Bjørner][image: Adnan Darwiche][image: Molham Aref][image: Grant Passmore][image: Mayur Naik][image: Phil Wadler] Complete Program https://popl20.sigplan.org/home/PADL-2020#program This includes also presentations of 10 full papers and 4 short papers; four discussion panels: (1) Programming with Logic for the Masses, (2) Memory and Real-Time Programming in Practice, (3) Reasoning for Machine Learning at Large, and (4) Experience and Direction; and a competitive programming experience session. Registration https://regmaster4.com/2020conf/POPL20/register.php Early rate closes on December 18th -------------- next part -------------- An HTML attachment was scrubbed... URL: From zimmer at informatik.uni-halle.de Sat Dec 21 14:23:25 2019 From: zimmer at informatik.uni-halle.de (Prof. Dr. Wolf Zimmermann) Date: Sat, 21 Dec 2019 14:23:25 +0100 Subject: [fg-arc] Call for Papers: 8th European Conference on Service-Oriented and Cloud Computing (ESOCC 2020) Extended Deadline Message-ID: <9a7f5522-9c29-7c29-01f6-8114629368b5@informatik.uni-halle.de> CALL FOR PAPERS 8th European Conference on Service-Oriented and Cloud Computing (ESOCC 2020) April 1-3, 2020, Heraklion, Crete, Greece https://esocc-conf.eu === SCOPE === Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralized sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on-demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service-oriented and cloud computing in Europe. The main objectives of the conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented and cloud computing, as well as to explore new trends and foster future collaborations in Europe and beyond. === TOPICS OF INTEREST === ESOCC 2020 seeks original, high-quality papers related to all aspects of service-oriented and cloud computing. Specific topics of interest include, but are not limited to: - Service and Cloud Computing Models * Design patterns, guidelines and methodologies * Governance models * Architectural models * Requirements engineering * Formal Methods * Model-Driven Engineering * Quality models * Security, Privacy & Trust models * Self-Organizing Service-Oriented and Cloud Architectures Models * Testing models - Service and Cloud Computing Engineering * Service Discovery, Matchmaking, Negotiation and Selection * Monitoring and Analytics * Governance and management * Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions * Frameworks & Methods for Building Service and Cloud based Applications * Cross-layer adaptation * Edge/Fog computing * Cloud, Service Orchestration & Management * Service Level Agreement Management * Service Evolution/Optimisation * Service & Cloud Testing and Simulation * QoS for Services and Clouds * Semantic Web Services * Service mining * Service & Cloud Standards * FaaS / Serverless computing - Technologies * DevOps in the Cloud * Containerized services * Emerging Trends in Storage, Computation and Network Clouds * Microservices Design, Analysis, Deployment and Management * Next Generation Services Middleware and Service Repositories * RESTful Services * Service and Cloud Middleware & Platforms * Blockchain for Services & Clouds * Services and Clouds with IoT * Fog Computing with Service and Cloud - Business and Social aspects * Enterprise Architectures for Service and Cloud * Service-based Workflow Deployment & Life-cycle Management * Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities * Business Process as a Service - BPaaS * Service and Cloud Business Models * Service and Cloud Brokerage * Service and Cloud Marketplaces * Service and Cloud Cost & Pricing * Crowdsourcing Business Services * Social and Crowd-based Cloud * Energy issues in Cloud Computing * Sustainability issues === SUBMISSIONS === We only accept original papers, not submitted for publication elsewhere. Two kinds of papers are permitted: - full papers covering complete research work (15 pages long including references) - short papers covering work-in-progress (8 pages long including references). Both kinds of papers must be formatted according to the LNCS proceedings guidelines (http://www.springer.com/lncs). They must be submitted to the EasyChair site at:https://easychair.org/conferences/?conf=esocc2020 All accepted papers at the main conference will be included in the LNCS volume containing the conference proceedings, provided that at least one author of each accepted paper will register and participate in the conference. Open-access mode for the accepted papers is possible upon request. There is also the possibility that the best papers will be invited to a special issue in a high-quality journal. The accepted papers for the other tracks (European Project Space, PhD Symposium, Workshops) will be published on post-proceedings (negotiation is in process with Springer). === IMPORTANT DATES === Research & industrial papers: - Paper submission (Extended): January 17, 2020 - Notifications: February 10, 2020 - CR versions due: February 17, 2020 EU projects track: - Abstract submission: January 12, 2020 - Paper submission: January 24, 2020 - Notifications: February 21, 2020 PhD Symposium Track: * First Window: - Paper Submission: December 6, 2019 - Notification: January 7, 2020 - CR Versions due: January 23, 2020 * Second Window: - Paper Submission: January 24, 2020 - Notification: February 21, 2020 - CR Versions due: March 6, 2020 ESOCC 2020: April 1-3, 2020 === ORGANIZATION === General Chair Kyriakos Kritikos (ICS-FORTH, Greece) Programme Co-Chairs Antonio Brogi (University of Pisa, Italy) Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Industrial Track Chair Marco Aiello (University of Stuttgart, Germany) EU projects Track Chairs Giuliano Casale (Imperial College, UK) Pierluigi Plebani (Politecnico di Milano, Italy) Workshops Co-Chairs Christian Zirpins, University of Applied Sciences Karlsruhe, Germany Iraklis Paraskakis (City College, Greece) PhD Symposium Co-Chairs Jacopo Soldani (University of Pisa, Italy) Massimo Villari (University of Messina, Italy) Program Committee Marco Aiello, University of Stuttgart, Germany Vasilios Andrikopoulos, University of Groningen, The Netherlands Farhad Arbab, CWI, The Netherlands Luciano Baresi, Politecnico di Milano, Italy Boualem Benatallah, The University of New South Wales, Australia Giuliano Casale, Imperial College, UK Marco Comuzzi, Ulsan National Institute of Science and Technology Schahram Dustdar, TU Wien, Austria Robert Engel, IBM Almaden, USA Rik Eshuis, Eindhoven University of Technology, The Netherlands Ilche Georgievski, University of Groningen, The Netherlands Paul Grefen, Eindhoven University of Technology, The Netherlands Thomas Gschwind, IBM Zurich Research Lab, Switzerland Martin Henkel, Stockholm University, Sweden Einar Broch Johnsen, University of Oslo, Norway Ernoe Kovacs, NEC Europe Network Labs, Germany Patricia Lago, VU University Amsterdam, The Netherlands Winfried Lamersdorf, Uni Hamburg, Germany Kung-Kiu Lau, University of Manchester, UK Welf Loewe, Linnaeus University, Sweden Zoltan Adam Mann, University of Duisburg-Essen, Germany Guadalupe Ortiz, University of Cadiz, Spain Claus Pahl, Free University of Bozen-Bolzano, Italy Iraklis Paraskakis, City College, Greece Pierluigi Plebani, Politecnico di Milano, Italy Ernesto Pimentel, University of Malaga, Spain Dumitru Roman, Sintef, Norway Ulf Schreier, University of Applied Sciences Furtwangen, Germany Stefan Schulte, TU Wien, Austria Jacopo Soldani, University of Pisa, Italy Massimo Villari, University of Messina, Italy Mandy Weissbach, Martin Luther University Halle-Wittenberg, Germany Stefan Wesner, University of Ulm, Germany Robert Woitsch, BOC Asset Management Gianluigi Zavattaro, University of Bologna, Italy Christian Zirpins, University of Applied Sciences Karlsruhe, Germany From soldani at di.unipi.it Mon Dec 23 16:40:30 2019 From: soldani at di.unipi.it (Jacopo Soldani) Date: Mon, 23 Dec 2019 16:40:30 +0100 Subject: [fg-arc] CFP - ESOCC 2020 - Deadline extension for long/short research papers Message-ID: <034e01d5b9a7$4edb4e90$ec91ebb0$@di.unipi.it> *** Apologies for possible multiple cross-postings *** CALL FOR PAPERS 8th European Conference on Service-Oriented and Cloud Computing (ESOCC 2020) April 1-3, 2020, Heraklion, Crete, Greece https://esocc-conf.eu === SCOPE === Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralized sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on-demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service-oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service-oriented and cloud computing in Europe. The main objectives of the conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented and cloud computing, as well as to explore new trends and foster future collaborations in Europe and beyond. === TOPICS OF INTEREST === ESOCC 2020 seeks original, high-quality papers related to all aspects of service-oriented and cloud computing. Specific topics of interest include, but are not limited to: - Service and Cloud Computing Models * Design patterns, guidelines and methodologies * Governance models * Architectural models * Requirements engineering * Formal Methods * Model-Driven Engineering * Quality models * Security, Privacy & Trust models * Self-Organizing Service-Oriented and Cloud Architectures Models * Testing models - Service and Cloud Computing Engineering * Service Discovery, Matchmaking, Negotiation and Selection * Monitoring and Analytics * Governance and management * Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions * Frameworks & Methods for Building Service and Cloud based Applications * Cross-layer adaptation * Edge/Fog computing * Cloud, Service Orchestration & Management * Service Level Agreement Management * Service Evolution/Optimisation * Service & Cloud Testing and Simulation * QoS for Services and Clouds * Semantic Web Services * Service mining * Service & Cloud Standards * FaaS / Serverless computing - Technologies * DevOps in the Cloud * Containerized services * Emerging Trends in Storage, Computation and Network Clouds * Microservices Design, Analysis, Deployment and Management * Next Generation Services Middleware and Service Repositories * RESTful Services * Service and Cloud Middleware & Platforms * Blockchain for Services & Clouds * Services and Clouds with IoT * Fog Computing with Service and Cloud - Business and Social aspects * Enterprise Architectures for Service and Cloud * Service-based Workflow Deployment & Life-cycle Management * Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities * Business Process as a Service - BPaaS * Service and Cloud Business Models * Service and Cloud Brokerage * Service and Cloud Marketplaces * Service and Cloud Cost & Pricing * Crowdsourcing Business Services * Social and Crowd-based Cloud * Energy issues in Cloud Computing * Sustainability issues === SUBMISSIONS === We only accept original papers, not submitted for publication elsewhere. Two kinds of papers are permitted: - full papers covering complete research work (15 pages long including references) - short papers covering work-in-progress (8 pages long including references). Both kinds of papers must be formatted according to the LNCS proceedings guidelines (http://www.springer.com/lncs). They must be submitted to the EasyChair site at: https://easychair.org/conferences/?conf=esocc2020 All accepted papers at the main conference will be included in the LNCS volume containing the conference proceedings, provided that at least one author of each accepted paper will register and participate in the conference. Open-access mode for the accepted papers is possible upon request. There is also the possibility that the best papers will be invited to a special issue in a high-quality journal. The accepted papers for the other tracks (European Project Space, PhD Symposium, Workshops) will be published on post-proceedings (negotiation is in process with Springer). === IMPORTANT DATES === Research & industrial papers: - Paper submission (Extended): January 17, 2020 - Notifications: February 10, 2020 - CR versions due: February 17, 2020 EU projects track: - Abstract submission: January 12, 2020 - Paper submission: January 24, 2020 - Notifications: February 21, 2020 PhD Symposium Track: * First Window: - Paper Submission: December 6, 2019 - Notification: January 7, 2020 - CR Versions due: January 23, 2020 * Second Window: - Paper Submission: January 24, 2020 - Notification: February 21, 2020 - CR Versions due: March 6, 2020 ESOCC 2020: April 1-3, 2020 === ORGANIZATION === General Chair Kyriakos Kritikos (ICS-FORTH, Greece) Programme Co-Chairs Antonio Brogi (University of Pisa, Italy) Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Industrial Track Chair Marco Aiello (University of Stuttgart, Germany) EU projects Track Chairs Giuliano Casale (Imperial College, UK) Pierluigi Plebani (Politecnico di Milano, Italy) Workshops Co-Chairs Christian Zirpins, University of Applied Sciences Karlsruhe, Germany Iraklis Paraskakis (City College, Greece) PhD Symposium Co-Chairs Jacopo Soldani (University of Pisa, Italy) Massimo Villari (University of Messina, Italy) Program Committee Marco Aiello, University of Stuttgart, Germany Vasilios Andrikopoulos, University of Groningen, The Netherlands Farhad Arbab, CWI, The Netherlands Luciano Baresi, Politecnico di Milano, Italy Boualem Benatallah, The University of New South Wales, Australia Giuliano Casale, Imperial College, UK Marco Comuzzi, Ulsan National Institute of Science and Technology Schahram Dustdar, TU Wien, Austria Robert Engel, IBM Almaden, USA Rik Eshuis, Eindhoven University of Technology, The Netherlands Ilche Georgievski, University of Groningen, The Netherlands Paul Grefen, Eindhoven University of Technology, The Netherlands Thomas Gschwind, IBM Zurich Research Lab, Switzerland Martin Henkel, Stockholm University, Sweden Einar Broch Johnsen, University of Oslo, Norway Ernoe Kovacs, NEC Europe Network Labs, Germany Patricia Lago, VU University Amsterdam, The Netherlands Winfried Lamersdorf, Uni Hamburg, Germany Kung-Kiu Lau, University of Manchester, UK Welf Loewe, Linnaeus University, Sweden Zoltan Adam Mann, University of Duisburg-Essen, Germany Guadalupe Ortiz, University of Cadiz, Spain Claus Pahl, Free University of Bozen-Bolzano, Italy Iraklis Paraskakis, City College, Greece Pierluigi Plebani, Politecnico di Milano, Italy Ernesto Pimentel, University of Malaga, Spain Dumitru Roman, Sintef, Norway Ulf Schreier, University of Applied Sciences Furtwangen, Germany Stefan Schulte, TU Wien, Austria Jacopo Soldani, University of Pisa, Italy Massimo Villari, University of Messina, Italy Mandy Weissbach, Martin Luther University Halle-Wittenberg, Germany Stefan Wesner, University of Ulm, Germany Robert Woitsch, BOC Asset Management Gianluigi Zavattaro, University of Bologna, Italy Christian Zirpins, University of Applied Sciences Karlsruhe, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Sun Dec 22 12:24:30 2019 From: irdta at irdta.eu (IRDTA) Date: Sun, 22 Dec 2019 12:24:30 +0100 Subject: [fg-arc] AlCoB 2020: call for posters Message-ID: <545102060a010b02015f51040f0b535e005f06510655050551030d01075406025c545307020d020a5403555301540304@grlmc_ip-zone_com-6> AlCoB 2020: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ------------------------------------------------------ The 7th International Conference on Algorithms for Computational Biology (AlCoB 2020) invites researchers to submit poster presentations. AlCoB 2020 will be held in Missoula, Montana on April 13-15, 2020. See:  https://alcob2020.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 algorithms in computational biology are encouraged on the following topics: - assembling sequence reads into a complete genome, - identifying gene structures in the genome, - recognizing regulatory motifs, - aligning nucleotides and comparing genomes, - reconstructing regulatory networks of genes, and - inferring the evolutionary phylogeny of species. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: March 6, 2020 Notification of poster acceptance or rejection: March 13, 2020 SUBMISSION Please upload a .pdf submission to: https://easychair.org/conferences/?conf=alcob2020 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/LNBI proceedings volume of AlCoB 2020. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by March 20, 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 irdta at irdta.eu Thu Dec 26 15:48:09 2019 From: irdta at irdta.eu (IRDTA) Date: Thu, 26 Dec 2019 15:48:09 +0100 Subject: [fg-arc] DeepLearn 2020: early registration December 27 Message-ID: <545102060a010b02015f56020e05505e555453580255025304000055520107510455040f02580655535752075405025c@grlmc_ip-zone_com-6> DeepLearn 2020: early registration December 27*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   4th INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2020   León, Guanajuato, Mexico   July 27-31, 2020   Co-organized by:   Center for Research in Mathematics, A.C. (CIMAT-CONACyT) Guanajuato   Institute for Research Development, Training and Advice (IRDTA) Brussels/London   https://deeplearn2020.irdta.eu/   ***************************************************************   --- Early registration deadline: December 27, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 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 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 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, DeepLearn 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:   DeepLearn 2020 will take place in León, the most populous city in the state of Guanajuato, in central Mexico, and a major economic pole in the country with specialization in leather industry. The venue will be:   Poliforum León Blvd. Adolfo López Mateos esq. Blvd. Francisco Villa Col. Oriental, León, Gto., Mexico, C.P. 37510   KEYNOTE SPEAKERS: (to be completed)   Maja Pantic (Imperial College London), Artificial Emotional Intelligence, Faces, Deep Fakes and Other Topics   PROFESSORS AND COURSES: (to be completed)   Georgios Giannakis (University of Minnesota), [advanced] Ensembles for Interactive and Deep Learning Machines with Scalability, Expressivity, and Adaptivity   Jose Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fedor Ratnikov (National Research University Higher School of Economics), [introductory] Specifics of Applying Machine Learning to Problems in Natural Science   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Signal Processing   Alex Smola (Amazon), [introductory/advanced] Dive into Deep Learning   Kunal Talwar (Google Brain), [intermediate] Differentially Private Machine Learning   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 July 19, 2020.   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 July 19, 2020.   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 July 19, 2020.   ORGANIZING COMMITTEE:   Teresa Efigenia Alarcón Martínez (Guadalajara) Oscar Dalmau Cedeño (Guanajuato, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   https://deeplearn2020.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 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:   Centro de Investigación en Matemáticas, A.C. (CIMAT-CONACyT) – Guanajuato   Centro Universitario de los Valles, Universidad de Guadalajara   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Dec 30 23:15:44 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 30 Dec 2019 23:15:44 +0100 Subject: [fg-arc] BigDat 2020: regular registration January 10 Message-ID: <545102060a010b02025655030f02525e575307585608060501050f080604020704545605515856050102580406035107@grlmc_ip-zone_com-6> BigDat 2020: regular registration January 10*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/   ********************************************************   --- Regular registration deadline: January 10, 2020 ---   ********************************************************   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 21 four-hour and a half courses and 1 round table, which will tackle the most active and promising topics. The organizers are convinced that outstanding speakers will attract the brightest and most motivated students. Interaction will be a main component of the event.   An open session will give participants the opportunity to present their own work in progress in 5 minutes. Moreover, there will be two special sessions with industrial and recruitment profiles.   ADDRESSED TO:   Master's students, PhD students, postdocs, and industry practitioners will be typical profiles of participants. However, there are no formal pre-requisites for attendance in terms of academic degrees. Since there will be a variety of levels, specific knowledge background may be assumed for some of the courses. Overall, BigDat 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   PROFESSORS AND COURSES:   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 in the Presence of Class Imbalance and Changing Distributions   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   Minos Garofalakis (Technical University of Crete), [intermediate/advanced] Private Data Analytics at Scale   Jiawei Han (University of Illinois, Urbana-Champaign), [intermediate/advanced] From Unstructured Text to TextCube: Automated Construction and Multidimensional Exploration   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 That Exploits Massively Parallel Computing – An Overview of Concepts, Architectures and Neural Network Algorithm Implementation   Hanan Samet (University of Maryland), [introductory/intermediate] Sorting in Space: Multidimensional, Spatial, and Metric Data Structures for Applications in Spatial and Spatio-textual Databases, Geographic Information Systems (GIS), and Location-based Services   Rory Smith (Monash University), [introductory/intermediate] Learning from Data, the Bayesian Way   Jaideep Srivastava (University of Minnesota), [introductory/intermediate] Social Computing   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 (remote)   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 are available at   https://bigdat2020.irdta.eu/accommodation/   CERTIFICATE:   A certificate of successful participation in the event will be delivered indicating the number of hours of lectures.   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Dipartimento di Ingegneria dell'Informazione, Università Politecnica delle Marche   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   CONFINDUSTRIA Marche Nord   CINI AIIS National Lab   CINI Big Data Laboratory   -------------- next part -------------- An HTML attachment was scrubbed... URL: