From soeren.becker at campus.tu-berlin.de Mon Jul 5 07:37:16 2021 From: soeren.becker at campus.tu-berlin.de (=?utf-8?Q?Becker=2C_S=C3=B6ren?=) Date: Mon, 5 Jul 2021 07:37:16 +0000 Subject: [Haskell] Call for Papers Message-ID: CALL FOR SUBMISSIONS Second International Workshop on Artificial Intelligence for IT Operations collocated with The 19-th  International Conference on Service Oriented Computing (ICSOC 2021) Dubai, UAE, November 22, 2021    >>> https://aiops2021.github.io/ <<< SUBMISSIONS ARE NOW OPEN at: https://easychair.org/conferences/?conf=aiops2021 The official Call for Papers can be found at:  https://easychair.org/cfp/AIOPS2021 Submission deadline: September 30, 2021 Scope Large-scale IT systems, such as data centres, cloud computing environments, edge clouds, IoT and embedded environments, are the key enablers of digital transformation. Managing such systems puts an enormous burden on the operators in dealing with the abundance of data, oftentimes leading to severe economic implications. To mitigate this issue IT operators increasingly rely on tools from artificial intelligence for assistance in the operation of IT systems.  Artificial Intelligence for IT Operations (AIOps) is an emerging field arising in the intersection between the research areas of machine learning, big data, streaming analytics, and the management of IT operations. The main goal is the analysis of system information of heterogeneous type (metrics, logs, customer input, etc) to support administrators by optimizing various objectives like prevention of SLA violation, early anomaly detection and auto-remediation, energy-efficient system operation, providing optimal QoE for customers, predictive maintenance and many more. In this field, a constantly growing interest can be observed, and thus, practical tools are developed from both the academy and industry sector. We envision that, with the advance of AIOps technologies, the IT industry will achieve significant progress and sustained and exponential growth.  The main focus of this workshop is to bring together researchers from both academia and industry to present their experiences, results, and work in progress in this field. A major part of the workshop is to strengthen the community and unite it towards the efforts for solving the main challenges. Topics of interest are the following: * Early anomaly, fault and failure (AFF) detection and analysis * Software dependability * Self-healing, self-correction and auto-remediation * Self-adaptive time-series based models for prognostics and forecasting * AFF identification, localization, and isolation * Root cause analysis * Adaptive fault tolerance policies * Forecasting of hardware and process quality * Performance management * Planning under uncertainty * Predictive and prescriptive maintenance * Maintenance scheduling and on-demand maintenance planning * Alarm correlation * Log analysis * Fault-tolerant system control * Resiliency, reliability, and quality assurance * Autonomic process optimization * Energy-efficient cloud operation * Distributed resource management * Autonomous service provisioning * Visual analytics and interactive machine learning * Active and life-long learning * Design of experiment (DoE) and benchmarking * Fault injection and chaos engineering * Use-cases, testbeds, evaluation scenarios Publication: Post-workshop proceedings in Springer’s LNCS series.  Venue: collocated with ICSOC 2021 conference in Dubai 22 November 2021. More information: http://www.icsoc.org/ , AIOPS2021 (aiops2021.github.io) Important Dates: Paper submission deadline: September 30, 2021 Acceptance notification: October 30, 2021 All deadlines are in Samoa Standard Time (SST = GMT – 11). Check the time in the SST Zone here: https://time.is/SST.  Contact Questions about submissions:  aiops2021 at googlegroups.com Organizers Roberto Natella, University of Naples Federico II, Italy Jasmin Bogatinovski, Technical University Berlin, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From orven.llantos at g.msuiit.edu.ph Thu Jul 8 02:51:05 2021 From: orven.llantos at g.msuiit.edu.ph (Orven Llantos) Date: Thu, 8 Jul 2021 10:51:05 +0800 Subject: [Haskell] The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Message-ID: -- Apologies for cross-posting -- ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN 2021) Date: November 1-4, 2021 Location: Leuven, Belgium Website: http://cs-conferences.acadiau.ca/euspn-21/ ********************************************************************************** The 12th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 30, 2021 - Paper Submission Due: July 16, 2021 (Firm Deadline) - Author Notification: August 4, 2021 - Final Manuscript Due: August 30, 2021 Publication ------------- All EUSPN 2021 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/). All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com). This includes EI Compendex (www.ei.org/compendex). Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/). The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing (IF: 4.594), by Springer ( http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics (IF: 0.524), ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Transportation Research Part A: Policy and Practice (IF: 4.371), by Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and-practice/ ) - International Journal of Computer and Telecommunications Networking (IF: 3.030) (Pending), Elsevier ( https://www.journals.elsevier.com/computer-networks) EUSPN 2021 will be held in conjunction with the 11th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-21/). Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-21/call-for-papers.html EUSPN 2021 will be held in the city of Leuven. Leuven is the capital of the province of Flemish Brabant in Belgium. It is located about 25 kilometres (16 miles) east of Brussels. It is the 10th largest municipality in Belgium and the fourth in Flanders. Leuven is home to the Katholieke Universiteit Leuven, the largest and oldest university of the Low Countries and the oldest Catholic university still in existence. The related university hospital of UZ Leuven, is one of the largest hospitals of Europe. The city is also known for being the headquarters of Anheuser-Busch InBev, the world's largest brewer and one of the five largest consumer-goods companies in the world. The conference venue will be at Park Inn (by Radisson) Hotel (Leuven), which is located right in the heart of the Leuven city. The hotel is less than 2 mins walk from the Leuven train station. All you have to do is to get off the train (or the taxi or the bus) and take the elevator to the bridge connecting the hotel with the rest of the city. Leuven city is directly connected with the Brussels International airport with a 13 min connection via train, 45 mins via bus or a 20 min by taxi (or Uber). Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Nuno Varandas, F6S (Where Founders Grow Together), Portugal Ansar Yasar, Hasselt University, Belgium Workshops' Chair Haroon Malik, Marshall University, USA Publicity Chairs Monika Davidekova, Comenius University, Slovakia Mohammed Elghzaoui, FP-UMI, Errachidia, Morocco Siddardha Kaja, Acadia University, Canada Orven E. Llantos, Ateneo de Manila University, Philippines Program Vice Chairs Ahmad Afridi, Institute of Management Sciences, Pakistan Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France, France Mohammed Erritali, Sultane Moulay Slimane University, Morocco Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Mohamad Khairi Ishak, Universiti Sains Malaysia, Malaysia Faouzi Kammoun, Ecole Superieure Privee d'Ingenierie et de Technologies, Tunis Yannis Korkontzelos, Edge Hill University, UK Flavio Lombardi, Universita Roma Tre, Italy Fernando Moreira, Universidade Portucalense, Portugal Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France, France Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Zakaria Maamar, Zayed University, UAE Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-21/organizing-commitee.html -- Orven E. Llantos, PhD Associate Professor School of Computer Studies MSU-IIT -- ---*DISCLAIMER AND CONFIDENTIALITY NOTICE* The Mindanao State University-Iligan Institute of Technology   (MSU-IIT) makes no warranties of any kind, whether expressed or implied, with respect to the MSU-IIT e-mail resources it provides. MSU-IIT will not be responsible for damages resulting from the use of MSU-IIT e-mail resources, including, but not limited to, loss of data resulting from delays, non-deliveries, missed deliveries, service interruptions caused by the negligence of a MSU-IIT employee, or by the User's error or omissions. MSU-IIT specifically denies any responsibility for the accuracy or quality of information obtained through MSU-IIT e-mail resources, except material represented as an official MSU-IIT record. Any views expressed in this e-mail are those of the individual sender and may not necessarily reflect the views of MSU-IIT, except where the message states otherwise and the sender is authorized to state them to be the views of MSU-IIT. The information contained in this e-mail, including those in its attachments, is confidential and intended only for the person(s) or entity(ies) to which it is addressed. If you are not an intended recipient, you must not read, copy, store, disclose, distribute this message, or act in reliance upon the information contained in it. If you received this e-mail in error, please contact the sender and delete the material from any computer or system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mera at process-design-center.com Thu Jul 8 09:22:56 2021 From: mera at process-design-center.com (Edison Mera) Date: Thu, 8 Jul 2021 11:22:56 +0200 (CEST) Subject: [Haskell] Vacancy for a PhD in Computer Science and Functional Programming Message-ID: <20210708092256.3E5DC40DA2@process-design-center.com> Vacancy -- Ph.D. in Computer Science & Functional Programming ------------------------------------------------------------- **Process Design Center (PDC) **PDC is seeking a Ph.D. in Computer Science & Functional Programming with good analytical skills, interested in solving problems requiring non-trivial algorithms. PDC is at the forefront of creating a new industry. PDC is a diverse and international team of highly educated and creative individuals (75% doctorates) using Human + Artificial Intelligence to arrive at better solutions. We believe innovation is a joint effort. Thus, our colleagues, partners & clients are at the center of our success. Among our clients are the major players in the industry as well as startups, investors and governments. Be aware that our website www.process-design-center.com is heavily outdated and is currently redesigned, rewritten, and generally revitalized, and we hope to finish the new website in Q3 of this year. **Responsibilities** - You will be in charge of the development of the new Decentralized Applications (DApps) / SmartContracts for the future products of the Company - Use the Cardano protocol (test, develop and deploy DApps on this platform) - Actively participate in multi-disciplinary research projects Requirements - A finished PhD in Computer Science, no more than 5 years after graduation - Functional programming expertise, in particular coding in Haskell/Plutus - Experience in formal software verification methods and techniques - Experience in other programming languages is an advantage - Familiar with automated testing, continuous integration and development - Experience with open source development tools - Knowledge in cybersecurity and cryptography concepts such as encryption, digital signatures, asymmetric keys, etc. - EU passport - Creative, laser-focus - Self-propelling and proactive - Ability to work well in a team but also independently - Good communication skills and a strong command of the English language - Willing to move to Breda - Netherlands **The Challenge & Personal development ** Our philosophy: - Learning-on-the-job is the most effective approach that we adopted to coach our people. - Blending young and experienced people to arrive at innovative results. - we present opportunities for our people to take direct responsibility. This way, we empower them, accelerate their growth and give them the freedom and the space to create and innovate. - We invest in your future by allocating resources to build on our joint ambitions. Contact Interested? Please apply by sending your CV and application letter in English by e-mail to our CEO Hans Keuken: keuken at process-design-center.com PDC provides gender-equal job opportunities and all qualified applicants will receive consideration for employment with regard to any characteristic protected by law. From ifl21.publicity at gmail.com Fri Jul 9 05:55:35 2021 From: ifl21.publicity at gmail.com (Pieter Koopman) Date: Fri, 9 Jul 2021 05:55:35 +0000 Subject: [Haskell] IFL'21 Third call for papers Message-ID: ================================================================================ IFL 2021 33rd Symposium on Implementation and Application of Functional Languages venue: online 1 - 3 September 2021 https://ifl21.cs.ru.nl ================================================================================ News - Paper submission details. - Registration information added Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2021 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Industrial track and topics of interest This year's edition of IFL explicitly solicits original work concerning *applications* of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background. Topics of interest to IFL include, but are not limited to: * language concepts * type systems, type checking, type inferencing * compilation techniques * staged compilation * run-time function specialisation * run-time code generation * partial evaluation * (abstract) interpretation * meta-programming * generic programming * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * embedded systems * web applications * (embedded) domain-specific languages * security * novel memory management techniques * run-time profiling performance measurements * debugging and tracing * testing and proofing * virtual/abstract machine architectures * validation, verification of functional programs * tools and programming techniques * applications of functional programming in the industry, including ** functional programming techniques for large applications ** successes of the application functional programming ** challenges for functional programming encountered ** any topic related to the application of functional programming that is interesting for the IFL community Post-symposium peer-review Following IFL tradition, IFL 2021 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chairs to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium every presenter is invited to submit a full paper, incorporating feedback from discussions at the symposium. Work submitted to IFL may not be simultaneously submitted to other venues; submissions must adhere to ACM SIGPLAN's republication policy. The program committee will evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the paper is accepted or rejected for the formal proceedings. We plan to publish these proceedings in the International Conference Proceedings Series of the ACM Digital Library, as in previous years. Moreover, the proceedings will also be made publicly available as open access. Important dates Submission deadline of draft papers: 17 August 2021 Notification of acceptance for presentation: 19 August 2021 Registration deadline: 30 August 2021 IFL Symposium: 1-3 September 2021 Submission of papers for proceedings: 6 December 2021 Notification of acceptance: 3 February 2022 Camera-ready version: 15 March 2022 Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template . (For LaTeX users, start your document with \documentclass[format=sigconf]{acmart}.) Note that this format has a rather long but limited list of packages that can be used. Please make sure that your document adheres to this list. The submission Web page for IFL21 is https://easychair.org/conferences/?conf=ifl21 . Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. Organisation IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands PC: Peter Achten (co-chair) - Radboud University, Netherlands Thomas van Binsbergen - University of Amsterdam, Netherlands Edwin Brady - University of St. Andrews, Scotland Laura Castro - University of A Coruña, Spain Youyou Cong - Tokyo Institute of Technology, Japan Olaf Chitil - University of Kent, England Andy Gill - University of Kansas, USA Clemens Grelck - University of Amsterdam, Netherlands John Hughes - Chalmers University, Sweden Pieter Koopman (co-chair) - Radboud University, Netherlands Cynthia Kop - Radboud University, Netherlands Jay McCarthey - University of Massachussetts Lowell, USA Neil Mitchell - Facebook, England Jan De Muijnck-Hughes - Glasgow University, Scotland Keiko Nakata - SAP Innovation Center Potsdam, Germany Jurriën Stutterheim - Standard Chartered, Singapore Simon Thompson - University of Kent, England Melinda Tóth - Eötvos Loránd University, Hungary Phil Trinder - Glasgow University, Scotland Meng Wang - University of Bristol, England Viktória Zsók - Eötvos Loránd University, Hungary Virtual symposium Because of the Covid-19 pandemic, this year IFL 2021 will be an online event, consisting of paper presentations, discussions and virtual social gatherings. Registered participants can take part from anywhere in the world. Registration Please use the below link to register for IFL 2021: https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link Thanks to the sponsors and the support of the Radboud university registration is free of charge. [image: beacon] -------------- next part -------------- An HTML attachment was scrubbed... URL: From timothybourke at gmail.com Fri Jul 9 10:05:10 2021 From: timothybourke at gmail.com (Timothy Bourke) Date: Fri, 9 Jul 2021 12:05:10 +0200 Subject: [Haskell] JFLA 2022: Call for papers (in French) Message-ID: <20210709100510.nzvkix5nuxkde7bx@MP693-PRO> [ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional Languages" to be held in February next year. We would love to receive articles or tutorials on Haskell or applications of Haskell. Original written submissions can be in English, but the presentation or tutorial would have to be in French. ] - Merci de faire circuler : premier appel à communications - JFLA'2022 http://jfla.inria.fr/jfla2022.html Journées Francophones des Langages Applicatifs 2 février au 5 février 2022 Domaine d'Essendiéras (Périgord) Les 33-ièmes Journées Francophones des Langages Applicatifs (JFLA) se tiendront dans le Périgord, à Saint Médard d’Excideuil, au coeur du Domaine d'Essendiéras, du mercredi 2 février 2022 au samedi 5 février 2022. Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, de la vérification de programmes, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons promouvoir les ponts entre les différentes thématiques. - Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. - Spécification, prototypage, développements formels d'algorithmes. - Vérification de programmes ou de modèles, méthode déductive, interprétation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! * Dates importantes Soumission des résumés 1er octobre 2021 Soumission des articles 8 octobre 2021 Notification aux auteurs 9 novembre 2021 Version finale 7 décembre 2021 Clôture des inscriptions 7 janvier 2022 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (bibliographie incluse), portant sur des travaux originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est pas entièrement finalisé. Nous encourageons aussi la soumission de "perles", ces articles présentant avec élégance un résultat connu sous un angle nouveau. - Article court de huit pages au plus (bibliographie incluse) pour rechercher de l'aide pour résoudre un problème particulier ou pour reparler d'un papier déjà publié. - Proposition de tutoriel d'une page exposant son intérêt et ses objectifs ainsi que l'environnement informatique nécessaire à sa réalisation. - Proposition de démonstration d'un outil ou d'un prototype de deux pages décrivant pourquoi ce logiciel est intéressant ainsi que ses spécificités. Dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, et les auteurs seront invités à faire une présentation lors des journées, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. Les tutoriels auront un créneau de vingt-cinq minutes et les démonstrations d'outils ou de prototypes se verront allouer quinze minutes. L'article peut être rédigé en anglais, auquel cas la présentation devra être effectuée en français. Néanmoins, dans le cas où il s'agit d'une republication au format court d'un article déjà publié, la publication doit être en français et la publication originale en anglais. Le style LaTeX Easychair doit être respecté : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=jfla22 -- Chantal Keller et Timothy Bourke -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-signature Size: 488 bytes Desc: not available URL: From tarmo at cs.ioc.ee Fri Jul 9 15:05:38 2021 From: tarmo at cs.ioc.ee (Tarmo Uustalu) Date: Fri, 9 Jul 2021 18:05:38 +0300 Subject: [Haskell] ETAPS 2022 1st joint call for papers Message-ID: <20210709180538.768fb90d@cs.ioc.ee> Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences. - The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. - ETAPS has low participation fees for all and for students in particular. New in 2022: - Like FASE for several years already, ESOP will also use double-blind review this time. - FASE has a new paper category of new ideas and emerging results (NIER) papers. - The pre-paper-acceptance artifact submission deadline for TACAS is now a little later than the paper submission deadline. - ESOP and FASE welcome voluntary submission of artifacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision. - Among the satellite events, there is a PhD student mentoring workshop. ****************************************************************** JOINT CALL FOR PAPERS 25th European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich, Germany, 2-7 April 2022 https://etaps.org/2022 ****************************************************************** -- ABOUT ETAPS -- ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences, accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth event in the series. -- MAIN CONFERENCES (4-7 April) -- * ESOP: European Symposium on Programming (PC chair: Ilya Sergey, Yale-NUS College and National University of Singapore, Singapore) * FASE: Fundamental Approaches to Software Engineering (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, and Manuel Wimmer, Johannes Kepler Universität Linz, Austria) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Patricia Bouyer, CNRS, LMF, France, and Lutz Schröder, FAU Erlangen-Nürnberg, Germany) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Dana Fisman, Ben-Gurion University of the Negev, Israel, and Grigore Rosu, University of Illinois at Urbana-Champaign, USA) TACAS '22 will host the 11th Competition on Software Verification (SV-COMP). -- INVITED SPEAKERS -- * Unifying speakers: Alexandra Silva (University College London, UK / Cornell University, USA) Tomáš Vojnar (Brno University of Technology, Czechia) * FoSSaCS invited speaker: Nathalie Bertrand (Inria Rennes, France) * TACAS invited speaker: TBA * Tutorial speakers: TBA -- IMPORTANT DATES * Paper submission: 14 October 2021 23:59 AoE * Pre-paper-acceptance artifact submission (TACAS): 4 November 2021 23:59 AoE * Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 2021 23:59 AoE * Paper notification: 23 December 2021 * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE * Paper final versions: 26 January 2022 * Artifact notification: 16 February 2022 -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2022 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp * FASE: regular research papers and empirical evaluation papers of max 18 pp, new ideas and emerging results (NIER) papers of max 8 pp, tool demonstration papers of max 6 pp (+ mandatory appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the webpages of the individual conferences. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2022 as a hybrid conference; remote attendance and presentation will be possible. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is also forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP and FASE will use **double-blind reviewing**. Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgements that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated and the outcome will be taken into account in the acceptance decision of the paper. For research paper and case study paper submissions, pre-paper-acceptance submission of an artifact is optional; if an artifact is submitted at this point, it will be handled like described above. Alternatively, authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will then not change the paper acceptance decision. ESOP and FASE will also have artifact evaluation, but participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For specific instructions regarding artifacts, see the webpages of the individual conferences. -- PUBLICATION The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely, from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- BEST PAPER AWARDS The strongest papers of the four conferences will be nominated for the ETAPS best paper awards of EAPLS, EASST and EATCS. The ETAPS test of time award recognizes outstanding papers published at ETAPS more than 10 years in the past. -- SATELLITE EVENTS (2-3 April) -- A number of satellite workshops and other events will take place before the main conferences. In particular, there will be a PhD student mentoring workshop organized by Caterina Urban, Wolfgang Ahrendt and Gidon Ernst. -- CITY AND HOST INSTITUTION -- Munich, Germany, is the capital and most populous city of Bavaria. Nowadays, the city is a global center of art, science, technology, finance, publishing, culture, innovation, education, business, and tourism. It is home to Ludwig Maximilian's University (LMU) and Technische Universität München (TUM), many scientific institutions, and world-class technology and science museums such as Deutsches Museum and BMW Museum. Iconic places to visit in Munich include the Munich Residenz, Marienplatz, the Old Town Hall, the famous Glockenspiel on the New Town Hall, the Frauenkirche, the English Garden, the Olympic Park and Nymphenburg Palace. The conference will be hosted by Technische Universität München. -- ORGANIZERS -- General chair: Jan Křetínský (Technische Universität München, Germany) Workshops chair: Dirk Beyer (Ludwig-Maximilians Universität München, Germany) From lmandel at us.ibm.com Wed Jul 14 13:43:03 2021 From: lmandel at us.ibm.com (Louis Mandel) Date: Wed, 14 Jul 2021 09:43:03 -0400 Subject: [Haskell] REBLS 2021: Call for papers Message-ID: 8th Workshop on Reactive and Event-based Languages and Systems (REBLS 2021) co-located with the SPLASH Conference hybrid Virtual and in person in Chicago, Illinois, USA Sun 17 - Fri 22 October 2021 Website: https://2021.splashcon.org/home/rebls-2021 IMPORTANT DATES Submission Deadline: 15 Aug 2021 (there will be no extension this year) Author Notification: 6 Sep 2021 Camera Ready Deadline: 13 Sep 2021 SPLASH Conference: 17 - 22 Oct 2021 INTRODUCTION Reactive programming and event-based programming are two closely related programming styles that are becoming more important with the ever increasing requirement for applications to run on the web or on mobile devices, and the advent of advanced High-Performance Computing (HPC) technology. A number of publications on middleware and language design -- so-called reactive and event-based languages and systems (REBLS) -- have already seen the light, but the field still raises several questions. For example, the interaction with mainstream language concepts is poorly understood, implementation technology is still lacking, and modularity mechanisms remain largely unexplored. Moreover, large applications are still to be developed, and, consequently, patterns and tools for developing large reactive applications are still in their infancy. This workshop will gather researchers in reactive and event-based languages and systems. The goal of the workshop is to exchange new technical research results and to better define the field by developing taxonomies and discussing overviews of the existing work. We welcome all submissions on reactive programming, functional reactive programming, and event- and aspect- oriented systems, including but not limited to: * Language design, implementation, runtime systems, program analysis, software metrics, patterns and benchmarks. * Formal models for reactive and event-based programming. * Study of the paradigm: interaction of reactive and event-based programming with existing language features such as object-oriented programming, pure functional programming, mutable state, concurrency. * Modularity and abstraction mechanisms in large systems. * Advanced event systems, event quantification, event composition, aspect-oriented programming for reactive applications. * Functional Reactive Programming (FRP), self-adjusting computation and incremental computing. * Synchronous languages, modeling and verification of real-time systems, safety-critical reactive and embedded systems. * Applications, case studies that show the efficacy of reactive programming. * Empirical studies that motivate further research in the field. * Patterns and best-practices. * Related fields, such as complex event processing, reactive data structures, view maintenance, constraint-based languages, and their integration with reactive programming. * Implementation technology, language runtimes, virtual machine support, compilers. * IDEs, Tools. The format of the workshop is that of a mini-conference where participants present their work. Because of the declarative nature of reactive programs, it is often hard to understand their semantics just by looking at the code. We therefore also encourage authors to use their slots for presenting their work based on live demos. SUBMISSIONS REBLS encourages submissions of two types of papers: * Full papers: papers that describe complete research results. These papers will be published in the ACM digital library. * In-progress papers: papers that have the potential of triggering an interesting discussion at the workshop or present new ideas that require further systematic investigation. These papers will not be published in the ACM digital library. Format: * Submissions should use the ACM SIGPLAN Conference acmart Format with the two-column, sigplan Subformat, 10 point font, using Biolinum as sans-serif font and Libertine as serif font. All submissions should be in PDF format. If you use LaTeX or Word, please use the ACM SIGPLAN acmart Templates. The page http://www.sigplan.org/Resources/Author/#acmart-format contains instructions for authors, and a package that includes an example file acmart-sigplan.tex. * Authors are required to explicitly specify the type of paper in the submission (i.e., full paper, in-progress paper). * Full papers can be up to 12 pages in length, excluding references. In-progress papers can be up to 6 pages, excluding references. Instructions for the Authors: * Papers should be submitted through: https://rebls21.hotcrp.com/ * For fairness reasons, all submitted papers should conform to the formatting instructions. Submissions that violate these instructions will be summarily rejected. * Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. * All submissions are expected to comply with the ACM Policies for Authorship that are detailed at https://www.acm.org/publications/authors/information-for-authors. * Each submission must adhere to SIGPLAN’s republication policy, as explained on the web at http://www.sigplan.org/Resources/Policies/Republication. PROGRAM COMMITTEE Louis Mandel (PC Chair; IBM Research) Patrick Bahr, IT University of Copenhagen Manuel Bärenz, sonnen eServices GmbH Guillaume Baudart, Inria Guerric Chupin, University of Nottingham Stephen A. Edwards, Columbia University Alan Jeffrey, Roblox Tetsuo Kamina, Oita University Yoshiki Ohshima, Croquet Studio Jorge Pérez, University of Groningen Marc Pouzet, École normale superieure Noemi Rodrigues, Pontifícia Universidade Católica do Rio de Janeiro Partha Roop, University of Auckland Mark Santoluzito, Barnard College Jonathan Thaler, University of Applied Sciences Vorarlberg Reinhard von Hanxleden, Kiel University Takuo Watanabe, Tokio Institute of Technology Pascal Weisenburger, University of St. Gallen Tian Zhao, University of Wisconsin-Milwaukee ORGANIZING COMMITTEE Guido Salvaneschi, TU Darmstadt, Germany Wolfgang De Meuter, Vrije Universiteit Brussel, Belgium Patrick Eugster, Universita della Svizzera Italiana, Switzerland Francisco Sant'Anna, Rio de Janeiro State University, Brazil Lukasz Ziarek, SUNY Buffalo, United States -------------- next part -------------- An HTML attachment was scrubbed... URL: From csaba.hruska at gmail.com Wed Jul 21 14:00:22 2021 From: csaba.hruska at gmail.com (Csaba Hruska) Date: Wed, 21 Jul 2021 16:00:22 +0200 Subject: [Haskell] Fwd: Haskell program introspection tooling development. In-Reply-To: References: Message-ID: Hello, I'm using the external STG interpreter to introspect the runtime behaviour of Haskell programs. Lately I've added an initial call-graph construction feature that I plan to refine further. https://twitter.com/csaba_hruska/status/1417486380536582151 Is there anyone who has dynamic analysis related research ambitions and wants to study Haskell program runtime behaviour in detail? If so then it would be great to talk. Cheers, Csaba -------------- next part -------------- An HTML attachment was scrubbed... URL: