From jung.juergen at fb2.fra-uas.de Mon Jun 3 14:54:19 2019 From: jung.juergen at fb2.fra-uas.de (=?iso-8859-1?Q?Jung=2C_J=FCrgen?=) Date: Mon, 3 Jun 2019 12:54:19 +0000 Subject: [fg-arc] Final CfP TEAR 2019, submission deadline June 14 Message-ID: *********************** Final Call for Papers 14th TEAR Workshop 2019 October 28-31, Paris, France *********************** The 14th TEAR workshop is organized in conjunction with IEEE EDOC 2019, October 28-31, Paris, France. The international TEAR workshop series brings together Enterprise Architecture (EA) researchers from different research communities and provides a forum to present EA research results and to discuss future EA research directions. The field of Enterprise Architecture (EA) has gained considerable attention over the last years. EA significantly contributes to organizations' need to adapt increasingly fast to changing customer requirements and business goals. This need influences the entire chain of activities of an enterprise, from business processes to IT support. Moreover, a change in one component of the overall architecture may influence many other components of the architecture. For example, when a new product is introduced, business processes for production, sales, and after-sales need to be adapted. It may be necessary to change applications, or even adapt the IT infrastructure. Each of these fields will have its own (partial) architectures. To keep the enterprise architecture coherent and aligned with the business goals, the relations between these different architectures must be explicit, and a change should be carried through in all architectures. In contrast to traditional architecture management approaches such as IT architecture, software architecture, or IS architecture, EA explicitly incorporates "pure" business-related artifacts in addition to traditional IS/IT artifacts. For Enterprise Architecture the focus is on the overall enterprise and concerns its organization, its components, the relationship between components, and principles governing its design and evolution. Submission Guidelines Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Workshop papers will be published in a second volume of the EDOC 2019 conference proceedings. All papers must be prepared in accordance with the IEEE double-column format (maximum 8 pages) and be submitted electronically (in PDF) via the submission website. All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website. List of Topics Topics relevant for submissions include, but are not limited to, the following: * EA management and impact (e.g. drivers, governance, obstacles and measurement) * EA and decision-making (e.g. analysis, investigation and collaboration) * EA modelling (e.g. reference models, viewpoints, quality and tools) * EA and digitization (e.g. models, impact and digital transformation) * EA and related disciplines (e.g. BPM, project management and software engineering) * EA research approaches (methodologies and theories) * EA Cases and implementation (case studies and business cases) Important dates * Workshop paper submission: June 14, 2019 * Workshop papers acceptance notification: July 26, 2019 * Workshop camera-ready papers due: August 16, 2019 * Workshop session: October 28, 2019 Workshop co-chairs * Ulrike Steffens, HAW Hamburg, Germany * Jürgen Jung, Frankfurt University of Applied Sciences, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From uwe.assmann at tu-dresden.de Mon Jun 3 21:42:54 2019 From: uwe.assmann at tu-dresden.de (ua1) Date: Mon, 3 Jun 2019 21:42:54 +0200 Subject: [fg-arc] =?utf-8?q?Gemeinsamer_Deutschland-Festtag_50_Jahre_Info?= =?utf-8?q?rmatik-Studieng=C3=A4nge_1969-2019?= Message-ID: <350d617a-6c7a-4db1-8dd9-58fd517ef92e@tu-dresden.de> Sehr geehrte Damen und Herren, fünf deutsche Universitäten feiern am 19. Juni gemeinsam 50 Studiengänge im Bereich Informatik: Darmstadt, Dresden, Karlsruhe, München und Saarbrücken gehören zu den ersten Hochschulen, welche Ende der 60er informatische Studiengänge etabliert haben. Das 50-jährige Jubiläum der Informatikstudiengänge bildet ein nationales Ereignis, das wir als Gesellschaft reflektieren sollten. Was wäre die moderne Welt heute ohne die Entwicklungen der Informatik? Was wäre eine Gesellschaft ohne Apps auf dem Smartphone, ohne moderne Geschäftssoftware, ohne Fahrassistenten, ohne softwaregesteuerte Fabriken? Was haben wir den 50 Jahren Informatikausbildung zu verdanken, die damals begannen? Was können wir andererseits in den nächsten Jahren und Jahrzehnten von der Informatik erwarten? Wie wird sie unsere Gesellschaft verändern? Entsprechend vielfältig ist das Programm unseres Festtages. Wir freuen uns sehr über die Grußworte aus dem Bundeskanzleramt, vom Ministerpräsidenten des Freistaates Sachsen und vom Präsidenten der GI, Herrn Prof. Hannes Federrath. Das Programm am 19.6. finden sie unter https://festtage.inf.tu-dresden.de/deutschlandfesttag (Bitte die jeweiligen Reiter klicken). Es startet in den meisten Standorten um 9:00. Um 9:30 werden im Rahmen einer interaktiven Demo, einer verteilt arbeitenden Roboterzelle, herausragende Persönlichkeiten an den fünf Universitätsstandorten gemeinsam symbolisch den „Deutschlandcampus der Informatik 2069“ errichten. Das anschließende Vortragsprogramm wechselt live-und Streaming-Beiträge ab und spiegelt neben dem historischen Rückblick und aktuellen Projekten vor allem auch unsere Visionen für eine digitale Zukunft wider. Sie können es verfolgen unter den Links https://festtage.inf.tu-dresden.de/live https://festtage.inf.tu-dresden.de/videos (Konserven, auch später verfügbar) https://festtage.inf.tu-dresden.de/ (Dresden beginnt live um 9:00) https://www.informatik.kit.edu/7009.php/event/38056 (Karlsruhe beginnt live um 10:00) https://www.in.tum.de/news-single-view/?tx_ttnews%5Btt_news%5D=508&cHash=a8a7abe597c0c64f7f837fae5707f338 (München live um 8:30) Wir würden uns sehr freuen, wenn Sie mit uns gemeinsam feiern. Noch besser: Kommen Sie am 19.6. in die Standorte, nach Darmstadt, Dresden, Karlsruhe, München und Saarbrücken! Wir alle laden Sie ein zu hochkarätigen Keynotes und Podien zu brisanten Themen, zu angemeldeten Projekten und Vorträgen, sowie musikalischen Beiträgen, Grillen und Freibier (Jedenfalls in Dresden :-). In Dresden schließen wir einen zweiten regionalen Festtag an. siehe https://output-dd.de/. Wir danken insbesondere Herrn MP Michael Kretschmer, dass er die Schirmherrschaft für unser Jubiläum übernommen hat und den Kontakt zum Bundeskanzleramt hergestellt hat. Mit besten Grüßen Im Namen der Vorbereitungsteams und der Dekane der Fakultäten Dresden, Darmstadt, Karlsruhe, München und Saarbrücken Uwe Aßmann, Dekan Informatik Dresden -- Prof. Uwe Aßmann Dekan Fakultät Informatik +49 351 463 38215 50 years computer science education: http://festtage.inf.tu-dresden.de/ https://festtage.inf.tu-dresden.de/deutschlandfesttag -- -------------------------------------------------------------------------------- 50 years computer science education: http://festtage.inf.tu-dresden.de/ Start-up: https://www.facebook.com/wandelbots/ -------------------------------------------------------------------------------- Prof. Dr. Uwe Aßmann mailto:softwaretechnologie at tu-dresden.de Software Engineering Group tel:+49 351 463 38463 Institut für Software- und fax:+49 351 463 38459 Multimediatechnik http://st.inf.tu-dresden.de Fakultät Informatik https://www.facebook.com/stdresden Technische Universitat Dresden building: Noethnitzer Str. 46, 01307 Dresden D-01062 Dresden office/Zimmer: 2087, 2. Stock, West -------------------------------------------------------------------------------- -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 5196 bytes Desc: S/MIME Cryptographic Signature URL: From apvereda at uma.es Mon Jun 3 13:23:41 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Mon, 3 Jun 2019 11:23:41 +0000 Subject: [fg-arc] =?utf-8?q?Last_days_for_contribution_-_FOCLASA_2019_-_C?= =?utf-8?q?FP?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190603112337.14fae9a066.18bf7a54@mail123.sea91.rsgsv.net> Last days to send your paper to Foclasa 2019 ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=5f82a36ac4&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 * Submission of papers: June 16, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=cced7e3418&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=26b28c01ed&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=fbf04da67b&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=14fae9a066) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From jung at fra-uni.net Mon Jun 3 14:52:07 2019 From: jung at fra-uni.net (=?iso-8859-1?Q?J=FCrgen_Jung?=) Date: Mon, 3 Jun 2019 12:52:07 +0000 Subject: [fg-arc] Final CfP TEAR 2019, Submission deadline June 14th Message-ID: *********************** Final Call for Papers 14th TEAR Workshop 2019 October 28-31, Paris, France *********************** The 14th TEAR workshop is organized in conjunction with IEEE EDOC 2019, October 28-31, Paris, France. The international TEAR workshop series brings together Enterprise Architecture (EA) researchers from different research communities and provides a forum to present EA research results and to discuss future EA research directions. The field of Enterprise Architecture (EA) has gained considerable attention over the last years. EA significantly contributes to organizations' need to adapt increasingly fast to changing customer requirements and business goals. This need influences the entire chain of activities of an enterprise, from business processes to IT support. Moreover, a change in one component of the overall architecture may influence many other components of the architecture. For example, when a new product is introduced, business processes for production, sales, and after-sales need to be adapted. It may be necessary to change applications, or even adapt the IT infrastructure. Each of these fields will have its own (partial) architectures. To keep the enterprise architecture coherent and aligned with the business goals, the relations between these different architectures must be explicit, and a change should be carried through in all architectures. In contrast to traditional architecture management approaches such as IT architecture, software architecture, or IS architecture, EA explicitly incorporates "pure" business-related artifacts in addition to traditional IS/IT artifacts. For Enterprise Architecture the focus is on the overall enterprise and concerns its organization, its components, the relationship between components, and principles governing its design and evolution. Submission Guidelines Papers should describe innovative and significant original research relevant to TEAR as described in the topics section. Papers submitted for consideration must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Workshop papers will be published in a second volume of the EDOC 2019 conference proceedings. All papers must be prepared in accordance with the IEEE double-column format (maximum 8 pages) and be submitted electronically (in PDF) via the submission website. All submissions should include title, authors, and full contact information. Detailed instructions for authors are available on the IEEE website. List of Topics Topics relevant for submissions include, but are not limited to, the following: * EA management and impact (e.g. drivers, governance, obstacles and measurement) * EA and decision-making (e.g. analysis, investigation and collaboration) * EA modelling (e.g. reference models, viewpoints, quality and tools) * EA and digitization (e.g. models, impact and digital transformation) * EA and related disciplines (e.g. BPM, project management and software engineering) * EA research approaches (methodologies and theories) * EA Cases and implementation (case studies and business cases) Important dates * Workshop paper submission: June 14, 2019 * Workshop papers acceptance notification: July 26, 2019 * Workshop camera-ready papers due: August 16, 2019 * Workshop session: October 28, 2019 Workshop co-chairs * Ulrike Steffens, HAW Hamburg, Germany * Jürgen Jung, Frankfurt University of Applied Sciences, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From irdta at irdta.eu Mon Jun 3 19:25:00 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 03 Jun 2019 19:25:00 +0200 Subject: [fg-arc] DeepLearn 2019: early registration June 22 Message-ID: <545102060a010b0a08565807070b5a070402030503020f020352000253045553555707540a5d525209020256540a55@grlmc_ip-zone_com-6> DeepLearn 2019: early registration June 22*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Early registration deadline: June 22, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning 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 3 keynote lectures and 23 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 2019 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 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   KEYNOTE SPEAKERS:   Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), Learning Engines for Healthcare: Using Machine Learning to Transform Clinical Practice and Discovery   PROFESSORS AND COURSES:   Christopher Bishop (Microsoft Research Cambridge), [introductory] Introduction to the Key Concepts and Techniques of Machine Learning   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   James Kwok (Hong Kong University of Science and Technology), [introductory/intermediate] Compressing Neural Networks   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), [introductory] Dive into Deep Learning   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning   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 July 14, 2019.   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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   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. At least one of the 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 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.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:   Accommodation can be booked at   http://www.deeplearn2019.promoest.com/hp.aspx?s=0   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:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From claudio.menghi at uni.lu Mon Jun 3 20:50:32 2019 From: claudio.menghi at uni.lu (Claudio MENGHI) Date: Mon, 3 Jun 2019 18:50:32 +0000 Subject: [fg-arc] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial Message-ID: Dear colleagues, Please consider submitting a paper on your experiences with formal methods teaching to our FMTea19 workshop affiliated with the FM conference in Porto in October. We are encouraging a wide spectrum discussion on how we should teach formal methods in the 21st century, so your contribution will be much appreciated. Also note our excellent invited and tutorial speakers: Carroll Morgan, Tony Hoare, and Bas Luttik! Deadline extended to June 15, paper length 15 pages, publication in Springer LNCS. Looking forward to meeting you in Porto for a cup of FMTea, Luigia, Graeme, Brijesh FMTea19 Formal Methods Teaching Workshop and Tutorial, Event affiliated with FM2019, 3rd World Congress on Formal Methods 7 October 2019, Porto, Portugal Deadline extended to June 15, 2019 OBJECTIVES AND SCOPE Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. We need to find ways to teach formal methods to the next generation, and doing so will require us to adapt our teaching to the 21st century students. FMTea19 is a combined workshop and tutorial at the 3rd World Congress on Formal Methods, FM2019. Its aim is to share experiences of teaching formal methods that have gone well, or that failed in surprising ways, as well as to develop ways to reboot the presence of formal methods in curricula. Tutorial part of FMTea19 We are very pleased to have Carroll Morgan giving an invited talk on his approach to and experiences with teaching formal methods to undergraduate students. Sir Tony Hoare will also join us to give a talk on the foundations of teaching computer science for future formal methods scientists. We will run two more tutorial presentations, held by Holger Hermanns and Bas Luttik, on experiences with concurrency and online teaching. Our goal is to discuss various models of existing FM teaching, together with innovative proposals for remaining relevant as educators of Formal Methods in the 21st century. Workshop Part of FMTea19 In the workshop part of the event, we aim to attract papers detailing authors’ experiences with FM Teaching. We would like to get papers discussing successes and failures of various methods, case studies, tools, etc. As self-learning seems to be an important aspect of FM teaching, we appreciate experiences with online teaching, including experiences with teaching formal methods via MOOCs. A non-exhaustive list of topics of interest for the FMTea19 workshop is below: • traditional FM teaching: lectures, exercises, exams • online FM teaching/learning: experiences/proposals • teaching FM for industry • integrating/embedding FM teaching/thinking within other computer science courses • student projects on FM, including group projects Computer science is transforming into a rigorous engineering discipline. Improved teaching techniques will ensure that FM is at the heart of this transformation process. ORGANIZATION FMTea19 is organized by FME’s Teaching Committee. Our broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, we have already gathered a list of FM courses taught worldwide, that can be seen, for the time being, here:https://github.com/luigiapetre/Formal-Methods-Courses/issues (we are in the process of migrating the courses to a webpage, so they will not live much longer as issues) and plan to collect other resources as well, such as FM case studies, FM inspirational papers, etc. PROGRAM COMMITTEE • Luigia Petre, Åbo Akademi University, Finland (co-chair) • Brijesh Dongol, University of Surrey, UK (co-chair) • Graeme Smith, University of Queensland, Australia (co-chair) • Catherine Dubois, ENSIIE, France • Joao F. Ferreira, University of Lisbon, Portugal • K. Rustan M. Leino, Amazon Web Services, US • Alexandra Mendes, University of Beira Interior, Portugal • Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil • Pierluigi San Pietro, Politecnico di Milano, Italy • Kenji Taguchi, CAV, Japan PREVIOUS EDITIONS Several events focused on teaching aspects for Formal Methods were held in the beginning of the 2000s: two BCS-FACS TFM workshops (Oxford in 2003 and London in 2006), the TFM 2004 conference in Ghent (with proceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM'06), FORMED (Budapest, at ETAPS 2008), and FMET 2008 (Kitakyushu 2008, co-located with ICFEM). The latest event was TFM2009, the 2nd International FME Conference on Teaching Formal Methods, in November 2009 in Eindhoven, the Netherlands. SUBMISSION DETAILS FMTea19 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. The conference proceedings is planned to be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for your contribution). Papers should not exceed 15 pages in length. Submissions should be made using the FMTea19 Easychair web site: https://easychair.org/conferences/?conf=FMTea19 All accepted papers must be presented at the workshop. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2019 organizers, and present the paper. IMPORTANT DATES • June 15 (June 1), 2019: Submission of papers • July 15 (July 1), 2019: Notifications to authors • August 15 (August 1), 2019: Proceedings version ready • October 7, 2019: FMTea19 in Porto -------------- next part -------------- An HTML attachment was scrubbed... URL: From Erwan.Bousse at ls2n.fr Tue Jun 4 17:25:36 2019 From: Erwan.Bousse at ls2n.fr (Erwan BOUSSE) Date: Tue, 04 Jun 2019 17:25:36 +0200 Subject: [fg-arc] =?utf-8?q?CFP_=E2=88=92_International_Workshop_on_Model?= =?utf-8?q?ing_Language_Engineering_and_Execution_=28MLE=29_=E2=88=92_co-l?= =?utf-8?q?ocated_with_MODELS_2019?= Message-ID: ----------------------------------------------------------------------- Call for Papers: International Workshop on Modeling Language Engineering and Execution (MLE) The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC), co-located with MODELS 2019, September 2019, Munich, Germany http://gemoc.org/events/mle2019 [1] ----------------------------------------------------------------------- --------------------------- About the conference --------------------------- MLE 2019 is a brand new MODELS workshop resulting from the merger of two recurring MODELS workshops, namely GEMOC and EXE! Accordingly, it will be a full-day workshop that brings together researchers and practitioners in the modeling languages community to discuss the challenges associated with the engineering of modeling languages, with executability, and with integrating multiple, heterogeneous modeling languages. The languages of interest include both general-purpose and domain-specific languages with topics ranging from the requirements, design, and implementation of languages that may or may not be executable. Following the previous editions of the GEMOC and EXE workshops, the objective is to continue collaborations and to expand on the two overlapping communities that are focused on solving problems arising both from the globalization of modeling languages - i.e., the use of multiple DSLs to support coordinated development of diverse aspects of a system - and the problems related to the executability of modeling languages - i.e., defining, composing, verifying and tooling the execution semantics of DSLs. MLE 2019 will provide an open forum for sharing experiences, problems, and solutions on all these topics. This workshop will be the place where concrete artifacts, ideas, and opinions are exchanged in order to gather constructive feedback. --------------------------- Topics --------------------------- The increasing complexity of modern software-intensive systems demands enhanced software engineering methods. Separation of concerns of the diverse stakeholders' facilitates the coordinated development of system aspects implementing these concerns. These different concerns are often associated with specialized description languages and technologies, which are based on concern-specific problems and solution concepts. Executable modeling languages, for instance, are increasingly used to provide abstractions of a system's behavior, and to perform early analyses of that behavior. Hence, software developers are faced both with the challenging task of engineering each separate modeling language and associated technologies and with the task of integrating the different languages from different concern spaces. The topics of interest include (but are not limited to): - Tools and methods for engineering modeling languages (eg. DSLs) - Defining, composing, verifying and tooling the execution semantics of modeling languages - Composability and interoperability of heterogeneous modeling languages - Heterogeneous modeling and simulation - Tools and methods for the dynamic validation, verification of systems (e.g., model animation, testing debugging, simulation, tracing, trace exploration, model checking, symbolic execution) - Tools and methods to deal with the different system aspects and to ensure consistency and coherence between the different models - Execution and composition of partial and underspecified models - Language interface, viewpoint - Multi-language or multi-disciplinary environment - Model execution and composition in the presence of non-determinism and concurrency - Tools and methods for socio-technical coordination in the context of heterogeneous modeling - Language integration challenges, from requirements to design, for analysis and simulation, during runtime, etc. - Surveys and benchmarks of different approaches for the development of modeling languages Submissions describing practical and industrial experience related to the use of executable and/or heterogeneous modeling languages are also encouraged, particularly in the following application domains: - Cyber-Physical Systems, System of Systems - Internet of Services, Internet of Things - Complex Adaptive Systems - Smart City, Smart Building, Home automation --------------------------- Workshop Format --------------------------- The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and other artifacts on the conjoint use of different modeling languages, collaborations, and community building. The format of the workshop is that of a working meeting. Hence, there is less focus on presentations and more focus on producing and documenting a research content that identifies challenges, different forms of language integration, and relates existing solutions. The workshop consists of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussing each paper and their relations to each other. The afternoon session is devoted to a working session dedicated to open discussions of the presented contributions and other topics suggested by the participants. The closing session is dedicated to develop a plan to publish the results of the discussion in a final workshop report. --------------------------- Submission and Publication --------------------------- The following types of submissions are solicited: - Research papers (up to 8 pages) - Short papers (up to 4 pages) As contributions, we expect early research results about the aforementioned topics, descriptions of problems, case studies, experience reports or solutions related to the topics of interest. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics. Short papers can also describe tool demonstrations or position papers. Papers that describe use cases or novel approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository. Artifacts should illustrate any experience on the conjoint use of different modeling languages. All submissions have to follow the the IEEE format (https://www.ieee.org/conferences/publishing/templates.html [2]) and must be submitted electronically in PDF format via Easychair (https://easychair.org/my/conference?conf=mle2019 [3]). All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning the validity and the ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. The accepted papers will be published as IEEE online proceedings and indexed in DBLP and Scopus. --------------------------- Important Dates --------------------------- - Abstract submission deadline: June 28, 2019 - Paper submission deadline: July 5, 2019 - Notification of acceptance: July 28, 2019 - Workshop: September 2019 --------------------------- Organization committee --------------------------- - Erwan Bousse, University of Nantes, France - Julien Deantoni, University of Nice, France - Romina Eramo, University of L'Aquila, Italy - Jeff Gray, University of Alabama, USA - Ed Seidewitz, Model Driven Solutions, USA --------------------------- Program Committee --------------------------- - Bernhard Rumpe, RWTH Aachen University - Manuel Wimmer, Johannes Kepler University Linz - Hans Vangheluwe, University of Antwerp and McGill University - Mark Van Den Brand, Eindhoven University of Technology - Gunter Mussbacher, McGill University - Safouan Taha, CentraleSupelec - Tony Clark, Aston University - Florian Noyrit, CEA LIST - Matthias Schöttle, McGill University - Hugo Bruneliere, NaoMod Team (IMT Atlantique & LS2N - CNRS) - Benoit Combemale, University of Toulouse & Inria - Jean-Michel Bruel, IRIT - Steffen Zschaler, King's College London - (to be completed) Links: ------ [1] http://gemoc.org/events/mle2019 [2] https://www.ieee.org/conferences/publishing/templates.html [3] https://easychair.org/my/conference?conf=mle2019 -------------- next part -------------- An HTML attachment was scrubbed... URL: From jpanach at dsic.upv.es Wed Jun 5 17:21:28 2019 From: jpanach at dsic.upv.es (Ignacio Panach Navarrete) Date: Wed, 5 Jun 2019 17:21:28 +0200 Subject: [fg-arc] CFP: ER Forum 2019 4-7 Nov 2019 Message-ID: <65006bcb-fb3c-6a62-3345-989c0fde4287@dsic.upv.es> **************************************************************************** CALL FOR PAPERS in the ER Forum in conjunction with the 38th International Conference on Conceptual Modeling (ER2019) to be held in Salvador, Brazil. from Nov. 4-7, 2019 *************************************************************************** Scope ===== The ER 2019 Forum aims to create a platform for presenting and discussing novel research ideas addressing any of the ER 2019 conference topics as well as new emerging topics related to the conceptual modeling field. In this track, innovation prevails over maturity. The main goal of the ER Forum 2019 is to facilitate the interaction, discussion and exchange of ideas among presenters and participants. Important dates =============== Deadline for submissions:         June 30, 2019 Notification of acceptance:     August 8, 2019 Camera-ready deadline:         September 8, 2019 Author Guidelines ================= The rules for ER Forum paper submission are similar to those for the ER 2019 conference. Therefore, we invite two types of submissions: Full papers with a limit of 14 pages, and short papers with a limit of 8 pages. The papers must adhere to Springer’s LNCS submission formatting guidelines (for details see http://www.springer.de/comp/lncs/authors.html). Manuscripts not submitted in the LNCS style or exceeding the page limit will not be reviewed and hence, they will be automatically rejected. A paper submitted to ER 2019 Forum must not be under review in any other conference or journal during the time it is being considered for ER 2019 Forum. The submissions are due in PDF format through the ER 2019 submission system hosted by EasyChair at https://easychair.org/conferences/?conf=er2019 Publication and Presentation ============================ All submissions will be reviewed by an international program committee. The volume of accepted ER 2019 Forum papers shall be submitted to CEUR-WS.org for online publication with the same submission format. In order to propel discussion and feedback opportunities instead of the usual paper presentation session, the ER 2019 Forum papers will be presented in a “World-Cafè” setting initiated by a short elevator speech by each author. Therefore, physical presence of at least one presenter for each ER 2019 Forum paper is mandatory. Program Committee (tentative) ============================== Heinrich C. Mayr, Alpen-Adia Universität, Austria Giancarlo Guizzardi, UFES, Brazil Hui Ma, Victoria University of Wellington, New Zealand Oscar Pastor, Universidad Politécnica de Valencia, Spain Fabiano Dalpiaz, Utrecht University, Netherlands Beatriz Marín, Universidad Diego Portales, Chile Giovanni Giachetti, Universidad Andres Bello, Chile Raian Ali, Bournemouth University, UK Sagar Sen, Simula Research Laboratory, Norway Dolors Costal, Universitat Politècnica de Catalunya, Spain Ravi Ramdoyal, CETIC, Belgium Kurt Sandkuhl, University of Rostock, Germany Martin Henkel, Stockholm University, Sweden Sergio España, Utrecht University, Netherlands Cristina Cabanillas, Vienna University of Economics and Business, Austria Forum Chairs ============ Ignacio Panach, Universitat de València, joigpana at uv.es From ideal.conf at gmail.com Sat Jun 8 10:08:51 2019 From: ideal.conf at gmail.com (Ideal series) Date: Sat, 8 Jun 2019 10:08:51 +0200 Subject: [fg-arc] [IDEAL 2019] Call for Special Sessions and Workshops. 20th Int. Conference on Intelligent Data Engineering and Automated Learning. November, Manchester (UK) Message-ID: 20th International conference on Intelligent Data Engineering and Automated Learning (IDEAL 2019) 14-16 November, Manchester, UK http://www.confercare.manchester.ac.uk/events/ideal2019/ --------------------------------------- Call for Special Sessions and Workshops --------------------------------------- The International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) is an annual international conference dedicated to emerging and challenging topics in intelligent data analysis, data mining and their associated learning systems and paradigms. In its 20th edition, it is returing to Manchester, the birth place of Artificial Intelligence. Its main research themes or topics include, but not limited to: - Big Data Analytics - Machine Learning & Deep Learning - Data Mining - Information Retrieval and Management - Bio- and Neuro-Informatics - Bio-Inspired Models - Agents and Hybrid Intelligent Systems - Real-world Applications of Intelligent Techniques Researchers and prospective organizers are invited to submit a one-page proposal for a special session to Programme Co-chair Antonio Tallon [ atallon at us.es], before 21 June 2019. Each proposal should include: - The title of the special session. - The organizers with their affiliations. - A description of why the topic is of special interest and how it fits to the scope of IDEAL. - The list of topics. Workshop proposals should also include the following items: - The name(s) of the presenter(s) of the introductory talk. - A theme for the discussion. The goal of the special sessions and workshops are to gather papers fitting a specific topic. It is also a good opportunity to share knowledge and to join different researchers who work is a similar topic. Thus, trending themes are of special interest to entitle the sessions, as well as the scope where the organizers have experience in the recent months or years. The conference programme will have a slot to present all the papers from every special session. People who have proposed sessions in previous editions are also invite to re-edit the session an even to extend to contemporary issues. For a reference, the proceedings volumes of the previous conferences, indexed by DBLP (https://dblp.org/db/conf/ideal/index.html), are available in the following links: - IDEAL 2018: https://link.springer.com/book/10.1007%2F978-3-030-03493-1 and https://link.springer.com/book/10.1007%2F978-3-030-03496-2 - IDEAL 2017: https://link.springer.com/book/10.1007%2F978-3-319-68935-7 - IDEAL 2016: https://link.springer.com/book/10.1007%2F978-3-319-46257-8 - IDEAL 2015: https://link.springer.com/book/10.1007%2F978-3-319-24834-9 ---------------- Paper Submission ---------------- Authors are invited to submit their manuscripts for special session or workshops (in pdf format) written in English by the deadline via the Easychair online submission system ( https://easychair.org/conferences/?conf=ideal2019). Papers should be within 8 pages but must not exceed 10 pages, and must comply with the format of Springer LNCS/LNAI Proceedings (see www.springer.com/lncs ). --------------- Important dates --------------- - Submission Deadline for special sessions: 20 July 2019 - Notification of Acceptance: 1 August 2019 - Camera-Ready Copy Due and Author/Early Registration: 15 August 2019 - Conference: 14-16 November 2019 -------------------- Organising Committee -------------------- General chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK Program chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK - Antonio Tallon, University of Seville, Spain International advisory committee -------------------------------- - Lei Xu - Shun-ichi Amari - Nick Jennings - Erkki Oja - Burkhard Rost - Francisco Herrera - Yaser Abu-Mostafa - Michael Dempster - Soo-Young Lee - Latit M. Patnaik - Xin Yao Steering committee ------------------ - Hujun Yin - Guilherme Barreto - Emilio Corchado - Colin Fyfe - Samuel Kaski - Jimmy Lee - Vic Rayward-Smith - Zheng Rong Yang - Laiwan Chan - Yiu-ming Cheung - Jose A. Costa - Marc van Hulle - John Keane - Malik Magdon-Ismail - Peter Tino - Ning Zhong -------- Sponsors -------- - The University of Manchester - The Alan Turing Institute - Springer ------- Contact ------- For all general information concerning IDEAL 2019, contact: confercare-online at manchester.ac.uk Libre de virus. www.avg.com <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Thu Jun 6 14:29:49 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 06 Jun 2019 14:29:49 +0200 Subject: [fg-arc] =?utf-8?q?CfP_JWS_special_issue_on_Benchmarking_Semanti?= =?utf-8?q?c_Web_Solutions_=3A_31st_August_2019?= Message-ID: <849-5cf90700-ba9-565dcb00@154490890> (Apologies for multiple postings) ----------------------------------------------------- * Special Issue of the JWS on Benchmarking Semantic Web Solutions * ** Call for Papers ** The availability of benchmarks is often regarded as a prerequisite for sustainable developments in quantitative research. From a practical perspective, the cost and effort required for introducing Semantic Web and Linked Data technology is significant. A key step towards abolishing the barriers to the adoption and deployment of this technology is to provide open benchmarking reports that allow users to assess the fitness of existing solutions for their purposes. In this special issue, we hence welcome articles (1) proposing benchmarks and related platforms, and/or (2) performing a throughout evaluation of Semantic Web solutions. A focus of the special issue will be scalability and reproducibility. The target topics of the benchmark/evaluation include (but are not limited to): Knowledge extraction Named entity recognition Disambiguation Relation extraction Open and closed knowledge extraction Link discovery and prediction Linking at scale Linking for dedicated data types (e.g., geospatial data) Knowledge curation and fact checking Ontology alignment Alignment discovery Alignment repair Complex ontology alignment Tabular data to knowledge graph matching Cell to KG entity matching Column to KG semantic type Relation discovery among table columns KG population OWL reasoning Classification Entailment checking Class satisfiability Ontology satisfiability Query answering Knowledge graph completion Semantic embeddings Quality of embeddings Ontology Based Data Access Performance Relational schema to ontology alignment Visualization Browsing ** Important Dates ** Intention to submit: 31st July 2019, 23:59 PM Hawaii-Time Submission deadline: 31st August 2019 Author notification (1st round): 15th October 2019 Revisions due: 15th November 2019 Publication: Q1 2020 ** Guest Editors ** - Axel Ngonga, Paderborn University (Germany) (axel.ngonga at uni-paderborn.de) - Cassia Trojahn dos Santos, Institut de Recherche en Informatique de Toulouse (France) (cassia.trojahn at irit.fr) - Ernesto Jimenez-Ruiz, The Alan Turing Institute (UK) and University of Oslo (Norway) (ernesto.jimenez.ruiz at gmail.com) - Main contact point - Valentina Tamma, University of Liverpool (UK) (V.Tamma at liverpool.ac.uk) From Cassia.Trojahn at irit.fr Thu Jun 6 14:30:53 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Thu, 06 Jun 2019 14:30:53 +0200 Subject: [fg-arc] =?utf-8?q?CfP_JWS_special_issue_on_Benchmarking_Semanti?= =?utf-8?q?c_Web_Solutions_=3A_31st_August_2019?= Message-ID: <1c5e-5cf90780-447-18e57040@102939872> (Apologies for multiple postings) ----------------------------------------------------- * Special Issue of the JWS on Benchmarking Semantic Web Solutions * ** Call for Papers ** The availability of benchmarks is often regarded as a prerequisite for sustainable developments in quantitative research. From a practical perspective, the cost and effort required for introducing Semantic Web and Linked Data technology is significant. A key step towards abolishing the barriers to the adoption and deployment of this technology is to provide open benchmarking reports that allow users to assess the fitness of existing solutions for their purposes. In this special issue, we hence welcome articles (1) proposing benchmarks and related platforms, and/or (2) performing a throughout evaluation of Semantic Web solutions. A focus of the special issue will be scalability and reproducibility. The target topics of the benchmark/evaluation include (but are not limited to): Knowledge extraction Named entity recognition Disambiguation Relation extraction Open and closed knowledge extraction Link discovery and prediction Linking at scale Linking for dedicated data types (e.g., geospatial data) Knowledge curation and fact checking Ontology alignment Alignment discovery Alignment repair Complex ontology alignment Tabular data to knowledge graph matching Cell to KG entity matching Column to KG semantic type Relation discovery among table columns KG population OWL reasoning Classification Entailment checking Class satisfiability Ontology satisfiability Query answering Knowledge graph completion Semantic embeddings Quality of embeddings Ontology Based Data Access Performance Relational schema to ontology alignment Visualization Browsing ** Important Dates ** Intention to submit: 31st July 2019, 23:59 PM Hawaii-Time Submission deadline: 31st August 2019 Author notification (1st round): 15th October 2019 Revisions due: 15th November 2019 Publication: Q1 2020 ** Guest Editors ** - Axel Ngonga, Paderborn University (Germany) (axel.ngonga at uni-paderborn.de) - Cassia Trojahn dos Santos, Institut de Recherche en Informatique de Toulouse (France) (cassia.trojahn at irit.fr) - Ernesto Jimenez-Ruiz, The Alan Turing Institute (UK) and University of Oslo (Norway) (ernesto.jimenez.ruiz at gmail.com) - Main contact point - Valentina Tamma, University of Liverpool (UK) (V.Tamma at liverpool.ac.uk) From alexander.perucci at univaq.it Fri Jun 7 09:14:17 2019 From: alexander.perucci at univaq.it (alexander.perucci at univaq.it) Date: Fri, 7 Jun 2019 09:14:17 +0200 (CEST) Subject: [fg-arc] [CfP] ASYDE workshop @SEFM'19 - Extended abstract and paper submission deadline Message-ID: <1704225442.41.1559891657222.JavaMail.Alexander@DESKTOP-7TKA96C> [Apologies for multiple postings] ** Abstract submission extended: the ASYDE @ SEFM'19 abstract submission deadline is extended to June 17th, 2019 ** Paper submission extended: the ASYDE @ SEFM'19 paper submission deadline is extended to June 24th, 2019 More on http://asyde2019.disim.univaq.it/ -- Call for Papers -- ASYDE 2019: 1st International Workshop on on Automated and verifiable Software sYstem DEvelopment, co-located with the 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September 16, 2019 During the last three decades, automation in software development has gone mainstream. Software development teams strive to automate as much of the software development activities as possible. Automation helps, in fact, to reduce development time and cost, as well as to concentrate knowledge by bringing quality into every step of the development process. Realizing high-quality software systems requires producing software that is efficient, errorfree, cost-effective, and that satisfies customer requirements. Thus, one of the most crucial factors impacting software quality concerns not only the automation of the development process but also the ability to verify the outcomes of each process activity and the goodness of the resulting software product as well. ASYDE 2019 provides a forum for researchers and practitioners to propose and discuss on automated software development methods and techniques, compositional verification theories, integration architectures, flexible and dynamic composition, and automated planning mechanisms. ASYDE 2019 welcomes research papers, (industrial) experience papers and case-studies, tool demonstrations and visionary papers; nevertheless, papers describing novel research contributions and innovative applications are of particular interest. Details on workshop goals and themes can be found at: http://asyde2019.disim.univaq.it/ == IMPORTANT DATES == - Abstract submission: June 17th, 2019 (extended) - Paper submission: June 24th, 2019 (extended) - Notification: July 15th, 2019 - Camera ready: July 22nd, 2019 == TOPICS OF INTEREST (although not limited to) == - Specification, architecture, and design of software and verification models - Formal methods for automated software development - Model-driven software development - Correct-by-construction software development - Automated synthesis of software integration code - Automated software development and integration - Automated and verifiable software development - Automated planning methods - Non-functional properties of software - Software quality assurance for automated software development - Compositional theories for software development and its (dynamic) verification - Dynamic verification and testing - Service-oriented and Component-based software development - Machine learning techniques == PAPER SUBMISSION == Workshop papers must follow the SEFM 2019 Format and Submission Guidelines: https://sefm2019.inria.fr/cfp/ The submission Web page for ASYDE 2019 is https://easychair.org/conferences/?conf=asyde2019 Each submitted paper will undergo a process of formal peer review by at least 3 PC members. Contributions can be: - Regular papers (from 10 to 15 pages): In this category fall those contributions that propose novel research contributions, address challenging problems with innovative ideas, or offer practical contributions (e.g., industrial experiences and case-studies) in the application of FM and SE approaches for automated and verifiable software development. Regular papers must clearly describe the situation or problem tackled, the relevant state of the art, the proposed position or solution, and the potential benefits of the contribution. Authors of papers reporting industrial experiences are encouraged to make their experimental results available for use by reviewers. - Short papers (from 6 to 8 pages): This category includes tool demonstrations, position papers, and visionary papers. Authors of tool demonstration papers should make their tool available for use by reviewers == WORKSHOP CHAIRS == - Farhad Arbab, CWI, The Netherlands Farhad.Arbab at cwi.nl - Marco Autili, University of L'Aquila, Italy marco.autili at univaq.it - Federico Ciccozzi, Mälardalen University, Sweden federico.ciccozzi at mdh.se - Pascal Poizat, Sorbonne Université, France pascal.poizat at lip6.fr - Massimo Tivoli, University of L'Aquila, Italy, massimo.tivoli at univaq.it == PROGRAM COMMITTEE == - Luciano Baresi, Politecnico di Milano - Steffen Becker, University of Stuttgart - Domenico Bianculli, SnT Centre - University of Luxembourg - Antonio Brogi, University of Pisa - Radu Calinescu, University of York - Antinisca Di Marco, University of L'Aquila - Amleto Di Salle, University of L'Aqula - Schahram Dustdar, Vienna University of Technology - Nikolaos Georgantas, INRIA - Marina Mongiello, Politecnico di Bari - Cristina Seceleanu, Mälardalen University - Meng Sun, Peking University - Apostolos Zarras, University of Ioannina == KEYNOTE by Marjan Sirjani, Mälardalen University == TITLE: Reactive Systems: From Requirements to Verifiable Models to Code ABSTRACT: Software systems are complicated, and the scientific and engineering methodologies for software development are relatively young. We need robust methods for handling the ever-increasing complexity of software systems that are now in every corner of our lives. In this talk I will focus on asynchronous event-based reactive systems and show how we start from the requirements, move to actor-based models, verify the models for correctness, and build executable codes based on that. I show how we can use the architecture design and sequence diagrams to build the behavioral model, and the state diagrams to write the properties of interest, and then use model checking to check the properties. We then refine the verified models to develop the executable code. The natural mappings among the models for requirements, the formal models, and the executable code improve the effectiveness and efficiency of the approach. It also helps in runtime monitoring and adaptation. == WEB CHAIR == - Amleto Di Salle, University of L'Aquila, Italy == PUBLICITY CHAIR == - Alexander Perucci, University of L'Aquila, Italy From Cassia.Trojahn at irit.fr Tue Jun 11 00:28:26 2019 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 11 Jun 2019 00:28:26 +0200 Subject: [fg-arc] =?utf-8?q?=5BOM-2019=5D_Final_call_for_papers_=28deadli?= =?utf-8?q?ne_June_28th=29?= In-Reply-To: <1c5e-5cf90780-447-18e57040@102939872> Message-ID: <5338-5cfed980-acb-556b7780@237949046> ----------------------------------------------------------------------------- FINAL CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS APPROACHING ON JUNE 28TH, 2019 ------------------------------------------------------------------------------ The Fourteenth International Workshop on ONTOLOGY MATCHING (OM-2019) http://om2019.ontologymatching.org/ October 26th or 27th, 2019, ISWC Workshop Program, Auckland, New Zealand BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or process mapping. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, process mapping and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2019 campaign: http://oaei.ontologymatching.org/2019/ 3. To examine new uses, similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., with environmental data); Formal foundations and frameworks for matching; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2019 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than June 28th, 2019) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2019 Contributors to the OAEI 2019 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2019/. DATES FOR TECHNICAL PAPERS AND POSTERS: June 28th, 2019: Deadline for the submission of papers. July 24th, 2019: Deadline for the notification of acceptance/rejection. August 26th, 2019: Workshop camera ready copy submission. October 26th or 27th, 2019: OM-2019, Auckland, New Zealand. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jerome Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jimenez-Ruiz The Alan Turing Institute, UK & University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5.Cassia Trojahn IRIT, France PROGRAM COMMITTEE: Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jerome David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Warith Eddine Djeddi, LIPAH & LABGED, Tunisia AnHai Doan, University of Wisconsin, USA Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Simon Kocbek, University of Melbourne, Australia Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linkpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Vincenzo Maltese, University of Trento, Italy Fiona McNeill, University of Edinburgh, UK Christian Meilicke, University of Mannheim, Germany Peter Mork, MITRE, USA Andriy Nikolov, Metaphacts GmbH, Germany Axel Ngonga, University of Paderborn, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Mendez, University of Chile, Chile Juan Sequeda, Capsenta, USA Kavitha Srinivas, IBM, USA Giorgos Stoilos, National Technical University of Athens, Greece Pedro Szekely, University of Southern California, USA Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic Songmao Zhang, Chinese Academy of Sciences, China ------------------------------------------------------- From irdta at irdta.eu Mon Jun 10 15:49:51 2019 From: irdta at irdta.eu (IRDTA) Date: Mon, 10 Jun 2019 15:49:51 +0200 Subject: [fg-arc] TPNC 2019: 2nd call for papers Message-ID: <545102060a010b0a085152040f025a515656510205500f520a000d57570f57005c555605005a08025107040b505754@grlmc_ip-zone_com-6> TPNC 2019: 2nd call for papers*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   **************************************************************************** 8th INTERNATIONAL CONFERENCE ON THE THEORY AND PRACTICE OF NATURAL COMPUTING   TPNC 2019   Kingston, Canada   December 9-11, 2019   Co-organized by:   Royal Military College of Canada   Institute for Research Development, Training and Advice Brussels / London   http://tpnc2019.irdta.eu/ ****************************************************************************   AIMS:   TPNC is a conference series intending to cover the wide spectrum of computational principles, models and techniques inspired by information processing in nature. TPNC 2019 will reserve significant room for young scholars at the beginning of their career and particular focus will be put on methodology. The conference aims at attracting contributions to nature-inspired models of computation, synthesizing nature by means of computation, nature-inspired materials, and information processing in nature.   VENUE:   TPNC 2019 will take place in Kingston, a city midway between Toronto and Montréal with an important military history. The venue will be:   Royal Military College of Canada Kingston, Ontario Canada K7K 7B4   https://www.rmc-cmr.ca/en   SCOPE:   Topics include, but are not limited to:   - Theoretical contributions to:   ant colony optimization artificial immune systems artificial life cellular automata cognitive computing collective behaviour collective intelligence computational intelligence computing with words developmental systems DNA computing DNA nanotechnology evolutionary algorithms evolutionary computing fuzzy logic fuzzy sets fuzzy systems genetic algorithms genetic programming granular computing heuristics intelligent agents intelligent systems machine intelligence metaheuristics molecular programming multiobjective optimization neural networks quantum communication quantum computing quantum information rough sets self-organization soft computing swarm intelligence unconventional computing   - Applications of natural computing to:   algorithmics bioinformatics control cryptography design economics graphics hardware human-computer interaction knowledge discovery learning logistics medicine natural language processing optimization pattern recognition planning and scheduling programming robotics telecommunications web intelligence   A flexible "theory to/from practice" approach would be the perfect focus for the expected contributions.   STRUCTURE:   TPNC 2019 will consist of:   - invited talks - peer-reviewed contributions - posters   INVITED SPEAKERS:   tba   PROGRAMME COMMITTEE:   Mohammad Amin (D-Wave Systems, CA) Plamen P. Angelov (Lancaster University, UK) Thomas Bäck (Leiden University, NL) Peter Bentley (University College London, UK) Mauro Birattari (Université Libre de Bruxelles, BE) Christian Blum (Higher Scientific Research Council, ES) Shyi-Ming Chen (National Taiwan University of Science and Technology, TW) Carlos A. Coello Coello (CINVESTAV – National Polytechnic Institute, MX) Claude Crépeau (McGill University, CA) Marco Dorigo (Université Libre de Bruxelles, BE) Matthias Ehrgott (Lancaster University, UK) Andries Engelbrecht (Stellenbosch University, ZA) Juan José García-Ripoll (Higher Scientific Research Council, ES) Deborah M. Gordon (Stanford University, US) Jin-Kao Hao (University of Angers, FR) Wei-Chiang Samuelson Hong (Jiangsu Normal University, CN) Thomas R. Ioerger (Texas A&M University, US) Etienne E. Kerre (Ghent University, BE) Chung-Sheng Li (Accenture, IE) Gui Lu Long (Tsinghua University, CN) Chao-Yang Lu (University of Science and Technology of China, CN) Pabitra Kumar Maji (Bidhan Chandra College, IN) Vittorio Maniezzo (University of Bologna, IT) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Luis Martínez López (University of Jaén, ES) Serge Massar (Université Libre de Bruxelles, BE) Marjan Mernik (University of Maribor, SI) Hossein Nezamabadi-Pour (Shahid Bahonar University of Kerman, IR) Norman Packard (Daptics, US) Sidhartha Panda (Veer Surendra Sai University of Technology, IN) Elpiniki Papageorgiou (University of Applied Sciences of Thessaly, GR) Geoffrey Pond (Royal Military College of Canada, CA) Kai (Alex) Qin (Swinburne University of Technology, AU) Celso C. Ribeiro (Fluminense Federal University, BR) José Santos-Victor (Instituto Superior Técnico, PT) Shahab Shamshirband (Norwegian University of Science and Technology, NO) Narasimhan Sundararajan (Nanyang Technological University, SG) José Luis Verdegay (University of Granada, ES) Fernando J. Von Zuben (University of Campinas, BR) Xin-She Yang (Middlesex University, UK) Bo Yuan (Rochester Institute of Technology, US) Yi Zhang (Sichuan University, CN) Xudong Zhao (Bohai University, CN)   ORGANIZING COMMITTEE:   Sara Morales (Brussels) Manuel Parra-Royón (Granada) Geoffrey Pond (Kingston, co-chair) David Silva (London, co-chair) Miguel A. Vega-Rodríguez (Cáceres)   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).   Submissions have to be uploaded to:   https://easychair.org/conferences/?conf=tpnc2019   PUBLICATIONS:   A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.   A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.   REGISTRATION:   The registration form can be found at:   http://tpnc2019.irdta.eu/Registration.php   DEADLINES (all at 23:59 CET):   Paper submission: July 27, 2019 Notification of paper acceptance or rejection: August 31, 2019 Final version of the paper for the LNCS proceedings: September 7, 2019 Early registration: September 7, 2019 Late registration: November 25, 2019 Submission to the journal special issue: March 11, 2020   QUESTIONS AND FURTHER INFORMATION:   david at irdta.eu   ACKNOWLEDGMENTS:   Royal Military College of Canada / Collège militaire royal du Canada   IRDTA – Institute for Research Development, Training and Advice, Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From apvereda at uma.es Wed Jun 12 18:06:28 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Wed, 12 Jun 2019 16:06:28 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019=3A_Deadline_extension=2C_July_4t?= =?utf-8?q?h?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190612160622.16255ea787.a5881246@mail123.sea91.rsgsv.net> Last days to send your paper to Foclasa 2019 ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=d791401087&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 // July 4, 2019 * Submission of papers: June 16, 2019 // July 4, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=042f5b8771&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=e510b76feb&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=0d857bc027&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=16255ea787) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From johannes.meier at uni-oldenburg.de Thu Jun 13 11:37:51 2019 From: johannes.meier at uni-oldenburg.de (Johannes Meier) Date: Thu, 13 Jun 2019 11:37:51 +0200 Subject: [fg-arc] International Workshop on View-oriented Software Engineering (VoSE): Call for Papers Message-ID: <69ef9765-85fc-5cb7-149e-07971322b4ab@uni-oldenburg.de> 1st International Workshop on View-oriented Software Engineering (VoSE) https://uol.de/se?vose2019 15 September 2019, Munich, Germany Call for Papers Modern software systems are often so complex that a comprehensive description of their functionality lies beyond the representative capabilities of a single paradigm or software description format (i.e. type of model). Therefore, a growing variety of heterogeneous representations (e.g. specifications, models, programs etc.) are typically used in the various phases of software development to describe different aspects of a system's behavior and properties. These essentially represent different conceptual views of a software system, and usually present overlapping information that needs to be kept consistent. Traditional software engineering environments have implicitly adopted a synthesis-based approach to views in which the different representations of software systems are treated as separate, sovereign artefacts. The properties of the system under development are then inferred from a synthesis of the information spread over the different views, and the overall coherence of the information is ensured by maintaining a large number of pairwise "correspondences" between the separate artefacts. Although this worked in the early years of software engineering, synthesis-based approaches are not easy to scale up to today's systems. As well as the problems created by the sheer number of correspondence relationships (cf. traceability) that need to be maintained (which grows with the square of the number of views), the step-wise refinement principle underpinning synthesis-based methods does not suit the continuous-evolution style in which software is typically developed today. Attention is therefore turning to alternative "projective" approaches to software engineering in which view are projected (i.e. transformed) on a demand from a Single Underlying Model (SUM) which contains a comprehensive, coherent description of the system. This dramatically decreases the number of inter-view coherence relationships that need to be maintained and thus the scalability of multi-view approaches. However, it raises many new challenges such as how views are kept consistent with the SUM, how the SUM is created and structured internally, how new viewpoints and view types are defined, what roles are involved in view definition and usage etc. The goal of this workshop is to illuminate these issues and shed light on the pros and cons of different approaches. The workshop is therefore interested in submissions on all aspects of view-based software systems engineering especially those describing SUM based approaches and comparing projective versus synthetic strategies for modeling software and systems. Potential topics include: - clarifying the relationship between different views or metamodels - generating, defining and evolving views and SUMs - exploring round-trip engineering and co-evolution in a view-based approach - composition of different views/models, metamodels and SUMs - creating SUMs in an existing model/metamodel/language landscape - use of (bidirectional) transformations in view-based environments - avoiding inconsistencies, overlap and redundancies between views - using advanced modeling approaches in view-based approaches such as role modeling - separating and re-integrating cross-cutting concerns or model weaving - supporting dynamic information hiding for partial views - integrating software and non-software models Deadlines - Paper Submission: 05 July 2019 - Author Notification: 26 July 2019 - Camera-ready Submission: 05 August 2019 - Workshop Date: 15 September 2019 Submissions Two kinds of papers may be submitted: Research papers of up to 8 pages (including references) which presents original work on problems that occur in view-based software engineering and/or solutions that deal with the systematic separation or integration of models, concerns, views, roles, or other modelling artefacts. Position papers of up to 4 pages (including references) which present an innovative and well-defined position on how view-based software engineering can be improved and applied in the future. Papers should be formatted according to the IEEE formatting instructions: https://www.ieee.org/conferences/publishing/templates.html Authors submit their papers as PDF files to https://easychair.org/conferences/?conf=vose2019 Accepted papers will be published by IEEE in an online workshop proceedings. Evaluation Process Submissions will be reviewed by program committee members regarding originality, scientific quality and relevance. Each submission will receive at least two reviews. Organizers Colin Atkinson, University of Mannheim, Germany Erik Burger, Karlsruhe Institute of Technology, Germany Johannes Meier, Carl von Ossietzky University, Oldenburg, Germany Ralf Reussner, Karlsruhe Institute of Technology, Germany Andreas Winter, Carl von Ossietzky University, Oldenburg, Germany Program Committee (current status 2019-06-13) Olivier Barais, University of Rennes 1 / IRISA, France Steffen Becker, University of Stuttgart, Germany Antonio Cicchetti, Maelardalen University, Sweden Ulrich Frank, University of Duisburg/Essen, Germany Mike Godfrey, University of Waterloo, Canada Michael Goedicke, University of Duisburg/Essen, Germany Georg Grossmann, University of South Australia, Australia Anca D. Ionita, Polytechnic University of Bucharest, Romania Joerg Kienzle, McGill University, Canada Heiko Klare, Karlsruhe Institute of Technology, Germany Anne Koziolek, Karlsruhe Institute of Technology, Germany Dilshodbek Kuryazov, TUIT/Branch Urgench, Uzbekistan Noel Plouzeau, University of Rennes, France Marten van Sinderen, University of Twente, Netherlands Antonio Vallecillo, Universidad de Malaga, Spain Christopher Werner, Dresden University of Technology, Germany Manuel Wimmer, TU Wien, Austria Steffen Zschaler, King's College London, United Kingdom From w.j.fokkink at vu.nl Fri Jun 14 21:26:21 2019 From: w.j.fokkink at vu.nl (Fokkink, W.J.) Date: Fri, 14 Jun 2019 19:26:21 +0000 Subject: [fg-arc] CONCUR 2019 call for participation In-Reply-To: <3eea9de3234049009dae1c98a340b09c@vu.nl> References: <3eea9de3234049009dae1c98a340b09c@vu.nl> Message-ID: <8d370f9b34a54b2db6c528bf6097ddc9@vu.nl> ================================ CONCUR 2019 - Call for Participation Early Registration Deadline: 7 July 2019 ================================ https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory (CONCUR) will take place in Amsterdam, the Netherlands, on 27-30 August 2019. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. ============== Keynote speakers ============== Marta Kwiatkowska (University of Oxford, UK) Kim G. Larsen (Aalborg University, Denmark) Joël Ouaknine (Max Planck Institute for Software Systems, Germany) Jaco van de Pol (Aarhus University, Denmark) ================ High-quality papers ================ CONCUR 2019 features 37 high-quality papers. The list can be found at https://event.cwi.nl/concur2019/papers.html =================== Co-located conferences =================== There are two co-located conferences: 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019) 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019) ================= Thematic workshops ================= There are six co-located workshops on special topics: 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS 2019) Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019) 2nd International Workshop on Recent Advances in Concurrency and Logic (RADICAL 2019) 4th International Workshop on Timing Performance Engineering for Safety Critical Systems (TIPS 2019) 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019) 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019) ========== Registration ========== Register by the 7th of July 2019 to benefit of the early registration fees. Late registration is possible at a higher cost. More information at: https://event.cwi.nl/concur2019/participation.html ================== Organizing Committee ================== General Chair: Jos Baeten (CWI, Amsterdam, The Netherlands) Workshop Chair: Bas Luttik (Eindhoven University of Technology, The Netherlands) Program Co-chairs: Wan Fokkink (Vrije Universiteit Amsterdam, The Netherlands) Rob van Glabbeek (Data61, CSIRO, Sydney, Australia) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sun Jun 16 13:46:18 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 16 Jun 2019 11:46:18 +0000 Subject: [fg-arc] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Message-ID: <34C6A874-B8CC-47BF-B301-FF51F339A08F@gatech.edu> Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2017 in selective journals or were presented recently at related conferences but, but that have not been previously presented at ICLP. The goal of this track is twofold: * To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. * To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2019 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2019 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements Submissions must meet the following criteria: * Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA. * Candidate papers must have appeared since 2017. * Papers that are in press may be submitted as long as the final camera-ready version is available. * Extensions of papers that have been previously presented at ICLP are not eligible for this track. Submission Process All submissions will be done via EasyChair: https://easychair.org/conferences/?conf=iclp2019 Please select the "New submission" and then the track "Sister Conferences and Journal Presentation" - The submission will be in the following format: * Title of the original journal paper (to be published on the Web); * Complete reference of the original paper (to be published on the Web); * URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); * An accompanying letter containing an explanation of why this paper is interesting to the logic programming community (in PDF); * A copy of the paper with its final camera-ready contents (in PDF). * A 2-page extended abstract of the paper (in PDF, LNCS format) (optional: only if the authors wish to publish such an extended abstract in the technical communications of ICLP). Submissions will go through a selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates * Submission deadline: June 27th, 2019 * Notification of acceptance: July 15, 2019 * Conference: September 20-25, 2019 Journal Presentation Track Chairs * Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts at vub.be * Giovambattista Ianni, University of Calabria, ianni at unical.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Sun Jun 16 13:50:00 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 16 Jun 2019 11:50:00 +0000 Subject: [fg-arc] ICLP 2019 - Special Session: Women in Logic Programming Message-ID: <2BCB0564-20BF-4556-ADD8-88EDD91B0771@gatech.edu> The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in OASIcs format, including references) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All technical communications will be presented during the conference, preferably by women. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Keynotes ======== Yuliya Lierler Important Dates =============== Paper submission: June 25, 2019 Final notification: July 17, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 20--25, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ekaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria From fioretto.ferdinando at isye.gatech.edu Sun Jun 16 14:26:48 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Sun, 16 Jun 2019 12:26:48 +0000 Subject: [fg-arc] CFP: The 35th International Conference on Logic Programming (ICLP 2019) Message-ID: Apologies for cross-posting - Please forward to anybody who might be interested The 35th International Conference on Logic Programming (ICLP 2019) Call for Papers ===================== September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ Scope ------ Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Tracks and Special Sessions --------------------------- Besides the main track, ICLP 2019 will host additional tracks and special sessions: * Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. * Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences, but have not been previously presented at ICLP. * Research Challenges in Logic Programming Track: This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. * Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming. Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details. Submission Details ------------------- All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 . Regular papers must be in the condensed TPLP format and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of regular papers will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some regular papers to be published as Technical communications, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. All regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Important Dates ---------------- * Abstract registration (abstract, regular papers): May 8, 2019 * Paper submission (regular papers): May 15, 2019 * Paper submission (short papers): May 15, 2019 * Notification (regular papers): June 19, 2019 * Revision deadline (TPLP papers): July 3, 2019 * Final notifications (TPLP papers, short papers): July 17, 2019 * Camera-ready copy: July 31, 2017 * Conference: September 20-25, 2019 Organization ------------- General Chairs: Enrico Pontelli - New Mexico State University Son Tran Cao - New Mexico State University Program Chairs: Esra Erdem - Sabanci University German Vidal - Universitat Politecnica de Valencia Publicity Chair: Ferdinando Fioretto - Georgia Institute of Technology Workshops Chair: Martin Gebser - University of Klagenfurt and Graz University of Technology Tutorials Chair: Pedro Cabalar - University of Corunna DC Chairs: Paul Fodor - Stony Brook New York Daniela Inclezan - Miami University Programming Competition Chairs: Manuel Carro - Technical University of Madrid (UPM) and IMDEA Software Institute Orkunt Sabuncu - TED University Applications Track Chairs: Andrea Formisano - Universita' di Perugia Fangkai Yang - NVIDIA Corporation Sister Conferences and Journal Presentation Track Chairs: Bart Bogaerts - KU Leuven Giovambattista Ianni - Universita' della Calabria Research Challenges in Logic Programming Track Chairs: Alessandro dal Palu - Universita' di Parma Amelia Harrison - University of Texas at Austin and Google Inc. Joohyung Lee - Arizona State University Women in Logic Programming Special Session Chairs: Alicia Villanueva - Universitat Politecnica de Valencia Marina De Vos - University of Bath Program Committee: Hassan Ait-Kaci - University of Lyon 1 Mario Alviano - University of Calabria Roman Bartak - Charles University Rachel Ben-Eliyahu-Zohary - Azrieli College of Engineering Bart Bogaerts - KU Leuven Gerhard Brewka - Leipzig University Pedro Cabalar - University of Corunna Michael Codish - Ben-Gurion University of the Negev Stefania Costantini - University of L'Aquila Marina De Vos - University of Bath Agostino Dovier - University of Udine Thomas Eiter - Vienna University of Technology Wolfgang Faber - Alpen-Adria-Universitat Klagenfurt Fabio Fioravanti - University of Chieti-Pescara Andrea Formisano - Universita' di Perugia John Gallagher - Roskilde University and IMDEA Software Institute Martin Gebser - University of Klagenfurt and Graz University of Technology Michael Gelfond - Texas Tech University Michael Hanus - CAU Kiel Amelia Harrison - University of Texas at Austin and Google Inc. Manuel Hermenegildo - Technical University of Madrid (UPM) and IMDEA Software Institute Giovambattista Ianni - Universita' della Calabria Daniela Inclezan - Miami University Katsumi Inoue - National Institute of Informatics Tomi Janhunen - Aalto University Angelika Kimmig - Cardiff University Ekaterina Komendantskaya - Heriot-Watt University Vladimir Lifschitz - University of Texas at Austin Evelina Lamma - University of Ferrara Joohyung Lee - Arizona State University Nicola Leone - University of Calabria Yanhong Annie Liu - Stony Brook New York Fred Mesnard - Universite de la Reunion Jose F. Morales - IMDEA Software Institute Emilia Oikarinen - Aalto University Carlos Olarte - Universidade Federal do Rio Grande do Norte Magdalena Ortiz - Vienna University of Technology Mauricio Osorio - Universidad de las Americas Puebla Barry O'Sullivan - University College Cork Simona Perri - University of Calabria Enrico Pontelli - New Mexico State University Ricardo Rocha - University of Porto Alessandra Russo - Imperial College Orkunt Sabuncu - TED University Chiaki Sakama - Wakayama University Torsten Schaub - University of Potsdam Guillermo R. Simari - Universidad Nacional del Sur Theresa Swift - Universidade Nova de Lisboa Francesca Toni - Imperial College Paolo Torroni - University of Bologna Son Tran Cao - New Mexico State University Alicia Villanueva - Universitat Politecnica de Valencia Kewen Wang - Griffith University Jan Wielemaker - VU University of Amsterdam Stefan Woltran - Vienna University of Technology Fangkai Yang - NVIDIA Corporation Roland Yap - National University of Singapore Jia-Huai You - University of Alberta Zhizheng Zhang - Southeast University -------------- next part -------------- An HTML attachment was scrubbed... URL: From wortmann at se-rwth.de Tue Jun 18 10:43:20 2019 From: wortmann at se-rwth.de (Andreas Wortmann) Date: Tue, 18 Jun 2019 10:43:20 +0200 Subject: [fg-arc] EAPLS PhD Award 2018: Call for Nominations Message-ID: ============================================= EAPLS PhD Award 2018: Call for Nominations ============================================= URL: http://eapls.org/pages/phd_award/ The European Association for Programming Languages and Systems (EAPLS) has established a Best Dissertation Award in the international research area of programming languages and systems. The award will go to the Ph.D. student who in the previous period has made the most original and influential contribution to the area. The purpose of the award is to draw attention to excellent work, to help the career of the student in question, and to promote the research field as a whole. Eligibility -------------------------------- Eligible for the award are those who successfully defended their PhD * at an academic institution in Europe * in the field of Programming Languages and Systems * in the period from 1 January 2018 – 31 December 2018 Nominations -------------------------------- Candidates for the award must be nominated by their supervisor. Nominating a candidate consists of submitting the nomination to https://easychair.org/conferences/?conf=ep18. The nomination must consist of a single PDF file containing * a letter from the supervisor describing why the thesis should be considered for the award; * a report from an independent researcher who has acted as examiner of the thesis at its defense; and * the thesis itself. The theses will be evaluated with respect to originality, influence, relevance to the field and (to a lesser degree) quality of writing. Questions can be directed to the Ph.D. award chairs, at ep18 at easychair.org. Procedure -------------------------------- The nominations will be evaluated and compared by an international committee of experts. The procedure to be followed is analogous to the review phase of a conference. The justification by the supervisor and the external report will play an important role in the evaluation. The final decision is made by the EAPLS board, based on the recommendation of the expert committee. Members of the expert committee and the EAPLS board are barred from nominating their own Ph.D. students for the award. The award consists of a certificate announcing the winner to have received the EAPLS Ph.D. award 2018 and the supervisor will receive a copy of this certificate. If possible, the certificate will be handed out ceremonially at a suitable occasion, as for instance the ETAPS conference. Apart from the winner, no further ranking of nominees will be published. The decision of the expert committee is final and binding, and will not be subject to discussion. Important Dates -------------------------------- 30 August 2019: Deadline for nominations 1 December 2019: Announcement of the award winner Expert Committee -------------------------------- The expert committee includes: * Eerke Boiten, University of Kent, UK * Luis Caires, FCT / Universidade Nova de Lisboa, Portugal * Marco Carbone, IT University of Copenhagen, Denmark * Paolo Ciancarini, Dipartimento di Scienze dell'Informazione, Università di Bologna, Italy * Stefano Crespi Reghizzi, Politecnico di Milano, Italy * Kei Davis, Los Alamos National Laboratory, USA * Mariangiola Dezani, Universitá di Torino, Italy * JosuKa Díaz Labrador, Universidad de Deusto, Spain * Maribel Fernández, King's College London, UK * Maurizio Gabbrielli, University of Bologna, Italy * Sabine Glesner, Technische Universität Berlin, Germany * Stefan Gruner, University of Pretoria, South Africa * Jens Knoop, TU Vienna, Austria * Ralf Lämmel, University of Koblenz, Germany * Tiziana Margaria, University of Limerick, Ireland * Greg Michaelson, Heriot-Watt University, UK * Alan Mycroft, University of Cambridge, UK * Ricardo Peña, Universidad Complutense de Madrid, Spain * Matteo Pradella, Politecnico di Milano, Italy * Gunter Saake, Otto-von-Guericke-University Magdeburg, Germany * Ana Sokolova, Universität Salzburg, Austria * Bernhard Steffen, Technische Universität Dortmund, Germany * Mark Van Den Brand, Eindhoven University of Technology, The Netherlands * Marko Van Eekelen, Radboud University Nijmegen, The Netherlands * Peter Van Roy, Université Catholique de Louvain, Belgium * Andreas Wortmann, RWTH Aachen University, Germany (chair) -- ----------------------------------------------------------------------------------------------------------------- Dr. Andreas Wortmann | Software Engineering Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 (241) 80-21346 / Fax -22218 | http://www.se-rwth.de From irdta at irdta.eu Tue Jun 18 23:35:24 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 18 Jun 2019 23:35:24 +0200 Subject: [fg-arc] SLSP 2019: call for posters Message-ID: <545102060a010b0a0955560b0e065a515b0206005404555902525c00545450025d030c51000f04000855030b0f5302@grlmc_ip-zone_com-6> SLSP 2019: call for posters*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* **************************************************************************** The 7th International Conference on Statistical Language and Speech Processing (SLSP 2019) invites researchers to submit poster presentations. SLSP 2019 will be held in Ljubljana on October 14-16, 2019. See  http://slsp2019.irdta.eu/ Poster presentations are intended to enhance informal interactions with conference participants, at the same time allowing for in-depth discussion. TOPICS Presentations displaying novel work in progress on statistical models (including machine learning) for language and speech processing are encouraged. Posters do not need to show final research results. Work that might lead to new interesting developments is welcome. KEY DATES Poster submission deadline: September 7, 2019 Notification of poster acceptance or rejection: September 14, 2019 SUBMISSION Please submit a .pdf abstract through: https://easychair.org/conferences/?conf=slsp2019 It should contain the title, author(s) and affiliation, and should not exceed 500 words. PRESENTATION Posters will be allocated 10 minutes each in the programme for oral presentation. Moreover, they will remain hanging out during the whole conference for discussion. PUBLICATION Posters will not appear in the LNCS/LNAI proceedings volume of SLSP 2019. However, they will be eligible for submission to the post-conference journal special issue. REGISTRATION At least one author of each accepted poster must register to the conference by September 30, 2019. The registration fare is reduced: 285 Euro. It gives the same rights all other conference participants have (attendance, copy of the proceedings volume, lunches, coffee breaks). Contributors of regular papers who in addition get a poster accepted must register for the latter independently.   -------------- next part -------------- An HTML attachment was scrubbed... URL: From lpulina at uniss.it Mon Jun 17 15:08:22 2019 From: lpulina at uniss.it (Luca Pulina) Date: Mon, 17 Jun 2019 15:08:22 +0200 Subject: [fg-arc] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Message-ID: [apologies for any cross-posting] **************************************************************************************************************************************************************** Call for Papers [NEW DEADLINES!] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence UNICAL, Rende (CS), 19-22 November 2019 **************************************************************************************************************************************************************** ----------------------------------------------------------------- Topics of Interest ----------------------------------------------------------------- The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics enhances the program. AIIA 2019 welcomes submissions covering all areas of AI, including (but not limited to) machine learning, search, planning, knowledge representation, reasoning, constraint satisfaction, natural language processing, robotics and perception, and multiagent systems. We encourage all types of high-quality contributions including theoretical, engineering and applied papers. We also encourage contributions on AI techniques in the context of novel application domains, such as security, sustainability, health care, transportation, and commerce. Besides regular original papers, in this edition we also welcome discussion papers containing descriptions of results recently published or accepted for the presentation in international conferences. Discussion papers are expected to be more broadly accessible than regular papers, they are an opportunity for the authors to present their recent results to the AI community, and a valuable addition for the attendees of AIIA 2019. At least one author of each accepted paper is required to register and attend the conference to present the work. ----------------------------------------------------------------- Proceedings of Regular Papers ----------------------------------------------------------------- The regular papers will be included in the proceedings of the conference, and will be published by Springer Verlag in the Lecture Notes in Artificial Intelligence series. Authors of selected regular papers accepted to the main track will be invited to submit an extended version for publication on "Intelligenza Artificiale", the International Journal of the Italian Association for Artificial Intelligence, edited by IOS Press and indexed by Thomson Reuters' "Emerging Sources Citation Index" and Scopus by Elsevier. ----------------------------------------------------------------- Proceedings of Discussion Papers ----------------------------------------------------------------- The discussion papers will not be included in the LNCS proceedings of the conference, and will be made available through the conference WEB-Site and possibly published on CEUR WS Proceedings upon request. ----------------------------------------------------------------- Best Papers ----------------------------------------------------------------- The Program Committee will select the Best Student Paper Award and the Best Paper Award from the accepted regular papers. In order to be eligible for the Best Student Paper award, at least one author must be a student. ----------------------------------------------------------------- Submission Instructions ----------------------------------------------------------------- The submitted papers should be written in English and formatted according to the Springer LNCS style. Regular papers must be original papers which are not being submitted simultaneously for publication elsewhere. These papers should not exceed 12 pages plus bibliography. The discussion papers report results already published or accepted for the publication in international conferences, and should not exceed 8 pages plus bibliography. Paper submission is electronic via easychair at the address: https://easychair.org/conferences/?conf=aiia2019 ----------------------------------------------------------------- Important Dates ----------------------------------------------------------------- Abstract of regular paper submission: (was 28 May 2019) 18 June 2019 Regular paper submission: (was 4 June 2019) 25 June 2019 Notification to authors of regular papers: (was 23 July 2019) 13 August 2019 Camera ready of regular papers: (was 3 September 2019) 17 September 2019 Abstract of discussion paper submission: (was 28 May 2019) 2 July 2019 Discussion paper submission: (was 4 June 2019) 9 July 2019 Notification to authors of discussion papers: (was 23 July 2019) 27 August 2019 Camera ready of discussion papers: (was 3 September 2019) 1 October 2019 ----------------------------------------------------------------- Conference Web Site ----------------------------------------------------------------- For the most up to date information, please visit: https://aiia2019.mat.unical.it ----------------------------------------------------------------- Organizing Committee ----------------------------------------------------------------- Conference Chair: Nicola Leone (UNICAL, Italy) Program Chairs: Mario Alviano (UNICAL, Italy) Gianluigi Greco (UNICAL, Italy) Francesco Scarcello (UNICAL, Italy) Organization Chairs: Francesco Ricca (UNICAL, Italy) Chiara Ghidini (FBK, Trento) Workshop and Tutorial Chair: Rafael Penaloza (UNIMIB, Italy) Doctoral Consortium Chair: Marco Maratea (UNIGE, Italy) Publicity and Web Chair: Luca Pulina (UNISS, Italy) -- -- *Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 00196350904 -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Mon Jun 17 15:43:58 2019 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Mon, 17 Jun 2019 15:43:58 +0200 Subject: [fg-arc] SLE 2019: Final Call for Papers - Deadline Extension; Athens, Greece; October 21-22 Message-ID: ------------------------------------------------------------------------ Call for Papers: 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2019) co-located with SPLASH 2019 Athens, Greece October 21-22, 2019 https://conf.researchr.org/home/sle-2019 http://www.sleconf.org/2019 Follow us on twitter: https://twitter.com/sleconf --------------------------- IMPORTANT DATES --------------------------- Deadlines have been extended by one week from the earlier announcements: * Abstract Submission: June 21, 2019 * Paper Submission: June 28, 2019 * Author Notification: August 9, 2019 ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2019), held in conjunction with SPLASH 2019 at Athens, Greece on October 21-22, 2019. --------------------------- Topics of Interest --------------------------- SLE 2019 solicits high-quality contributions in areas ranging from theoretical and conceptual contributions, to tools, techniques, and frameworks in the domain of software language engineering. Topics relevant to SLE cover generic aspects of software languages development rather than aspects of engineering a specific language. In particular, SLE is interested in contributions from the following areas: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral / executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Software Language Validation - Verification and formal methods for languages - Testing techniques for languages - Simulation techniques for languages * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability * Domain-specific approaches for any aspects of SLE (design, implementation, validation, maintenance) * Empirical evaluation and experience reports of language engineering tools - User studies evaluating usability - Performance benchmarks - Industrial applications --------------------------- Types of Submissions --------------------------- SLE 2019 solicits three types of contributions: Research Papers, Tools Papers, and New Ideas/Vision papers. * Research papers These should report a substantial research contribution to SLE or successful application of SLE techniques or both. Full paper submissions must not exceed 12 pages, excluding bibliography. * Tool papers Because of SLE’s interest in tools, we seek papers that present software tools related to the field of SLE. Selection criteria include originality of the tool, its innovative aspects, and relevance to SLE. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must provide a tool description of 4 pages excluding bibliography, and a demonstration outline including screenshots of up to 6 pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool Demonstration” in the title. The 4-page tool description will, if the demonstration is accepted, be published in the proceedings. The 6-page demonstration outline will be used by the program committee only for evaluating the submission. *New ideas / vision papers New ideas papers should describe new, non-conventional SLE research approaches that depart from standard practice. They are intended to describe well-defined research ideas that are at an early stage of investigation. Vision papers are intended to present new unifying theories about existing SLE research that can lead to the development of new technologies or approaches. New ideas / vision papers must not exceed 4 pages, excluding bibliography. *Workshops Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found at the SPLASH 2019 Website. --------------------------- Artifact Evaluation --------------------------- SLE will continue to use an evaluation process for assessing the quality of the artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted papers are invited to submit artifacts. For more information, please have a look at the Artifact Evaluation page. --------------------------- Submission Details --------------------------- Paper Format: Submissions must conform to the ACM SIGPLAN Conference Format “acmart”; please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is \documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes to this format! Using the Word template is strongly discouraged. Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. For the first time, SLE will follow the double-blind process. Author names and institutions should be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. Concurrent Submissions: Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy. Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism. Submissions that violate these policies will be desk-rejected. Submission Site: Submissions will be accepted at https://sle19.hotcrp.com/ --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the conference call. New ideas / vision papers will be evaluated primarily concerning novelty, significance, readability, and alignment with the conference call. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review, at the discretion of the PC chairs. --------------------------- Awards --------------------------- * Distinguished paper: Award for most notable paper, as determined by the PC chairs based on the recommendations of the programme committee. * Distinguished reviewer: Award for distinguished reviewer, as determined by the PC chairs. * Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- Organisation --------------------------- Chairs: * General chair: Oscar Nierstrasz (University of Bern, Switzerland) * Program co-chair: Bruno Oliveira (University of Hong Kong, China) * Program co-chair: Jeff Gray (University of Alabama, USA) * Artefact Evaluation co-chair: Emma Söderberg (Lund University, Sweden) * Artefact Evaluation co-chair: Abel Gomez (Universitat Oberta de Catalunya, Spain) Program Committee: Xuan Bi (Standard Chartered Bank) Erwan Bousse (TU Wien) Loli Burgeuno (Open University of Catalonia) Marsha Chechik (University of Toronto) Matteo Cimini (University of Massachusetts, Lowell) Thomas Degueule (CWI) Juan de Lara (Universidad Autónoma de Madrid) Juergen Dingel (Queen's University) Romina Eramo (University of L'Aquila) Sebastian Gerard (CEA) Paolo Giarusso (TU Delft) Esther Guerra (Universidad Autónoma de Madrid) Pablo Inostroza (CWI) Dimitris Kolovos (University of York) Marjan Mernik (University of Maribor) Alfonso Pierantonio (University of L'Aquila) Jaroslav Porubän (University of Košice) Casper Poulsen (TU Delft) Yann Regis-Gianas (Paris 7/INRIA) Bernhard Rumpe (RWTH Aachen University) Markus Schordan (Lawrence Livermore National Laboratory) Neil Sculthorpe (Nottingham Trent University) Marco Servetto (Victoria University of Wellington) Elizabeth Scott (Royal Holloway) Eugene Syriani (University of Montreal) Ulyana Tikhonova (CWI) Juha-Pekka Tolvanen (MetaCase) Antonio Valecillo (University of Malaga) Mark van den Brand (TU Eindhoven) Vadim Zaytsev (Raincode Labs) Tian Zhang (Nanjing University) --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please contact the organizers by email (bruno at cs.hku.hk and gray at cs.ua.edu) -------------- next part -------------- An HTML attachment was scrubbed... URL: From S.S.T.Q.Jongmans at cwi.nl Wed Jun 19 17:08:09 2019 From: S.S.T.Q.Jongmans at cwi.nl (Sung-Shik Jongmans) Date: Wed, 19 Jun 2019 17:08:09 +0200 (CEST) Subject: [fg-arc] CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam) Message-ID: <287145531.2096470.1560956889093.JavaMail.zimbra@cwi.nl> ** ** Final Call for Papers: FACS 2019 ** ** 16th International Conference on ** Formal Aspects of Component Software ** ** 23-25 October 2019, Amsterdam ** ** http://facs2019.org ** ## NEWS * Deadline extension -- abstracts: 5 July; papers: 12 July * Special issue Science of Computer Programming confirmed ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Wan Fokkink (Vrije Universiteit Amsterdam) * Carlo Ghezzi (Polytechnic University of Milan) * Kim Larsen (Aalborg University) ## DATES * Abstract: 5 July 2019 * Paper: 12 July 2019 * Notification: 30 August 2019 * Conference: 23-25 October 2019 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * components for the Internet of things and cyber-physical systems; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## PAPER CATEGORIES We solicit submissions related to the topics mentioned above in the following categories: * A – full papers: original research, applications and experiences, surveys (18 pages max, excluding references); * B – short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references); * C – journal-first papers (2 pages). All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. Submissions in category C must be 2-page abstracts of journal papers published after January 1st, 2018. The objective of journal-first papers is to offer FACS attendees a richer program and further opportunities for interaction. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria: * It should be clearly in the scope of FACS. * It should be recent: only journal papers available after January 1st, 2018 (online or paper) can be presented. * It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results). * It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops. * Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI). ## SUBMISSION & PUBLICATION Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2019. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The post-proceedings of FACS 2019 will be published as a volume of LNCS; it consists of accepted papers in categories A and B. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. A special issue of Science of Computer Programming on FACS 2019 will be published by Elsevier. After the conference, authors of select papers will be invited to submit an extended version for inclusion. ## CHAIRS Farhad Arbab, CWI and Leiden University Sung-Shik Jongmans, Open University and CWI ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology Christel Baier, TU Dresden Luís Soares Barbosa, INESC TEC and University of Minho Simon Bliudze, INRIA Lille Roberto Brunik, University of Pisa Luís Cruz-Filipe, University of Southern Denmark José Luiz Fiadeiro, Royal Holloway, University of London Mohamad Jaber, American University of Beirut Olga Kouchnarenko, University of Franche-Comté Ivan Lanese, University of Bologna Kung-Kiu Lau, University of Manchester Zhiming Liu, Southwest University Markus Lumpe, Swinburne University of Technology Eric Madelaine, INRIA Sophia Antipolis Mieke Massink, CNR ISTI Hernán Melgratti, University of Buenos Aires Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo Catuscia Palamidessi, INRIA Saclay and LIX José Proença, CISTER Jorge Pérez, University of Groningen Gwen Salaün, Université Grenoble Alpes and INRIA Grenoble Francesco Santini, University of Perugia Jacopo Soldani, University of Pisa Anton Wijs, Eindhoven University of Technology Shoji Yuen, Nagoya University Min Zhang, East China Normal University From apvereda at uma.es Thu Jun 20 11:43:51 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Thu, 20 Jun 2019 09:43:51 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019=3A_Deadline_extension=2C_July_4t?= =?utf-8?q?h?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190620094347.f31107ba09.73b6bf3b@mail123.sea91.rsgsv.net> Last days to send your paper to Foclasa 2019 ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=48cd66e6ae&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 // July 4, 2019 * Submission of papers: June 16, 2019 // July 4, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=9cedeff167&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=4384f4297d&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=369ac9cd5b&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=f31107ba09) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Fri Jun 21 02:23:17 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Fri, 21 Jun 2019 00:23:17 +0000 Subject: [fg-arc] ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming Message-ID: <321D38F7-7761-499D-B8AA-1D2E9163CDDD@gatech.edu> Apologies for cross-posting. Please, forward to anybody who might be interested. *** ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming *** The 15th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. It will take place during the 35th International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-25, 2019, in Las Cruces, New Mexico, USA). Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates * Paper submission (Updated date): June 25, 2019 * Notification: July 15, 2019 * Camera-ready copy: July 31, 2019 * DC presentations: Sunday, September 22, 2019 However, DC students are highly recommended to attend the Autumn School on Logic Programming on: Friday and Saturday, September 20-21, 2019 https://sites.google.com/cs.stonybrook.edu/iclp2019dc/autumn-school-on-logic-programming Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): * Theoretical Foundations of Logic and Constraint Logic Programming * Sequential and Parallel Implementation Technology * Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification * Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) * Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals * To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. * To provide students with relevant information about important issues for doctoral candidates and future academics. * To develop a supportive community of scholars and a spirit of collaborative research. * To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: * Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. * Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. * Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. * Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. * Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. * Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in OpenAccess Series in Informatics (OASIcs) format (template available here) and submitted via EasyChair. Accepted DC papers will be published as technical communications (TCs) by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the OASIcs format mentioned above and the additional documents mentioned below in the financial support section - all students must submit these documents even if they don't apply for financial aid (a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant). All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2019 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: * Introduction and problem description * Background and overview of the existing literature * Goal of the research * Current status of the research * Preliminary results accomplished (if any) * Open issues and expected achievements * Bibliographical references Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Financial Support Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. A number of scholarships for students that cover local expenses for the duration of the DC and school are available. To apply for these scholarships, students should submit the following information as part of their DC application: * A short vita or cover letter of the applicant, containing: * Full name of school and department to which you are affiliated * Name(s) of your supervising professor(s) * Title of your research work and keywords pertinent to your research * Current stage in your program of study (e.g. Ph.D./MS student, start date) * Contact information: full name, address, telephone number, and email address * URL of your web page (if any) * One paragraph statement outlining how the school will benefit the applicant. * A letter of recommendation from applicant's graduate or thesis advisor. Please invite your adviser(s) to give an indication of the current status of your research and of the expected date of thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you to gain from participation in the DC. The letter from the advisor should also certify that the applicant is a full-time student. There are other sponsorship opportunities, but they are individual: ACM-W scholarship program: any (female) student willing to participate to ICLP can submit their application on the site: https://women.acm.org/scholarships/ Registration Registration is part of the ICLP 2019 registration: https://www.cs.nmsu.edu/ALP/iclp2019/ Program co-chairs: Daniela Inclezan, Miami University Paul Fodor, Stony Brook University Program Committee Carmine Dodaro, University of Genova & DIBRIS, Italy Cristina Feier, University of Bremen, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Fabio Fioravanti, University of Chieti-Pescara, Italy Francesco Ricca, Department of Mathematics University of Calabria, Italy Frank Valencia, LIX, Ecole Polytechnique, France Jorge Fandino, University of Corunna, Spain Jose F. Morales, IMDEA Software Research Institute, Spain Marco Maratea, University of Genova & DIBRIS, Italy Martin Gebser, Aalto University, Finland Michael Gelfond, Texas Tech University, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From matthias.gudemann at gmail.com Fri Jun 21 16:37:52 2019 From: matthias.gudemann at gmail.com (=?UTF-8?Q?Matthias_G=C3=BCdemann?=) Date: Fri, 21 Jun 2019 16:37:52 +0200 Subject: [fg-arc] Call for Papers Software Verification and Testing at ACM/SIGAPP SAC2020 Message-ID: 35th Annual ACM Symposium on Applied Computing Software Verification and Testing Track Brno, Czech Republic March 30 - April 3, 2020 http://www.sigapp.org/sac/sac2020/ SAC SVT 2020 Website : http://guedemann.org/svt2020/ Important dates =============== Sep. 15, 2019 - Submission of regular papers and SRC research abstracts Nov. 10, 2019 - Notification of paper / SRC abstract acceptance/rejection Nov. 25, 2019 - Camera-ready copies of accepted papers/SRC Dec. 10, 2019 - Author registration due date ACM Symposium on Applied Computing ================================== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2020 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place in Brno, Czech Republic. Software Verification and Testing Track ======================================= The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification Submission Guidelines ===================== Paper submissions must be original, unpublished work. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. Submitted paper will undergo a blind review process. Authors of accepted papers should submit an editorial revision of their papers that fits within eight two-column pages (an extra two pages, to a total of ten pages, may be available at a charge). The length of a poster is limited to three pages (plus one extra page may be available at a charge). Please comply to this page limitation already at submission time. Accepted papers will be published in the ACM SAC 2020 proceedings. Paper registration is required, allowing the inclusion of papers/posters in the conference proceedings. An author or a proxy attending SAC MUST present the work. This is a requirement for the presented work to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. It is planned to arrange a journal special issue after the conference. Student Research Competition ============================ As previous editions, SAC 2020 organises a Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest. Guidelines and information about the SRC program can be found at http://www.sigapp.org/sac/sac2020/. SAC-SVT Program Committee Chairs =============================== Matthias Güdemann, IOHK, Hong Kong Nikolai Kosmatov, CEA List, France SAC-SVT Program Committee ========================= - Wolfgang Ahrendt, Chalmers University, Sweden - Sébastien Bardin, CEA, France - Ezio Bartocci, TU Vienna, Austria - Radu Calinescu, University of York, UK - Maxime Cody, University of Luxembuorg, Luxembuorg - Christian Colombo, University of Malta, Malta - Lucas Cordeiro, University of Manchester, UK - Cristina David, University of Cambridge, UK - Giovanni Denaro, University of Milano Bicocca, Milano, Italy - Tom van Dijk, University of Twente, Netherlands - Cathérine Dubois, ENSIIE, France - Gidon Ernst, LMU Munich, Germany - Yliès Falcone, University Grenoble Alpes, Inria, France - Carlo A. Furia, Università della Svizzera Italiana, Switzerland - Maria del Mar Gallardo, University of Malaga, Spain - Matthias Güdemann, IOHK, Hong Kong - Sylvain Hallé, Université du Québec à Chicoutimi, Canada - Ralf Huuck, The University of New South Wales, Australia - Nikolai Kosmatov, CEA List, France - Thierry Jéron, Inria, France - Maurizio Leotta, University of Genoa, Italy - Martin Leucker, University of Lübeck, Germany - Stefan Leue, University of Konstanz, Germany - Frédéric Loulergue, Northern Arizona University, USA - Mercedes Merayo, Universidad Complutense de Madrid, Spain - Brian Nielsen, Aalborg University, Denmark - Peter Csaba Ölveczky, University of Oslo, Norway - Jun Pang, University of Luxembourg, Luxembourg - Mike Papadakis, University of Luxembourg, Luxembourg - Antoine Rollet, Bordeaux INP, LaBRI, France - Gwen Salaün, University Grenoble Alpes, Inria, France - Julien Signoles, CEA, France - Marjan Sirjani, Malardalen University, Sweden - Anton Wijs, Technische Universiteit Eindhoven, Netherlands - Burkhart Wolff, University Paris-Sud, LRI, France - Rongxin Wu, University of Science and Technology, Hong Kong - Cemal Yilmaz, Sabancı University, Turkey - Fatiha Zaïdi, University of Paris-Sud, France From ijwa at dline.info Fri Jun 21 13:43:16 2019 From: ijwa at dline.info (ijwa at dline.info) Date: Fri, 21 Jun 2019 04:43:16 -0700 Subject: [fg-arc] ICDIM 2019 In-Reply-To: References: Message-ID: Fourteenth International Conference on Digital Information Management (ICDIM 2019) September 24-26, 2019 University of Bedfordshire, Luton, UK (www.icdim.org) Technically co-sponsored by IEEE TEMS Following the successful earlier conferences at Bangalore (2006), Lyon (2007), London (2008), Michigan (2009) , Thunder Bay (2010), Melbourne (2011), Macau (2012), Islamabad (2013), Bangkok (2014) Jeju (2015) Porto (2016), Fukuoka (2017), and Berlin (2018) the Fourteenth event is being organized at Luton in UK in 2019. The International Conference on Digital Information Management is a multidisciplinary conference on digital information management, science and technology. The principal aim of this conference is to bring people in academia, research laboratories and industry together, and offer a collaborative platform to address the emerging issues and solutions in digital information science and technology Digital Information technologies are gaining maturity and rapid momentum in adoption across disciplines. The digital community is producing new ways of using digital information technologies for integrating and making sense out of various data ranging from real/live streams and simulations to analytics data analysis, in support of mining of knowledge. The conference will feature original research and industrial papers on the theory, design, and implementation of digital information systems, as well as demonstrations, tutorials, workshops and industrial presentations. The Fourteenth International Conference on Digital Information Management will be held during August 22-24, 2019 at Irish Computer Society, Dublin, Ireland The topics in ICDIM 2019 include but are not confined to the following areas. Information Technology Management Web Mining including Web Intelligence and Web 3.0 E-Learning, eCommerce, e-Business, and e-Government Edge and Fog Computing Data Analytics Software Engineering Deep Learning Natural Language Processing Smart Learning and Smart Cities Signal Processing Network Services Data Mining and Text Mining Knowledge Graphs, Recommender System, Ontology Computational Linguistics Distributed information systems Information visualization Multimedia and Interactive Multimedia Image Analysis and Image Processing Cloud Computing Computational Intelligence Privacy, Security and Trusted Computing Machine Learning Human-Computer Interaction Internet of Things The modified version of the selected papers will appear in the special issues of the following peer reviewed journals. 1. Journal on Data Semantics 2. Technologies 3. Data Technologies and Applications 4. Webology 5. Journal of Digital Information Management 6. International Journal of Computational Linguistics 7. Journal of Optimization General Chair Ezendu Ariwa, UK IEEE Chair Program Chairs Pit Pichappan, Digital Information Research Labs, India Simon Fong, University of Macau, Macau Program Co-Chair Adrian Florea, University of Shibu, Romania Important Dates Full Paper Submission July 05, 2019 Notification of Acceptance/Rejection August 05, 2019 Registration Due September 05, 2019 Camera Ready Due September 05, 2019 Workshops/Tutorials/Demos September 23, 2019 Main conference September 24-26, 2019 SUBMISSIONS AT http://www.icdim.org/submission.html Contact: conference at icdim.org ----------------- From fioretto.ferdinando at isye.gatech.edu Mon Jun 24 23:56:11 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 24 Jun 2019 21:56:11 +0000 Subject: [fg-arc] CFP: ICLP 2019 - Application Track (short paper submission extended) Message-ID: Apologies for cross-posting (Short paper submission deadline extended to June 30!) ============ ** CALL FOR PAPERS ** The 35th International Conference on Logic Programming (ICLP 2019) Applications Track September 20-25, 2019 Las Cruces, New Mexico (USA) https://www.cs.nmsu.edu/ALP/iclp2019/ ------------------------------------------------------------------------- Objectives *************** Logic programming (LP) has been widely adopted as a powerful declarative programming paradigm to build a variety of applications from research projects to industrial products, including bioinformatics, natural language understanding, robotics, etc. Motivated by such a wide range of applications, this year ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry communities to share the recent advancement, challenge and insight for LP applications. The goal of the Application Track is two-folded. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests towards solving practical problems and applications. On the other side, its goal is to attract representatives from the wider academia and industrial communities to discuss their challenges related to using LP in practical problems, applications and industrial products and their expectations of the development of theory and tools from LP community. Expected contributions *************** The Applications Track at ICLP 2019 invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of LP systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. We welcome LP applications in a wide range of areas, including but not limited to: - industrial applications - commonsense reasoning, knowledge representation - declarative problem solving - education - bioinformatics, computational biology - life sciences, genetics, medicine, pharmacology - cognitive robotics, social robotics, human-robot interactions - intelligent transportation, logistics - computer vision, sensing, internet of things - data analysis, machine learning - creative computing - digital forensics, cybersecurity, blockchain - economics, game theory, social choice - software engineering, intelligent user interfaces - multi-agent systems, argumentation, epistemic reasoning - constraint programming, SAT, SMT - natural language understanding, story telling, question answering - explanation generation, diagnosis - spatial/temporal/probabilistic reasoning - planning and scheduling - databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria *************** In this track, selection process of the highest quality papers will apply the following criteria: - Significance of the real-world problem being addressed - Importance and novelty of using logic programming technologies to solve this problem - Evaluation and applicability of the system in real-world - Reusability of datasets, case studies and benchmarks Important Dates *************** Abstract registration: April 27, 2019 Regular Paper submission: May 4, 2019 Notification: June 19, 2019 Short paper submission: June 30, 2019 ** EXTENDED TPLP revision submission: July 3, 2019 TPLP and short paper final notifications: July 17, 2019 Camera-ready copy: July 31, 2017 Conference: September 20-25, 2019 Submission Details *************** All submissions must be written in English. -- Regular papers (14 pages in TPLP format, including references) must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. The accepted regular papers will be published in TPLP, along with the selected ICLP-TPLP papers. The program committee may recommend some regular papers to be published as technical communications (TCs), along with the selected ICLP-TC papers. The authors of the TCs can also elect to convert their submissions into extended abstracts (2 or 3 pages) for inclusion in the Electronic Proceedings in Theoretical Computer Science (EPTCS, http://info.eptcs.org/). This should allow authors to submit a long version elsewhere. -- Short papers (7 pages in EPTCS format, including references) can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. All accepted regular papers and technical communications will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Any additional questions can be directed towards the Application Track Chairs: Andrea Formisano, Università di Perugia andrea.formisano at unipg.it Fangkai Yang, NVIDIA Corporation wolfgang.yang at gmail.com Applications Track Program Committee *************** Chitta Baral (Arizona State University, USA) Alex Brik (Google Inc, USA) Francesco Calimeri (University of Calabria, Italy) Xiaoping Chen (University of Science and Technology of China) Federico Chesani (University of Bologna, Italy) Martín Diéguez (ENIB, France) Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria) Gopal Gupta (University of Texas at Dallas, USA) Jianmin Ji (University of Science and Technology of China, China) Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany) Zeynep Kiziltan (University of Bologna, Italy) Viviana Mascardi (University of Genova, Italy) Yunsong Meng (Houzz Inc., USA) Francesco Ricca (University of Calabria, Italy) Mohan Sridharan (University of Birmingham, UK) David Warren (SUNY Stony Brook, USA) Shiqi Zhang (SUNY Binghamton, USA) Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA) From fioretto.ferdinando at isye.gatech.edu Mon Jun 24 23:58:55 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 24 Jun 2019 21:58:55 +0000 Subject: [fg-arc] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Message-ID: Apologies for cross-posting ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers The program committee of the 35th International Conference on Logic Programming (ICLP) invites submissions of published journal papers and papers presented at related conferences for the Sister Conferences and Journal Presentation Track. The track is designed to provide a forum to discuss important results related to logic programming that appeared since 2017 in selective journals or were presented recently at related conferences but, but that have not been previously presented at ICLP. The goal of this track is twofold: * To provide authors an opportunity to present at the conference important results published in journals that might otherwise not be submitted to the conference due to their length and complexity. Papers that differ from traditional ICLP format and topics are welcome. * To broaden the program with lines of work at the intersection between logic programming and related fields such as for example constraint programming, operations research, control, knowledge representation and reasoning, machine learning, multi-agent systems, robotics, computer games, and cognitive science. Papers that use logic programming in some innovative way are welcome. Paper Presentation All accepted submissions will be presented orally during the conference - at least one author is expected to register to ICLP 2019 and to present the paper in person. Complete citations and URLs of the original papers (if available from the publisher) will be published on the ICLP 2019 web site as a permanent reference. A 2-page extended abstract summarizing the line of research leading to the presented results can optionally be submitted for presentation in the technical communications of ICLP. Submission Requirements Submissions must meet the following criteria: * Candidate papers must be published in a journal such as (but not limited to) AIJ, ACM TOCL, JAIR, or other leading journals or in the proceedings of related conferences such as KR, LPNMR, AAMAS, AAAI, IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC, ESWC, DL, JELIA. * Candidate papers must have appeared since 2017. * Papers that are in press may be submitted as long as the final camera-ready version is available. * Extensions of papers that have been previously presented at ICLP are not eligible for this track. Submission Process All submissions will be done via EasyChair: https://easychair.org/conferences/?conf=iclp2019 Please select the "New submission" and then the track "Sister Conferences and Journal Presentation" - The submission form will require: * Title of the original journal paper (to be published on the Web); * Previous publication venue; * A 2-page extended abstract of the paper (in PDF, EPTCS format: see http://info.eptcs.org/) (optional: only if the authors wish to publish such an extended abstract in the technical communications of ICLP). * The chairs will get in touch with authors possibly asking for: * Complete reference of the original paper (to be published on the Web); * URL where the paper can be downloaded from the publisher (if available) (to be published on the Web); * An accompanying letter containing an explanation of why this paper is interesting to the logic programming community (in PDF); * A copy of the paper with its final camera-ready contents (in PDF).Submissions will go through a selection process. Selection criteria include significance of the results and relevance to the logic programming community. Important Dates * Submission deadline: June 27th, 2019 * Notification of acceptance: July 15, 2019 * Conference: September 20-25, 2019 Journal Presentation Track Chairs * Bart Bogaerts, Vrije Universiteit Brussel, bart.bogaerts at vub.be * Giovambattista Ianni, University of Calabria, ianni at unical.it -------------- next part -------------- An HTML attachment was scrubbed... URL: From fioretto.ferdinando at isye.gatech.edu Tue Jun 25 00:04:16 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Mon, 24 Jun 2019 22:04:16 +0000 Subject: [fg-arc] CFP: ICLP DC 2019 - Doctoral Consortium (DC) on Logic Programming Message-ID: <8245C193-B98F-4E86-AD0E-BD4D04EC8E48@gatech.edu> Apologies for cross-posting. Please, forward to anybody who might be interested. Extended deadline! June 30 *** ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming *** The 15th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. It will take place during the 35th International Conference on Logic Programming (ICLP) https://www.cs.nmsu.edu/ALP/iclp2019/ (September 20-25, 2019, in Las Cruces, New Mexico, USA). Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. Important Dates Paper submission (Updated date): June 30, 2019 Notification: July 15, 2019 Camera-ready copy: July 31, 2019 DC presentations: Sunday, September 22, 2019 However, DC students are highly recommended to attend the Autumn School on Logic Programming on: Friday and Saturday, September 20-21, 2019 https://sites.google.com/cs.stonybrook.edu/iclp2019dc/autumn-school-on-logic-programming Audience The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to): Theoretical Foundations of Logic and Constraint Logic Programming Sequential and Parallel Implementation Technology Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming) Innovative Applications of Logic Programming Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur only if there are substantial changes or improvements to the student's work. The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, through presentations, question-answer sessions, panel discussions, and invited presentations. The Doctoral Consortium will also provide the possibility to reflect - through short activities, information sessions, and discussions - on the process and lessons of research and life in academia. Each participant will give a short, critiqued, research presentation. Discussants Renowned experts and researchers in the fields of logic and constraint programming will join in evaluating submissions and will participate in the DC, providing valuable feedback to DC participants. Goals To provide doctoral students working in the fields of logic and constraint programming with a friendly and open forum to present their research ideas, listen to ongoing work from peer students, and receive constructive feedback. To provide students with relevant information about important issues for doctoral candidates and future academics. To develop a supportive community of scholars and a spirit of collaborative research. To support a new generation of researchers with information and advice on academic, research, industrial, and non-traditional career paths. Submission Details The DC is designed for students currently enrolled in a Ph.D. program, however Master's students who are actively involved in research (please see the list of topics below) can also participate in the DC program. Applicants are expected to conduct research in areas related to logic and constraint programming. Topics included, but not limited to: Foundations: Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. Languages: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming Techniques. Declarative programming: Declarative program development, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. Implementation: Virtual machines, Compilation, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer Set Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming. Applications: Databases, Big Data, Data integration and federation, Software engineering, Natural language processing, Web and Semantic Web, Agents, Artificial intelligence, Computational life sciences, Education, Cybersecurity, and Robotics. Submissions of the research summary must be made in EPTCS format (http://info.eptcs.org/) and submitted via EasyChair. All papers must be written in English and should be between 5 and 10 pages. For all accepted DC papers, the student is required to attend the DC program and give a presentation of 20 minutes followed by discussions. A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. Papers are reviewed by at least two, and usually three, referees. The submission package should consist of the research summary in the format mentioned above and the additional documents mentioned below in the financial support section - all students must submit these documents even if they don't apply for financial aid (a short vita or cover letter of the applicant, a letter of recommendation from applicant's faculty advisor, and one paragraph statement outlining how the school will benefit the applicant). All material is to be submitted electronically, in PDF format on the Easychair system. Easychair link: https://easychair.org/conferences/?conf=iclp2019 (Doctoral Consortium track) Research summary (make sure to include your complete name, address, and affiliation): The body of your research summary (no more than 10 pages, but 5 is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include the following sections: Introduction and problem description Background and overview of the existing literature Goal of the research Current status of the research Preliminary results accomplished (if any) Open issues and expected achievements Bibliographical references Review Criteria The DC program committee will select participants based on their anticipated contribution to the DC objectives. Participants typically have settled on their thesis directions and have their research proposal accepted by their thesis committee. Students will be selected based on clarity and completeness of their submission package, relevance of their research area w.r.t. the focus of ICLP, stage of research, recommendation letter, and evidence of promise towards a successful career in research and academia, such as published papers or technical reports. Financial Support Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. A number of scholarships for students that cover local expenses for the duration of the DC and school are available. To apply for these scholarships, students should submit the following information as part of their DC application: A short vita or cover letter of the applicant, containing: Full name of school and department to which you are affiliated Name(s) of your supervising professor(s) Title of your research work and keywords pertinent to your research Current stage in your program of study (e.g. Ph.D./MS student, start date) Contact information: full name, address, telephone number, and email address URL of your web page (if any) One paragraph statement outlining how the school will benefit the applicant. A letter of recommendation from applicant's graduate or thesis advisor. Please invite your adviser(s) to give an indication of the current status of your research and of the expected date of thesis submission. In addition, your adviser(s) should briefly describe what she/he hopes you to gain from participation in the DC. The letter from the advisor should also certify that the applicant is a full-time student. There are other sponsorship opportunities, but they are individual: ACM-W scholarship program: any (female) student willing to participate to ICLP can submit their application on the site: https://women.acm.org/scholarships/ Registration Registration is part of the ICLP 2019 registration: https://www.cs.nmsu.edu/ALP/iclp2019/ Program co-chairs: Daniela Inclezan, Miami University Paul Fodor, Stony Brook University Program Committee Carmine Dodaro, University of Genova & DIBRIS, Italy Cristina Feier, University of Bremen, Germany Ekaterina Komendantskaya, Heriot-Watt University, UK Fabio Fioravanti, University of Chieti-Pescara, Italy Francesco Ricca, Department of Mathematics University of Calabria, Italy Frank Valencia, LIX, Ecole Polytechnique, France Jorge Fandino, University of Corunna, Spain Jose F. Morales, IMDEA Software Research Institute, Spain Marco Maratea, University of Genova & DIBRIS, Italy Martin Gebser, Aalto University, Finland Michael Gelfond, Texas Tech University, USA From ideal.conf at gmail.com Tue Jun 25 11:08:47 2019 From: ideal.conf at gmail.com (Ideal series) Date: Tue, 25 Jun 2019 11:08:47 +0200 Subject: [fg-arc] [IDEAL 2019] 2nd Call for Papers. 20th Int. Conference on Intelligent Data Engineering and Automated Learning (IDEAL). November, Manchester (UK) Message-ID: 20th International conference on Intelligent Data Engineering and Automated Learning (IDEAL 2019) 14-16 November, Manchester, UK http://www.confercare.manchester.ac.uk/events/ideal2019/ ----------------- Call for papers ----------------- The International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) is an annual international conference dedicated to emerging and challenging topics in intelligent data analysis, data mining and their associated learning systems and paradigms. In its 20th edition, it is returing to Manchester, the birth place of Artificial Intelligence. Its main research themes or topics include, but not limited to: - Big Data Analytics - Machine Learning & Deep Learning - Data Mining - Information Retrieval and Management - Bio- and Neuro-Informatics - Bio-Inspired Models - Agents and Hybrid Intelligent Systems - Real-world Applications of Intelligent Techniques For a reference, the proceedings volumes of the previous conferences, indexed by DBLP (https://dblp.org/db/conf/ideal/index.html), are available in the following links: - IDEAL 2018: https://link.springer.com/book/10.1007%2F978-3-030-03493-1 and https://link.springer.com/book/10.1007%2F978-3-030-03496-2 - IDEAL 2017: https://link.springer.com/book/10.1007%2F978-3-319-68935-7 - IDEAL 2016: https://link.springer.com/book/10.1007%2F978-3-319-46257-8 - IDEAL 2015: https://link.springer.com/book/10.1007%2F978-3-319-24834-9 ----------------------------------------- Call for Workshops and Special Sessions ----------------------------------------- Researchers and prospective organizers are invited to submit a one-page proposal for a special session to Programme Co-chair Antonio Tallon [ atallon at us.es], before end of June 2019. Each proposal should include: - The title of the special session - The organizers with their affiliations - A description of why the topic is of special interest and how it fits to the scope of IDEAL Workshop proposals should also include the following: - The name(s) of the presenter(s) of the introductory talk. - A theme for the discussion. ------------------- Paper Submissions ------------------- Authors are invited to submit their manuscripts (in pdf format) written in English by the deadline via the Easychair online submission system ( https://easychair.org/conferences/?conf=ideal2019). Papers should be within 8 pages but must not exceed 10 pages, and must comply with the format of Springer LNCS/LNAI Proceedings (see www.springer.com/lncs ). Information about submissions to Workshop/Special Sessions can be seen in the conference website. ----------------- Important dates ----------------- Submission Deadline 15 July 2019 Notification of Acceptance 1 August 2019 Camera-Ready Copy Due 15 August 2019 Author/Early Registration 15 August 2019 Conference Presentation 14-16 November 2019 ---------------------- Organising Committee ---------------------- General chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK Program chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK - Antonio Tallon, University of Seville, Spain International advisory committee -------------------------------- - Lei Xu - Shun-ichi Amari - Nick Jennings - Erkki Oja - Burkhard Rost - Francisco Herrera - Yaser Abu-Mostafa - Michael Dempster - Soo-Young Lee - Latit M. Patnaik - Xin Yao Steering committee ------------------ - Hujun Yin - Guilherme Barreto - Emilio Corchado - Colin Fyfe - Samuel Kaski - Jimmy Lee - Vic Rayward-Smith - Zheng Rong Yang - Laiwan Chan - Yiu-ming Cheung - Jose A. Costa - Marc van Hulle - John Keane - Malik Magdon-Ismail - Peter Tino - Ning Zhong ---------- Sponsors ---------- The University of Manchester The Alan Turing Institute Springer --------- Contact --------- For all general information concerning IDEAL 2019, contact: confercare-online at manchester.ac.uk Libre de virus. www.avg.com <#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2> -------------- next part -------------- An HTML attachment was scrubbed... URL: From raoul.strackx at cs.kuleuven.be Tue Jun 25 16:18:30 2019 From: raoul.strackx at cs.kuleuven.be (Raoul Strackx) Date: Tue, 25 Jun 2019 16:18:30 +0200 Subject: [fg-arc] [systex19] Call for Papers (deadline 15th August) Message-ID: <9d541101-8a5e-f65e-11f9-73e2ef78bdc8@cs.kuleuven.be> +---------------------------------------------------------------------+ | 4rd Workshop on System Software for Trusted Execution (SysTEX 2019) | +---------------------------------------------------------------------+ Co-located with SOSP 2019 SysTEX, Huntsville, Ontario, Canada, 15th October 2018 [ IMPORTANT DATES (Times are AoE) ] August 15, 2019 Paper submission September 6, 2019 - Notification of acceptance] October 1, 2019 - Camera Ready Deadline October 27, 2019 - Workshop The rise of new processor hardware extensions that permit fine-grained and flexible trusted execution, such as Intel's SGX, ARM's TrustZone, or AMD's SEV, introduces numerous novel challenges and opportunities for developers of secure applications. There is a burning need for cross-cutting systems support of such Trusted Execution Environments (TEEs) that spans all the layers of the software stack, from the OS through runtime to compilers and programming models. The 4th Workshop on System Software for Trusted Execution (SysTEX) will focus on systems research challenges related to TEEs, and explore new ideas and strategies for the implementation of trustworthy systems with TEEs. The workshop is also open to papers exploring attacks on current TEEs and strategies for mitigating such attacks. This is the fourth installment of the workshop that follows three successful workshops collocated with primary systems venues Middleware 2016, SOSP 2017 and CCS 2018 respectively. Topics of interest include but are not limited to: - Architecture, applications and implementation technologies for trusted platforms and trustworthy infrastructures - Middleware for distributed trusted execution - OS support for trusted execution - Trustworthy infrastructures and services for cloud computing (including resilience) - Attestation and integrity verification - Cryptographic aspects of trusted and trustworthy computing - Intrusion resilience in trusted computing - Virtualization for trusted platforms - Security policy and management of trusted computing - Privacy aspects of trusted computing - Verification of trusted computing architectures - Usability and end-user interactions with trusted platforms - Limitations of trusted computing - Usability and user perceptions of trustworthy systems and risks - Use case studies of trusted execution - Validation and performance evaluation of trusted hardware [ WORKSHOP CO-CHAIRS ] Kapil Vaswani, Microsoft Research Raoul Strackx, KU Leuven, Belgium Contact: kapilv at microsoft.com, raoul.strackx at cs.kuleuven.be [ PROGRAM COMMITTEE ] Pascal Felber, University of Neuchatel, Switzerland Christof Fetzer, TU Dresden, Germany Rüdiger Kapitza, TU Braunschweig, Germany Peter Pietzuch, Imperial College, United Kingdom Meltem Ozsoy, Intel, USA Vinod Ganapathy, Indian Institute of Science, India Jethro Beekman, Fortanix, USA Han Dongsu, KAIST, Korea Taesoo Kim, Georgia Tech, USA Ofir Weisse, University of Michigan, USA Marina Minkin, University of Michigan, USA Ferdinand Brasser, TU Darmstadt, Germany Tilo Müller, University Erlangen-Nürnberg, Germany ... to be completed [ FORMAT OF THE WORKSHOP ] The goal of the workshop is to foster collaboration and discussion among researchers and practitioners in this field. The workshop will be one full day. The program should primarily include presentations by authors of accepted papers (the workshop will have proceedings in the ACM digital library). [ SUBMISSION AND PUBLICATION ] SysTEX welcomes submissions in two formats: Regular research papers of at most 6 pages including references. Research papers should be work that is not previously published or concurrently submitted elsewhere and will be published in the proceedings. Short research statements of at most 1-2 pages. Research statements aim at fostering discussion and collaboration. Research statements may summarize research published elsewhere or outline new emerging ideas. Authors can choose if accepted research statements should be published in the proceedings. All submissions should be in PDF and must follow the ACM SIGPLAN format (http://www.acm.org/publications/proceedings-template). Reviewing is single-blind, and the names and affiliations of the authors must appear in the submitted papers. Each paper will receive at least three reviews from members of the program committee. Submissions that do not respect the formatting requirement may be rejected without review. Submissions site: https://hotcrp.doc.ic.ac.uk/systex19/ From ideal.conf at gmail.com Sun Jun 30 21:13:18 2019 From: ideal.conf at gmail.com (Ideal series) Date: Sun, 30 Jun 2019 21:13:18 +0200 Subject: [fg-arc] [IDEAL 2019] 2nd Call for Papers. 20th Int. Conference on Intelligent Data Engineering and Automated Learning (IDEAL). November, Manchester (UK) Message-ID: 20th International conference on Intelligent Data Engineering and Automated Learning (IDEAL 2019) 14-16 November, Manchester, UK http://www.confercare.manchester.ac.uk/events/ideal2019/ ----------------- Call for papers ----------------- The International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) is an annual international conference dedicated to emerging and challenging topics in intelligent data analysis, data mining and their associated learning systems and paradigms. In its 20th edition, it is returing to Manchester, the birth place of Artificial Intelligence. Its main research themes or topics include, but not limited to: - Big Data Analytics - Machine Learning & Deep Learning - Data Mining - Information Retrieval and Management - Bio- and Neuro-Informatics - Bio-Inspired Models - Agents and Hybrid Intelligent Systems - Real-world Applications of Intelligent Techniques For a reference, the proceedings volumes of the previous conferences, indexed by DBLP (https://dblp.org/db/conf/ideal/index.html), are available in the following links: - IDEAL 2018: https://link.springer.com/book/10.1007%2F978-3-030-03493-1 and https://link.springer.com/book/10.1007%2F978-3-030-03496-2 - IDEAL 2017: https://link.springer.com/book/10.1007%2F978-3-319-68935-7 - IDEAL 2016: https://link.springer.com/book/10.1007%2F978-3-319-46257-8 - IDEAL 2015: https://link.springer.com/book/10.1007%2F978-3-319-24834-9 ----------------------------------------- Call for Workshops and Special Sessions ----------------------------------------- Researchers and prospective organizers are invited to submit a one-page proposal for a special session to Programme Co-chair Antonio Tallon [ atallon at us.es], before end of June 2019. Each proposal should include: - The title of the special session - The organizers with their affiliations - A description of why the topic is of special interest and how it fits to the scope of IDEAL Workshop proposals should also include the following: - The name(s) of the presenter(s) of the introductory talk. - A theme for the discussion. ------------------- Paper Submissions ------------------- Authors are invited to submit their manuscripts (in pdf format) written in English by the deadline via the Easychair online submission system ( https://easychair.org/conferences/?conf=ideal2019). Papers should be within 8 pages but must not exceed 10 pages, and must comply with the format of Springer LNCS/LNAI Proceedings (see www.springer.com/lncs ). Information about submissions to Workshop/Special Sessions can be seen in the conference website. ----------------- Important dates ----------------- Submission Deadline 15 July 2019 Notification of Acceptance 1 August 2019 Camera-Ready Copy Due 15 August 2019 Author/Early Registration 15 August 2019 Conference Presentation 14-16 November 2019 ---------------------- Organising Committee ---------------------- General chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK Program chairs -------------- - Hujun Yin, University of Manchester, UK - David Camacho, Universidad Autónoma de Madrid, Spain - Peter Tino, University of Birmingham, UK - Antonio Tallon, University of Seville, Spain International advisory committee -------------------------------- - Lei Xu - Shun-ichi Amari - Nick Jennings - Erkki Oja - Burkhard Rost - Francisco Herrera - Yaser Abu-Mostafa - Michael Dempster - Soo-Young Lee - Latit M. Patnaik - Xin Yao Steering committee ------------------ - Hujun Yin - Guilherme Barreto - Emilio Corchado - Colin Fyfe - Samuel Kaski - Jimmy Lee - Vic Rayward-Smith - Zheng Rong Yang - Laiwan Chan - Yiu-ming Cheung - Jose A. Costa - Marc van Hulle - John Keane - Malik Magdon-Ismail - Peter Tino - Ning Zhong ---------- Sponsors ---------- The University of Manchester The Alan Turing Institute Springer --------- Contact --------- For all general information concerning IDEAL 2019, contact: confercare-online at manchester.ac.uk -------------- next part -------------- An HTML attachment was scrubbed... URL: From Erwan.Bousse at ls2n.fr Tue Jun 25 13:19:09 2019 From: Erwan.Bousse at ls2n.fr (Erwan BOUSSE) Date: Tue, 25 Jun 2019 13:19:09 +0200 Subject: [fg-arc] =?utf-8?q?2nd_CFP_=E2=88=92_International_Workshop_on_M?= =?utf-8?q?odeling_Language_Engineering_and_Execution_=28MLE=29_=E2=88=92_?= =?utf-8?q?co-located_with_MODELS_2019?= Message-ID: <8c7d0c96f400f32d95cc6258fcd363a2@imap.univ-nantes.prive> ----------------------------------------------------------------------- 2nd Call for Papers: International Workshop on Modeling Language Engineering and Execution (MLE) The joint Fifth International Workshop on Executable Modeling (EXE) and Seventh International Workshop on the Globalization of Modeling Languages (GEMOC), co-located with MODELS 2019, September 2019, Munich, Germany http://gemoc.org/events/mle2019 ----------------------------------------------------------------------- --------------------------- About the conference --------------------------- MLE 2019 is a brand new MODELS workshop resulting from the merger of two recurring MODELS workshops, namely GEMOC and EXE! Accordingly, it will be a full-day workshop that brings together researchers and practitioners in the modeling languages community to discuss the challenges associated with the engineering of modeling languages, with executability, and with integrating multiple, heterogeneous modeling languages. The languages of interest include both general-purpose and domain-specific languages with topics ranging from the requirements, design, and implementation of languages that may or may not be executable. Following the previous editions of the GEMOC and EXE workshops, the objective is to continue collaborations and to expand on the two overlapping communities that are focused on solving problems arising both from the globalization of modeling languages − i.e., the use of multiple DSLs to support coordinated development of diverse aspects of a system − and the problems related to the executability of modeling languages − i.e., defining, composing, verifying and tooling the execution semantics of DSLs. MLE 2019 will provide an open forum for sharing experiences, problems, and solutions on all these topics. This workshop will be the place where concrete artifacts, ideas, and opinions are exchanged in order to gather constructive feedback. --------------------------- Keynote --------------------------- « Modelling Syntax, Semantics and Pragmatics in Practice » by Vadim Zaytsev, Chief Science Officer of Raincode and Raincode Labs. --------------------------- Topics --------------------------- The increasing complexity of modern software-intensive systems demands enhanced software engineering methods. Separation of concerns of the diverse stakeholders’ facilitates the coordinated development of system aspects implementing these concerns. These different concerns are often associated with specialized description languages and technologies, which are based on concern-specific problems and solution concepts. Executable modeling languages, for instance, are increasingly used to provide abstractions of a system’s behavior, and to perform early analyses of that behavior. Hence, software developers are faced both with the challenging task of engineering each separate modeling language and associated technologies and with the task of integrating the different languages from different concern spaces. The topics of interest include (but are not limited to): - Tools and methods for engineering modeling languages (eg. DSLs) - Defining, composing, verifying and tooling the execution semantics of modeling languages - Composability and interoperability of heterogeneous modeling languages - Heterogeneous modeling and simulation - Tools and methods for the dynamic validation, verification of systems (e.g., model animation, testing debugging, simulation, tracing, trace exploration, model checking, symbolic execution) - Tools and methods to deal with the different system aspects and to ensure consistency and coherence between the different models - Execution and composition of partial and underspecified models - Language interface, viewpoint - Multi-language or multi-disciplinary environment - Model execution and composition in the presence of non-determinism and concurrency - Tools and methods for socio-technical coordination in the context of heterogeneous modeling - Language integration challenges, from requirements to design, for analysis and simulation, during runtime, etc. - Surveys and benchmarks of different approaches for the development of modeling languages Submissions describing practical and industrial experience related to the use of executable and/or heterogeneous modeling languages are also encouraged, particularly in the following application domains: - Cyber-Physical Systems, System of Systems - Internet of Services, Internet of Things - Complex Adaptive Systems - Smart City, Smart Building, Home automation --------------------------- Workshop Format --------------------------- The format of the workshop reflects the goals of the workshop: constructive feedback on submitted papers and other artifacts on the conjoint use of different modeling languages, collaborations, and community building. The format of the workshop is that of a working meeting. Hence, there is less focus on presentations and more focus on producing and documenting a research content that identifies challenges, different forms of language integration, and relates existing solutions. The workshop consists of a morning session in which a keynote and short presentations of the accepted papers will be given. A significant amount of time will be reserved for discussing each paper and their relations to each other. The afternoon session is devoted to a working session dedicated to open discussions of the presented contributions and other topics suggested by the participants. The closing session is dedicated to develop a plan to publish the results of the discussion in a final workshop report. --------------------------- Submission and Publication --------------------------- The following types of submissions are solicited: - Research papers (up to 8 pages) - Short papers (up to 4 pages) As contributions, we expect early research results about the aforementioned topics, descriptions of problems, case studies, experience reports or solutions related to the topics of interest. We also strongly encourage the submission of comparative studies and benchmarks of existing approaches in one of the topics. Short papers can also describe tool demonstrations or position papers. Papers that describe use cases or novel approaches can be accompanied by concrete artifacts, such as models (requirements, design, analysis, transformation, composition, etc.), stored in a public repository. Artifacts should illustrate any experience on the conjoint use of different modeling languages. All submissions have to follow the the IEEE format (https://www.ieee.org/conferences/publishing/templates.html) and must be submitted electronically in PDF format via Easychair (https://easychair.org/my/conference?conf=mle2019). All submissions will be evaluated by at least three members of the program committee. Research papers, experience reports, and tool demonstration papers will be evaluated concerning novelty, correctness, significance, readability, and alignment with the workshop call. Position papers will be evaluated primarily concerning the validity and the ability to generate discussion (even controversy), as well as alignment with the workshop call. Furthermore, all submissions must be original work and must not have been previously published or being under review elsewhere. The accepted papers will be published as IEEE online proceedings and indexed in DBLP and Scopus. --------------------------- Important Dates --------------------------- - Abstract submission deadline: June 28, 2019 - Paper submission deadline: July 5, 2019 - Notification of acceptance: July 28, 2019 - Workshop: September 2019 --------------------------- Organization committee --------------------------- - Erwan Bousse, University of Nantes, France - Julien Deantoni, University of Nice, France - Romina Eramo, University of L’Aquila, Italy - Jeff Gray, University of Alabama, USA - Ed Seidewitz, Model Driven Solutions, USA --------------------------- Program Committee --------------------------- - Bernhard Rumpe, RWTH Aachen University - Taylor Riche, National Instruments - Florian Noyrit, CEA LIST - Steffen Zschaler, King's College London - Andrei Chiș, feenk gmbh - Gunter Mussbacher, McGill University - Jean-Michel Bruel, IRIT - Manuel Wimmer, Johannes Kepler University Linz - Thomas Degueule, CWI - Federico Ciccozzi, Mälardalen University - Hans Vangheluwe, University of Antwerp and McGill University - Hugo Bruneliere, NaoMod Team (IMT Atlantique & LS2N - CNRS) - Andreas Wortmann, RWTH Aachen University - Mark Van Den Brand, Eindhoven University of Technology - Jérémie Tatibouët, CEA - Benoit Combemale, University of Toulouse & Inria - Tony Clark, Aston University - Safouan Taha, CentraleSupelec - Matthias Schöttle, McGill University - Nicolas Hili, IRT Saint Exupéry From fioretto.ferdinando at isye.gatech.edu Tue Jun 25 16:19:55 2019 From: fioretto.ferdinando at isye.gatech.edu (Fioretto, Ferdinando) Date: Tue, 25 Jun 2019 14:19:55 +0000 Subject: [fg-arc] CFP: ICLP-2019 - Special Session: Women in Logic Programming (Extended Deadline and New Publisher) Message-ID: <4E4A9FF2-F1AC-4F8C-BEA9-AB55553F7170@gatech.edu> [Apologies for cross-posting] The 35th International Conference on Logic Programming (ICLP 2019) Special Session: Women in Logic Programming =========================================== ***** EXTENDED DEADLINE and NEW PUBLISHER ***** This special session aims to increase the visibility and impact of women in LP, fostering awareness of one another’s work. To have good role models is very important for female students and this session is an opportunity to celebrate women’s work in the community. We hope this will be particularly attractive to early-career women. The session will include one or two invited talks and presentations by women in logic programming. Submission Details ================== The submissions to this special session must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019 All submissions must be written in English and at least one coauthor must be a woman. Contributions can be sent in the form of short papers (7 pages in EPTCS format, including references or 7 pages in OASIcs format, including references but these will have to be converted to EPTSC format for the camera ready version if the paper is accepted) and can describe published research. The accepted short papers that describe original and previously unpublished work will be published as TCs, along with the selected ICLP-TC papers. The accepted short papers that describe published research will be made available at the conference webpage, with the permission of the authors. The EPTCS style for submissions can be found here: http://info.eptcs.org All technical communications will be presented during the conference, preferably by women. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Keynote ======= Yuliya Lierler - University of Nebraska Omaha Important Dates =============== Paper submission: June 30, 2019 Notification: July 17, 2019 Camera-ready copy due: July 31, 2019 Main conference: September 20-25, 2019 Organization ============ Session Chairs: Marina De Vos - University of Bath Alicia Villanueva - Universitat Politècnica de València Program Committee ================= Elvira Albert - Universidad Complutense de Madrid Stefania Costantini - University of L’Aquila Ines Dutra - University of Porto Daniela Inclezan - Miami University Ejaterina Komendantskaya - Heriot-Watt University Simona Perri - University of Calabria Francesca Toni - Imperial College From irdta at irdta.eu Tue Jun 25 17:53:53 2019 From: irdta at irdta.eu (IRDTA) Date: Tue, 25 Jun 2019 17:53:53 +0200 Subject: [fg-arc] DeepLearn 2019: regular registration July 19 Message-ID: <545102060a010b0200565100040b585e5356540454555705550b0f520f07575155540504010005575105560b50055903@grlmc_ip-zone_com-6> DeepLearn 2019: regular registration July 19*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line*   ***************************************************************   3rd INTERNATIONAL SUMMER SCHOOL ON DEEP LEARNING   DeepLearn 2019   Warsaw, Poland   July 22-26, 2019   Co-organized by:   Institute of Computer Science, Polish Academy of Sciences   IRDTA – Brussels/London   http://deeplearn2019.irdta.eu/   ***************************************************************   --- Regular registration deadline: July 19, 2019 ---   ***************************************************************   SCOPE:   DeepLearn 2019 will be a research training event with a global scope aiming at updating participants about the most recent advances in the critical and fast developing area of deep learning. This is a branch of artificial intelligence covering a spectrum of current exciting machine learning 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 3 keynote lectures and 23 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 2019 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 2019 will take place in Warsaw, whose historical Old Town was designated a UNESCO World Heritage Site. The venue will be:   Global Expo Modlinska 6D 03-216 Warsaw   KEYNOTE SPEAKERS:   Maria-Florina Balcan (Carnegie Mellon University), Data Driven Clustering   Mark Gales (University of Cambridge), Use of Deep Learning in Non-native Spoken English Assessment   Mihaela van der Schaar (University of Cambridge), Learning Engines for Healthcare: Using Machine Learning to Transform Clinical Practice and Discovery   PROFESSORS AND COURSES:   Aaron Courville (University of Montréal), [introductory/intermediate] Deep Generative Models   Issam El Naqa (University of Michigan), [introductory/intermediate] Deep Learning for Biomedicine   Sergei V. Gleyzer (University of Florida), [introductory/intermediate] Feature Extraction, End-end Deep Learning and Applications to Very Large Scientific Data: Rare Signal Extraction, Uncertainty Estimation and Realtime Machine Learning Applications in Software and Hardware   Vasant Honavar (Pennsylvania State University), [introductory/intermediate] Causal Models for Making Sense of Data   Qiang Ji (Rensselaer Polytechnic Institute), [introductory/intermediate] Probabilistic Deep Learning for Computer Vision   James Kwok (Hong Kong University of Science and Technology), [introductory/intermediate] Compressing Neural Networks   Tomas Mikolov (Facebook), [introductory] Using Neural Networks for Modeling and Representing Natural Languages (with Piotr Bojanowski and Armand Joulin)   Hermann Ney (RWTH Aachen University), [intermediate/advanced] Speech Recognition and Machine Translation: From Statistical Decision Theory to Machine Learning and Deep Neural Networks   Jose C. Principe (University of Florida), [intermediate/advanced] Cognitive Architectures for Object Recognition in Video   Fabio Roli (University of Cagliari), [introductory/intermediate] Adversarial Machine Learning   Björn Schuller (Imperial College London), [introductory/intermediate] Deep Learning for Intelligent Signal Processing   Alex Smola (Amazon), [introductory] Dive into Deep Learning   Sargur Srihari (University at Buffalo), [intermediate/advanced] Explainable Artificial Intelligence   Ponnuthurai N Suganthan (Nanyang Technological University), [introductory/intermediate] Learning Algorithms for Classification, Forecasting and Visual Tracking   Johan Suykens (KU Leuven), [introductory/intermediate] Deep Learning, Neural Networks and Kernel Machines   Bertrand Thirion (INRIA), [introductory] Understanding the Brain with Machine Learning   Gaël Varoquaux (INRIA), [intermediate] Representation Learning in Limited Data Settings   René Vidal (Johns Hopkins University), [intermediate/advanced] Mathematics of Deep Learning   Haixun Wang (WeWork), [intermediate] Abstractions, Concepts, and Machine Learning   Xiaowei Xu (University of Arkansas, Little Rock), [introductory/advanced] Multi-resolution Models for Learning Multilevel Abstract Representations of Text   Ming-Hsuan Yang (University of California, Merced), [intermediate/advanced] Learning to Track Objects   Zhongfei Zhang (Binghamton University), [introductory/advanced] Knowledge Discovery from Complex Data with Deep Learning   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 July 14, 2019.   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. At least one of the people participating in the demonstration must register for the event. Expressions of interest have to be submitted to david at irdta.eu by July 14, 2019.   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. At least one of the 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 14, 2019.   ORGANIZING COMMITTEE:   Łukasz Kobyliński (Warsaw, co-chair) Sara Morales (Brussels) Manuel J. Parra-Royón (Granada) David Silva (London, co-chair)   REGISTRATION:   It has to be done at   http://deeplearn2019.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:   Accommodation can be booked at   http://www.deeplearn2019.promoest.com/hp.aspx?s=0   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:   Institute of Computer Science, Polish Academy of Sciences   Institute for Research Development, Training and Advice (IRDTA) – Brussels/London   -------------- next part -------------- An HTML attachment was scrubbed... URL: From jpanach at dsic.upv.es Thu Jun 27 11:38:29 2019 From: jpanach at dsic.upv.es (Ignacio Panach Navarrete) Date: Thu, 27 Jun 2019 11:38:29 +0200 Subject: [fg-arc] ER Forum 2019- Deadline Extension : July 14th Message-ID: <4d47d76d-4443-bf71-8b57-2fb6d403a644@dsic.upv.es> **************************************************************************** CALL FOR PAPERS in the ER Forum in conjunction with the 38th International Conference on Conceptual Modeling (ER2019) to be held in Salvador, Brazil. from Nov. 4-7, 2019 *************************************************************************** Scope ===== The ER 2019 Forum aims to create a platform for presenting and discussing novel research ideas addressing any of the ER 2019 conference topics as well as new emerging topics related to the conceptual modeling field. In this track, innovation prevails over maturity. The main goal of the ER Forum 2019 is to facilitate the interaction, discussion and exchange of ideas among presenters and participants (http://www.inf.ufrgs.br/er2019/). Important dates =============== Deadline for submissions:         July 14, 2019 Notification of acceptance:     August 8, 2019 Camera-ready deadline:         September 8, 2019 Author Guidelines ================= The rules for ER Forum paper submission are similar to those for the ER 2019 conference. Therefore, we invite two types of submissions: Full papers with a limit of 14 pages, and short papers with a limit of 8 pages. The papers must adhere to Springer’s LNCS submission formatting guidelines (for details see http://www.springer.de/comp/lncs/authors.html). Manuscripts not submitted in the LNCS style or exceeding the page limit will not be reviewed and hence, they will be automatically rejected. A paper submitted to ER 2019 Forum must not be under review in any other conference or journal during the time it is being considered for ER 2019 Forum. The submissions are due in PDF format through the ER 2019 submission system hosted by EasyChair at https://easychair.org/conferences/?conf=er2019 Publication and Presentation ============================ All submissions will be reviewed by an international program committee. The volume of accepted ER 2019 Forum papers shall be submitted to CEUR-WS.org for online publication with the same submission format. In order to propel discussion and feedback opportunities instead of the usual paper presentation session, the ER 2019 Forum papers will be presented in a “World-Cafè” setting initiated by a short elevator speech by each author. Therefore, physical presence of at least one presenter for each ER 2019 Forum paper is mandatory. Program Committee (tentative) ============================== Heinrich C. Mayr, Alpen-Adia Universität, Austria Giancarlo Guizzardi, UFES, Brazil Hui Ma, Victoria University of Wellington, New Zealand Oscar Pastor, Universidad Politécnica de Valencia, Spain Fabiano Dalpiaz, Utrecht University, Netherlands Beatriz Marín, Universidad Diego Portales, Chile Giovanni Giachetti, Universidad Andres Bello, Chile Raian Ali, Bournemouth University, UK Sagar Sen, Simula Research Laboratory, Norway Dolors Costal, Universitat Politècnica de Catalunya, Spain Ravi Ramdoyal, CETIC, Belgium Kurt Sandkuhl, University of Rostock, Germany Martin Henkel, Stockholm University, Sweden Sergio España, Utrecht University, Netherlands Cristina Cabanillas, Vienna University of Economics and Business, Austria Forum Chairs ============ Ignacio Panach, Universitat de València, joigpana at uv.es From apvereda at uma.es Fri Jun 28 12:05:05 2019 From: apvereda at uma.es (=?utf-8?Q?Alejandro=20Perez=20Vereda?=) Date: Fri, 28 Jun 2019 10:05:05 +0000 Subject: [fg-arc] =?utf-8?q?FOCLASA_2019=3A_Deadline_extension=2C_July_4t?= =?utf-8?q?h?= Message-ID: <9b6934846f06d860c185471e4.677bd6e3f0.20190628100502.e9fd326ed9.d941426c@mail123.sea91.rsgsv.net> Last days to send your paper to Foclasa 2019 ** FOCLASA 2019 ------------------------------------------------------------ 17th International Workshop on Orchestration, Coordination Languages and Self-Adaptive Systems Oslo, Norway September 17, 2019 https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=bd0f1ecc86&e=677bd6e3f0 ------------------------------------------------------------ PUBLICATIONS * Publication of the proceedings in the Lecture Notes of Computer Science of Springer-Verlag, following the collective volumes published by SEFM 2019 * Publication of extended version of selected work is planned in a special issue of an international journal as in previous editions of FOCLASA ------------------------------------------------------------ IMPORTANT DATES * Submission of abstract: June 9, 2019 // July 4, 2019 * Submission of papers: June 16, 2019 // July 4, 2019 * Notification of acceptance: July 21, 2019 * Final version: July 31, 2019 * Workshop: September 17, 2019 ------------------------------------------------------------ WORKSHOP GOALS Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions. ------------------------------------------------------------ Topics of interest include (but are not limited to) both theoretical and practical solutions for what follows: * Coordination, orchestration, composition and adaptation of components, services or microservices. * Business processes and concurrent system modelling. * Languages and models for component and service interaction, their semantics, expressiveness, validation and verification, type checking, static and dynamic analysis. * Cloud/fog/edge computing, and large-scale distributed systems. * Dynamic software architectures, self-adaptive, self-monitoring and self-organizing systems. * Peer-to-peer and multi-agent systems, and blockchains. * QoS observation, storage, history-based analysis in self-adaptive systems. ------------------------------------------------------------ PROCEEDINGS The conference proceedings will be published by Springer, in the Lecture Notes in Computer Science (LNCS) series. Extended versions of a selection of the best papers is planned to be published in a special issue of an international journal as in previous editions of FOCLASA. ------------------------------------------------------------ SUBMISSION INSTRUCTIONS Papers must be submitted electronically in PostScript or PDF by using a two-phase online submission process. Registration of information and and abstract (max. 250 words) of papers must be completed before June 9, 2019. Final submission of papers is due no later than June 16, 2019. All submissions will be handled through the EasyChair conference management system, accessible from the conference web site: https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=c1f7b2454a&e=677bd6e3f0 Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere. Full papers should be 15 pages long, including figures and references, and prepared by using Springer's LNCS style. Short papers (8 pages long) describing preliminary results or work-in-progress are encouraged as well. Submissions not adhering to the above specified constraints may be rejected without any review. Papers should be submitted as PDF via EasyChair. ------------------------------------------------------------ PROGRAM COMMITTEE Co-Chairs Ernesto Pimentel University of Malaga, Spain epimentel at uma.es https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=012c1f58c6&e=677bd6e3f0 Jacopo Soldani University of Pisa, Italy soldani at di.unipi.it https://unipi.us20.list-manage.com/track/click?u=9b6934846f06d860c185471e4&id=358d8db244&e=677bd6e3f0 Members * Farhad Arbab, CWI, The Netherlands * Simon Bliudze, INRIA Lille - Nord Europe, France * Uwe Breitenbücher, University of Stuttgart, Germany * Antonio Brogi, University of Pisa, Italy * Javier Cámara, Carnegie Mellon University, USA * Flavio De Paoli, University of Milano Bicocca, Italy * Francisco J. Durán, Universidad de Malaga, Spain * Erik de Vink, Eindhoven University of Technology, The Netherlands * Schahram Dustdar, TU Wien, Austria * Nahla El-Araby, Vienna University of Technology, Austria (TBC) * Jean-Marie Jacquet, University of Namur, Belgium * Einar Broch Johnsen, University of Oslo, Norway * Alberto Lluch Lafuente, Technical University of Denmark, Denmark * Sun Meng, Peking University, China * Fabrizio Montesi, University of Southern Denmark, Denmark (TBC) * Hernan C. Melgratti, University of Buenos Aires, Argentina * Cesare Pautasso, University of Lugano, Switzerland (TBC) * Pascal Poizat, Universite Paris Ouest, France * Jose Proenca, INESC TEC & Universidade do Minho, Portugal * Gwen Salaün, University of Grenoble, France * Marjan Sirjani, Reykjavik University, Iceland * Emilio Tuosto, University of Leicester, UK - Gran Sasso Science Institute, Italy * Mirko Viroli, University of Bologna, Italy * Lina Ye, CentraleSupelec, France ============================================================ Copyright © 2019 FOCLASA Workshop, All rights reserved. If you do not want to receive more email from here ** unsubscribe from this list (https://unipi.us20.list-manage.com/unsubscribe?u=9b6934846f06d860c185471e4&id=3aefc5abde&e=677bd6e3f0&c=e9fd326ed9) . Email Marketing Powered by Mailchimp http://www.mailchimp.com/monkey-rewards/?utm_source=freemium_newsletter&utm_medium=email&utm_campaign=monkey_rewards&aid=9b6934846f06d860c185471e4&afl=1 -------------- next part -------------- An HTML attachment was scrubbed... URL: From tony.luciano at udemy.com Fri Jun 28 20:14:03 2019 From: tony.luciano at udemy.com (Tony Luciano) Date: Fri, 28 Jun 2019 18:14:03 +0000 Subject: [fg-arc] Summer 2019 python trainings, tutorials & resources for lists.uni-paderborn.de Message-ID: <34532217.or_mail@udemy.com> Hi there, Hope you are having a great Friday. I'm reaching out to you because I noticed lists.uni-paderborn.de has python programming resources available for students. My name is Tony and I work with Udemy. The resources you share with students show me that you have an interest in providing new material for future software programmers. Because of this, I wanted to ask if you're open to a suggestion? Over 30 million students worldwide have trusted Udemy to help supply them with complementary trainings and knowledge on specific subjects, in this case studying to become a data scientist or software programmer. I believe you’ll find that these Udemy python programming training resources complement the programming curriculum taught on campus and will further help your students develop skills that will positively impact their professional career path. Feel free to check out the following python trainings here: https://www.udemy.com/topic/python/ Would you be interested in a university-wide discount code that you could add to your site for computer science and programming students, teachers and alumni? I’d love to know your thoughts. Sincerely, Tony Luciano Education Coordinator, Udemy Don't want emails from us anymore? Reply to this email with the word "UNSUBSCRIBE" in the subject line. Udemy, PO BOX 70207, San Diego CA, 92167, United States -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Wed Jun 26 09:38:12 2019 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 26 Jun 2019 10:38:12 +0300 Subject: [fg-arc] 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020): Third Call for Papers Message-ID: *** Third Call for Papers *** 46th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2020) Atlantica Miramare 4* Beach Hotel, Limassol, Cyprus January 20-24, 2020 http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTQwMAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=http%3A%2F%2Fcyprusconferences.org%2Fsofsem2020%2F *** Submission Deadline: July 29, 2019 *** (Proceedings to be published by Springer) INVITED SPEAKERS (list incomplete) · Mikolaj Bojanczyk, Poland · Erol Gelenbe, UK · Gunnar Klau, Germany · Elias Koutsoupias, UK SOFSEM (SOFtware SEMinar) is an annual international winter conference devoted to the theory and practice of computer science. The first SOFSEM was organized in 1974. SOFSEM consists of invited talks by prominent researchers, of contributed talks selected from the submitted papers, and of the Student Research Forum. The program is organized in plenary talks and parallel tracks devoted to original research in the selected research areas. SOFSEM has a long-standing tradition of facilitating discussions and collegial interactions. It is well-known for its familiar and inspiring atmosphere and as a meeting place for active and leading computer scientists. SOFSEM is a track-based conference. It features the traditional track on foundations of computer science and a number of other tracks that cover contemporary important areas, such as artificial intelligence, cryptography, security, verification, data science, knowledge engineering, social computing and human factors, software and web engineering, etc. The Track Chairs are soliciting technical papers for presentation at the conference and inclusion in the proceedings published by Springer in the ARCoSS/LNCS series. The topics of the conference are organised in four tracks and the (non exhaustive) list of topics for each track is as follows: Foundations of Computer Science · Algorithms and data structures · Automata and formal languages · Complexity theory · Computability theory · Cryptography and security · Graphs and networks · Machine learning · Non-classical models of computing · Theory of databases, semi-structured data, and finite model theory · Theory of programming languages Foundations of Software Engineering · Methods and tools for improved software processes · Software architecture of complex software-intensive systems · Requirements Engineering · Model-based software engineering methods and tools · Data-driven improvement of methods, models, and tools · Methods and tools for software engineering applications · Empirical Software Engineering Foundations of Data Science · Data Models and Query Languages · Data Integration and Interoperability · Query Processing and Optimization · Distributed, Parallel, and P2P Data Processing and Management · Data Semantics and Linked Data · Spatial, Temporal, Multimedia Data · Web- and Graph-based Data · Probabilistic and Uncertain Data · Information Extraction and Retrieval · Data Privacy, Security, and Trust Foundations of Algorithmic Computational Biology · Alignment and assembly of sequences · Biological networks · Cancer genomics · Comparative genomics · Gene expression · Phylogenetics · Sequence analysis · System biology PAPER SUBMISSION Detailed guidelines for submission will appear shortly on the conference web site (https://cyprusconferences.org/sofsem2020/). Papers must be submitted electronically via Easychair in standard Springer format (max 12 pages). The submision link is: http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk0NnRoIEludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBDdXJyZW50IFRyZW5kcyBpbiBUaGVvcnkgYW5kIFByYWN0aWNlIG9mIENvbXB1dGVyIFNjaWVuY2UgKFNPRlNFTSAyMDIwKTogVGhpcmQgQ2FsbCBmb3IgUGFwZXJzCTQwMAlMaXN0cwkxNTAJY2xpY2sJeWVzCW5v&url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dsofsem2020 . Submitted papers will undergo a peer review process. PROCEEDINGS The proceedings will be published by Springer in the ARCoSS/LNCS series. IMPORTANT DATES · July 29th, 2019: Submission of abstracts · August 5th, 2019: Submission of full papers · September 30th, 2019: Notification of Acceptance/Rejection · November 25th, 2019: Camera Ready Papers, registration deadline · January 20-24, 2020: Conference Dates ORGANISATION General Chairs · Yannis Manolopoulos, Open University of Cyprus, Cyprus · George A. Papadopoulos, University of Cyprus, Cyprus Steering Committee · Barbara Catania, University of Genova, Italy · Miroslaw Kutylowski, Wroclaw Uni. of Technology, Poland · Jan van Leeuwen, Utrecht University, Utrecht, Netherlands · Tiziana Margaria-Steffen, University of Limerick, Ireland · Branislav Rovan, Comenius University, Bratislava, Slovakia · Petr Saloun, Technical University of Ostrava, Czech Republic · Julius Stuller, Academy of Sciences, Prague, Czech Republic, chair Tracks and Track Chairs · Foundations of Computer Science: Christos Kapoutsis, Qatar · Foundations of Data Science: Herodotos Herodotou, Cyprus · Foundations of Software Engineering, Alexander Chatzigeorgiou, Greece · Foundations of Algorithmic Computational Biology, Riccardo Dondi, Italy and Florian Sikora, France Student Research Forum Chair · Theodoros Tzouramanis, Greece Webadmin · Kyriakos Georgiades, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From t.a.c.willemse at tue.nl Sat Jun 29 16:07:01 2019 From: t.a.c.willemse at tue.nl (Tim Willemse) Date: Sat, 29 Jun 2019 16:07:01 +0200 Subject: [fg-arc] FMICS 2019: Call for participation Message-ID: ========================================== FMICS 2019 - Call for Participation Early Registration Deadline: 1 August 2019 ========================================== https://fmics2019.fsa.win.tue.nl The 24th International Conference on Formal Methods for Industrial Critical Systems will take place in Amsterdam, the Netherlands on 30-31 August. The aim of FMICS is to bring together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. ================ Keynote Speakers ================ - Jaco van de Pol (joint invited speaker CONCUR) - Holger Hermanns ========== Registration ========== Register by 1 August 2019 (late registration is possible but at a higher cost). More information at: https://fmics2019.fsa.win.tue.nl/?page_id=100 ================= Co-located events ================= * CONCUR: https://event.cwi.nl/concur2019/ * FORMATS: https://lipn.univ-paris13.fr/formats2019/ * WORKSHOPS: - http://dhs.gforge.inria.fr/ - https://express-sos2019.cs.ru.nl/ - https://sites.google.com/site/radicalconcur - IFIP WG 1.8 Workshop on Trends in Concurrency Theory - https://yr-concur2019.fsa.win.tue.nl/ -- T.A.C. Willemse (T.A.C.Willemse at TUe.nl) +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://www.linkedin.com/in/tacwillemse http://orcid.org/0000-0003-3049-7962 -- -------------- next part -------------- An HTML attachment was scrubbed... URL: