From Graham.Hutton at nottingham.ac.uk Tue May 3 10:39:54 2022 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 3 May 2022 10:39:54 +0000 Subject: [Haskell] Journal of Functional Programming - Call For PhD Abstracts Message-ID: Dear all, If you or one of your students recently completed a PhD in the area of functional programming, please submit the dissertation abstract for publication in JFP: simple process, no refereeing, open access, 200+ published to date, deadline 31st May 2022. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 31st May 2022 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton by 31st May 2022. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From manuel.hermenegildo at imdea.org Wed May 4 22:55:58 2022 From: manuel.hermenegildo at imdea.org (Manuel Hermenegildo) Date: Thu, 5 May 2022 00:55:58 +0200 Subject: [Haskell] PPDP 2022 - 2nd Call for Papers Message-ID: <25203.1150.649912.844646@gazelle.local> [ Apologies for multiple postings ] =============================== PPDP 2022 - 2nd Call for Papers =============================== 24th International Symposium on Principles and Practice of Declarative Programming 20-22 September 2022, Tbilisi, Georgia Co-located with LOPSTR 2022 as part of CLAS 2022 The conference will be held as a hybrid (blended) meeting, both in-person and virtual. https://software.imdea.org/Conferences/PPDP2022/ ================================================= Latest news: - Invited speakers announced. - Conference to be held as blended meeting, in-person and virtual. - Proceedings published by ACM in the ICPS series. - A selection of the best papers will be invited for submission to TPLP as rapid publications. ================================================= Important Dates --------------- - 15.05.2022 AoE title and abstract submission - 22.05.2022 AoE paper submission - 29.06.2022 rebuttal period (48 hours) - 09.07.2022 notification - 23.07.2022 final paper - 20.09.2022 conference starts About PPDP ---------- The PPDP symposium brings together researchers from the declarative programming communities, including those working in the functional, logic, answer-set, and constraint handling programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for analyzing, performing, specifying, and reasoning about computations, including mechanisms for concurrency, security, static analysis, and verification. Scope ----- Submissions are invited on all topics related to declarative programming, from principles to practice, from foundations to applications. Topics of interest include, but are not limited to: - Language Design: domain-specific languages; interoperability; concurrency, parallelism and distribution; modules; functional languages; reactive languages; languages with objects; languages for quantum computing; languages inspired by biological and chemical computation; metaprogramming. - Declarative languages in artificial intelligence: logic programming; database languages; knowledge representation languages; probabilistic languages; differentiable languages. - Implementations: abstract machines; interpreters; compilation; compile-time and run-time optimization; memory management. - Foundations: types; logical frameworks; monads and effects; semantics. - Analysis and Transformation: partial evaluation; abstract interpretation; control flow; data flow; information flow; termination analysis; resource analysis; type inference and type checking; verification; validation; debugging; testing. - Tools and Applications: programming and proof environments; verification tools; case studies in proof assistants or interactive theorem provers; certification; novel applications of declarative programming inside and outside of CS; declarative programming pearls; practical experience reports and industrial application; education. The PC chairs will be happy to advise on the appropriateness of a topic. Submission web page --------------------- https://easychair.org/conferences/?conf=ppdp2022 Submission Categories --------------------- Submissions can be made in three categories: - Research Papers, - System Descriptions, - Experience Reports. Submissions of Research Papers must present original research which is unpublished and not submitted elsewhere. They must not exceed 12 pages ACM sigconf style, 2-column (including figures, but excluding bibliography). See below for further formatting instructions. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Research papers will be judged on originality, significance, correctness, clarity, and readability. Submission of System Descriptions must describe a working system whose description has not been published or submitted elsewhere. They must not exceed 10 pages and should contain a link to a working system. System Descriptions must be marked as such at the time of submission and will be judged on originality, significance, usefulness, clarity, and readability. Submissions of Experience Reports are meant to help create a body of published, refereed, citable evidence where declarative programming such as functional, logic, answer-set, constraint programming, etc., is used in practice. They must not exceed 5 pages *including references*. Experience Reports must be marked as such at the time of submission and need not report original research results. They will be judged on significance, usefulness, clarity, and readability. Supplementary material may be provided via a link to an extended version of the submission (recommended), or in a clearly marked appendix beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Format of a submission: For each paper category, you must follow the instructions of the new ACM Primary Article Templates. You must use the LaTeX sigconf proceedings template as the conference organizers are unable to process final submissions in other formats. In case of problems with the templates, please contact ACM's TeX support team at Aptara. Authors should note ACM's statement on author's rights which apply to final papers. Submitted papers should meet the requirements of ACM's plagiarism policy. Final publication will follow the new ACM Primary Article TAPS Publication Workflow. Invited Speakers ---------------- Niki Vazou, IMDEA Software Institute Florian Zuleger, Technische Universität Wien Program Committee ------------------ Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora, Portugal David Baelde, ENS Rennes, IRISA, France Pierre-Evariste Dagand, IRIF - CNRS, France Marina De-Vos, University of Bath, UK Esra Erdem, Sabanci University, Turkey Guilhem Jaber, Université de Nantes, France Oleg Kiselyov, Tohoku University, Japan Georg Moser, University of Innsbruck, Austria Koko Muroya, RIMS, Kyoto University, Japan Gopalan Nadathur, University of Minnesota, US Kim Nguyen, Université Paris-Sud 11, France Carlos Olarte, LIPN, Université Sorbonne Paris Nord, France Ricardo Rocha, University of Porto, Portugal Filip Sieczkowski, Heriot Watt University, UK Theresa Swift, NovaLINCS, Universidade Nova de Lisboa, Portugal Benoit Valiron, LMF - CentraleSupelec, Univ. Paris Saclay, France Jan Van den Bussche, Hasselt University, Belgium German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain --------------------------------------------------------------------------- Organizing committee chair: Besik Dundua, Tbilisi State University, Georgia Steering committee chair: James Cheney, Edinburgh University, UK --------------------------------------------------------------------------- From saoussen.cheikhrouhou at redcad.org Sat May 7 08:07:12 2022 From: saoussen.cheikhrouhou at redcad.org (SAOUSSEN CHEIKHROUHOU) Date: Sat, 7 May 2022 09:07:12 +0100 Subject: [Haskell] CRiSIS 2022 CFP: The 17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022) Message-ID: 17th International Conference on Risks and Security of Internet and Systems (CRiSIS 2022) December 7th-9th, 2022 Sousse, Tunisia https://crisis2022.redcad.org =============== TOPICS The International Conference on Risks and Security of Internet and Systems 2022 will be the 17th in a series dedicated to security issues in Internet-related applications, networks and systems. Internet has become essential for the exchange of information between user groups and organizations from different backgrounds and with different needs and objectives. These users are exposed to increasing risks regarding security and privacy, due to the development of more and more sophisticated online attacks, the growth of Cyber Crime, etc. Attackers nowadays do not lack motivation and they are more and more experienced. To make matters worse, for performing attacks have become easily accessible. Moreover, the increasing complexity as well as the immaturity of new technologies such as pervasive, mobile and wireless devices and networks, raise new security challenges. In this context, new security mechanisms and techniques should be deployed to achieve an assurance level acceptable for critical domains such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, etc. The CRiSIS conference offers a remarkable forum for computer and network security actors from industry, academia and government to meet, exchange ideas and present recent advances on Internet-related security threats and vulnerabilities, and on the solutions that are needed to counter them. The list of topics includes but is not limited to: AI and machine learning based security approaches Analysis and management of risk Attacks and defenses Attack data acquisition and network monitoring Authorization, Authentication, and Identity Management Blockchain and Distributed Ledger Technologies Cryptography, biometrics, watermarking Dependability and fault tolerance of Internet applications Distributed systems security and safety Embedded system security and safety Empirical methods for security and risk evaluation Hardware-based security and physical security Intrusion detection and prevention systems Organizational, ethical, and legal issues Privacy protection and anonymization Risk-aware access and usage control Analysis and management of cyber crisis Security and risk assessment Security and risks metrics Security and dependability of operating systems Security and safety of critical infrastructures Security and privacy of peer-to-peer system Security and privacy of wireless networks Security in Cloud/Edge/Fog computing Security models and security policies Security of big data Security of industrial control systems Security of intelligent transportation systems Security of e-commerce, electronic voting and database systems Security of new generation networks Security of smart cities Security of smart grid Security of social networks Security of the IoT and IIoT Security of VoIP and multimedia Smartphone security and privacy Traceability, metrology and forensics Trust management Ubiquitous computing security Use of smart cards and personal devices for Internet applications Virtualization security Web and Web-service security =============== SUBMISSIONS Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Papers must be written in English and must be submitted electronically in PDF format. The papers that will be selected for presentation at the conference will be included in post-proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series (prior to publication the papers should be revised according to the review comments). Pre-proceedings will appear at the time of the conference. Maximum paper length will be 16 printed pages for full papers or 6 pages for short papers, in LNCS style. http://www.springer.de/comp/lncs/authors.html Authors of accepted papers must guarantee that their papers will be presented at the conference. All paper submissions will be handled through the Easy Chair conference management system: https://easychair.org/conferences/?conf=crisis2022 =============== IMPORTANT DATES Paper submission deadline: June 22nd, 2022 Notification of acceptance: August 8th, 2022 Camera-ready paper due: September 22nd, 2022 Registration deadline: September 30th 2022 Conference date: December 7th-9th, 2022 =============== COMMITTEES -- General chairs Ahmed Hadj Kacem, University of Sfax, Tunisia Frédéric Cuppens, Polytechnique Montreal, Canada Nora Cuppens, Polytechnique Montreal, Canada -- Program Committee chairs Mohammad Zulkernine, School of Computing of Queen's University, Canada Mohamed Jmaiel, University of Sfax, Tunisia -- Program Committee (TBC) Takoua Abdellatif, UNiversity of Sousse, Tunisia Saed Alrabaee, United Arab Emirates University, United Arab Emirates Esma Aïmeur, University of Montreal, Canada Michel Barbeau, Carleton University, Canada Sébastien Bardin, CEA LIST, France Lotfi Ben Othmane, Iowa State University, USA Aymen Boudguiga, IRT SystemX, France Frederic Cuppens, Polytrechnique de Montreal, Canada Nora Cuppens, Polytrechnique de Montreal, Canada Soufiene Djahel, Manchester Metropolitan University, UK Bogdan Groza, Politehnica University of Timisoara, Romania Yong Guan, Iowa State University, USA Berk Gulmezoglu, Iowa State University, USA Philippe Jaillon, Ecole des Mines de Saint-Etienne, France Christos Kalloniatis, University of the Aegean, Greece Sokratis Katsikas, Norwegian University of Science and Technology, Norway Igor Kotenko, St. Petersburg Federal Research Center of the Russian Academy of Sciences, Russia Evangelos Kranakis, Carleton University, Canada Marc Lacoste, Orange Labs, France Jean Leneutre, Telecom Paris, France Jianbing Ni, University of Waterloo, Canada Fengjun Li, University of Kansas, USA Luigi Logrippo, Universite du Quebec en Outaouais, Canada Bo Luo, University of Kansas, USA Sanjay Madria, Missouri University of Science and Technology, USA Ahmed Meddahi, IMT Lille Douai, France Mohamed Mosbah, University of Bordeaux, France Guillermo Navarro, Autonomous University of Barcelona, Spain Kai Rannenberg, Goethe University Frankfurt, Germany Riadh Robbana, University of Carthage, Tunisia Michael Rusinowitch, LORIA – INRIA Nancy, France Siraj A. Shaikh, Coventry University, UK Jun Shao, Zhejiang Gongshang University, China Seungwon Shin, Texas A&M University, USA Natalia Stakhanova, University of Saskatchewan, Canada Ketil Stoelen, SINTEF, Norway Qiang Tang, Luxembourg Institute of Science and Technology, Luxembourg Nadia Tawbi, Laval University, Canada Eugene Vasserman, Kansas State University, USA Lingyu Wang, Concordia University, Canada Lingjing Yu, Chinese Academy of Sciences, China Akka Zemmari, Universite de Bordeaux, France Junwei Zhou, Wuhan University of Technology, China -- Organizing Committee Slim Kallel, University of Sfax, Tunisia (chair) Ismail Bouassida, University of Sfax, Tunisia Nesrine Khabou, University of Sfax, Tunisia Bechir Zalila, University of Sfax, Tunisia Saoussen Cheikhrouhou, University of Sfax, Tunisia -- -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.hillerstrom at ed.ac.uk Mon May 9 13:42:54 2022 From: daniel.hillerstrom at ed.ac.uk (=?UTF-8?Q?Daniel_Hillerstr=c3=b6m?=) Date: Mon, 9 May 2022 14:42:54 +0100 Subject: [Haskell] ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP] Message-ID: <7487abad-e713-d404-a082-d0a57962e14f@ed.ac.uk> ICFP 2022 Student Research Competition Call for Submissions ICFP 2022 invites students to participate in the Student Research Competition in order to present their research and get feedback from prominent members of the programming language research community. The SRC consists of three rounds: * Submission of an extended abstract * Poster session at ICFP 2022 * Finalists' presentations at ICFP 2022 During the first round students submit an extended abstract detailing their research to be reviewed by the program committee. Those students whose abstracts get accepted advance to the poster session round which will take place during ICFP 2022. Winners of the poster session advance to next round, where they will give a 5-minute presentation about their work on the ICFP main stage in front of a live audience. ### IMPORTANT DATES * Submission Deadline: 8 June 2022 (Wednesday) * Author Notification: 24 June 2022 (Friday) * ICFP 2022 Conference in Ljubljana, Slovenia: 11 September 2022 (Sunday) - 16 September 2022 (Friday) ### SUBMISSION OF EXTENDED ABSTRACTS * Submission Website: https://icfp22src.hotcrp.com Each submission (referred to as "abstract" below) should include the student author's name and e-mail address; institutional affiliation; research advisor's name; ACM student member number; category (undergraduate or graduate); research title; and an extended abstract addressing the following: * Problem and Motivation: Clearly state the problem being addressed and explain the reasons for seeking a solution to this problem. * Background and Related Work: Describe the specialized (but pertinent) background necessary to appreciate the work in the context of ICFP areas of interest. Include references to the literature where appropriate, and briefly explain where your work departs from that done by others. * Approach and Uniqueness: Describe your approach in addressing the problem and clearly state how your approach is novel. * Results and Contributions: Clearly show how the results of your work contribute to programming language design and implementation in particular and to computer science in general; explain the significance of those results. * Submissions must be original research that is not already published at ICFP or another conference or journal. One of the goals of the SRC is to give students feedback on ongoing, unpublished work. Furthermore, the abstract must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student's role was and should focus on that portion of the work. * Formatting: Submissions must be in PDF format, printable in black and white on US Letter sized paper, and interpretable by common PDF tools. All submissions must adhere to the "ACM Small" template that is available (in both LaTeX and Word formats) from https://www.acm.org/publications/authors/submissions. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format. The submission must not exceed 3 pages in PDF format. Reference lists do not count towards the 3-page limit. Further information is available at the ICFP SRC website: https://icfp22.sigplan.org/track/icfp-2022-student-research-competition ### PROGRAM COMMITTEE Danel Ahman (University of Ljubljana) (co-chair) Maria I. Gorinova (Twitter) Daniel Hillerström (University of Edinburgh) (co-chair) Shin-ya Katsumata (National Institute of Informatics) Jennifer Paykin (Galois) François Pottier (Inria) Nikhil Swamy (Microsoft Research) -- Kind regards Daniel Hillerström Find me in Informatics Forum office 5.28/1. The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336. -------------- next part -------------- An HTML attachment was scrubbed... URL: From clemens.grabmayer at gssi.it Tue May 10 06:33:36 2022 From: clemens.grabmayer at gssi.it (Clemens Grabmayer) Date: Tue, 10 May 2022 08:33:36 +0200 Subject: [Haskell] [TERMGRAPH-2022] 2-day extension submission deadline: May 12 In-Reply-To: References: Message-ID: <6ea9e48c-ac9f-817f-5f14-7cd201765762@gssi.it> ======================================================================== 2-day EXTENSION of Submission deadline: Thursday, May 12 (AoE), 2022. The adapted final Call for Papers below now also includes the titles of both of the invited talks. ======================================================================== (Adapted) Final Call for Papers TERMGRAPH 2022 Twelfth International Workshop on Computing with Terms and Graphs http://termgraph.org.uk/2022 Technion, Haifa, Israel Monday, 1st August 2022 *) A Workshop that is part of FLoC 2022, (associated with the conference FSCD) ======================================================================== *) preliminary, due to room capacity decisions the FLoC organizers can reschedule to Sunday, 31st July 2022 (decision on 15 June 2022) Graphs and graph transformation systems are used in many areas within Computer Science: to represent data structures and algorithms, to define computation models, as a general modeling tool to study complex systems, etc. Topics of interest for TERMGRAPH encompass all aspects of term-/graph rewriting (term-graph and graph rewriting), and applications of graph transformations in programming, automated reasoning and symbolic computation, including: * Theory of first-order and higher-order term graph rewriting * Graph rewriting in lambda calculus (sharing graphs, optimality) * Term-/graph based models of computation * Graph grammars * Term-/graph based languages and modelling frameworks * Term-/graph rewriting tools: -- system descriptions and case studies * Applications of term-/graph rewriting in, and term-/graph rewriting aspects of: -- semantics and implementation of programming languages -- compiler construction -- interaction nets and proof nets -- software engineering -- automated reasoning and symbolic computation -- functional and logic programming -- pattern recognition -- bioinformatics The aim of this workshop is to bring together researchers working in these different domains, to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. Poster announcement ------------------- http://www.termgraph.org.uk/2022/poster.pdf Invited Speakers: ----------------- Joerg Endrullis (Vrije Universiteit Amsterdam, The Netherlands) "A PBPO+ Graph Rewriting Tutorial" Delia Kesner (Universite Paris Cite, Institut Universitaire de France, and IRIF/CNRS): "A Computational Interpretation of Girard’s Intuitionistic Proof-Nets" Submissions and Publication: ---------------------------- We invite submissions of extended abstracts of at most 8 pages typeset in the EPTCS (Electronic Proceedings in Theoretical Computer Science) LaTeX style. This may include, concerning any of the topics above: -- original work, -- tutorials, -- work in progress, -- system descriptions of term-/graph rewriting tools. Extended abstracts have to be submitted no later than 12 May 2022 (AoE) electronically (pdf) via the EasyChair submission site: https://easychair.org/conferences/?conf=termgraph2022 Papers will be judged on relevance, originality, correctness, and usefulness. Preliminary proceedings will be available for the workshop. After the workshop, authors will be invited to submit a longer version of their work (a 15-pages paper) for the publication of the Workshop Post-Proceedings in EPTCS. These submissions will undergo a second round of refereeing with: submission deadline in the mid of October 2022, notification in December 2022, publication in February or March 2023. Important Dates: ---------------- Submission deadline: 12 May 2022 Notification: 7 June 2022 Program publication: 15 June 2022 PreProceedings version due: 21 June 2022 Workshop: 1 August 2022 (see proviso (*) above) Programme Committee: -------------------- Sandra Alves, Universidade do Porto, Portugal Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark Thierry Boy de la Tour, CNRS, France Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy Wolfram Kahl, McMaster University, Canada Ian Mackie, LIX, France Koko Muroya, Kyoto University, Japan Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands Adrian Rutle, Western Norway University, Norway Kazunori Ueda, Waseda University, Japan Contact: -------- Clemens Grabmayer clemens.grabmayer at gssi.it ======================================================================== From W.S.Swierstra at uu.nl Tue May 10 07:13:53 2022 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Tue, 10 May 2022 07:13:53 +0000 Subject: [Haskell] Full professorships at Utrecht University Message-ID: Utrecht University is currently recruiting four full professors in Computing Science. The exact research areas are not fixed -- but I'd love to see applications from the functional programming community: https://www.uu.nl/en/organisation/working-at-utrecht-university/jobs/4-full-professors-in-information-and-computing-sciences-08-10-fte # Job description The Department of Information and Computing Sciences (ICS) is nationally and internationally renowned for its fundamental and applied research in computer science and information science. In our constantly changing (digital) society, we are continually looking for new, realistic ways to push the boundaries of both science and societal application. We contribute to innovative information technologies through the development and application of new concepts, theories, algorithms, and software methods. With our expertise, we nourish a wide range of interdisciplinary and societal collaboration initiatives. The Department has grown significantly in the past years. Due to this growth and the upcoming retirement of some of our professors we envisage having appointed eight new full professors by the end of 2024 in the following fields of expertise: software systems (preferably in software production, and software and information security), artificial intelligence and data science (preferably in machine learning, responsible AI, and natural Language processing) and interaction (preferably in data-driven interaction). We are now actively searching to fill four positions. Since we aim to continue to increase the participation of women in Information and Computing Sciences (both students and staff), we wish to appoint at least two female full professors. Additionally, we have one position open that is not tied to any specific area, exclusively reserved for female candidates, a Westerdijk chair*. In Software Systems, we have research groups on Software Technology, Software Technology for Teaching and Learning, Software Production, and Business Process Management and Analytics. We lead the research masters on Computing Science and Business Informatics, and co-lead the bachelors Informatics and Information Science. We engage closely with industry and public sector partners to study the development and adoption of software technology and software production methods. In Artificial Intelligence & Data Science, we have research groups on Intelligent Systems, Data Intensive Systems, Data Mining, and Natural Language Processing. We lead the multidisciplinary research master in Artificial Intelligence and Data Science, and co-lead the Applied Data Science master and Artificial Intelligence bachelor. We closely collaborate with the public sector and companies, for example in our National Police Lab AI and AI & Mobility Lab. We also work closely with other disciplines, for example in the university's Human Centered AI and Applied Data Science focus areas. In Interaction Technology, we have research groups on Human Centered Computing, Game and Media Technology, Social and Affective Computing, and Visualisation and Graphics. We lead the Research Masters on Game & Media Technology and Human-Computer Interaction, and co-lead the Bachelor Information Science. Our state-of-the-art facilities include a Human-Centered Computing lab for prototyping interactive systems and conducting user studies and a Motion Capture and Virtual Reality Lab with full body motion capture equipment. We co-lead the multidisciplinary AI & Media and AI & Healthy Living labs and the Center for Game Research. As a full professor you are a committed, internationally acknowledged and leading scientist with expertise in one of the areas of Information and Computing Science. Your ambition is to lead the further development of research, the quality of education (both in teaching and curriculum development) and the achievement of societal impact in the field of information and computing sciences. You seek internal and external (interdisciplinary) collaboration and acquire funding for research, developing new research collaborations and new application areas. You are an inspiring educator with enthusiasm for teaching. Alongside you will take a leading role in your field of expertise, you also play an important role in creating a workplace that is supportive, socially safe and inclusive, further enhancing scientific integrity and working together towards open science. You have a clear view of how to achieve this as a leading staff member. The Department provides a dynamic, informal and international work environment. Our approach is characterized by a connected, open, and can-do spirit that stimulates personal initiative and curiosity. You are a team player who encourages taking ownership and create value while sharing your knowledge both internally and across the wider (global) community. If you are excited to actively participate and collaborate in shaping our developing department, we invite you to apply. It is important that when you apply, you make clear where and how you see that your expertise fits the overall research and education portfolio of the department, including the relationship with (future) external stakeholders. *A Westerdijk chair is a position especially installed to be occupied by a female professor. It is named after Johanna Westerdijk, appointed at Utrecht University in 1917 as the first female full professor in the Netherlands. # Qualifications We are looking for new colleagues to complement our team at an academic as well as a personal level, who fit well with the following qualifications: a PhD in Computer Science, Information Science or another relevant discipline; an internationally acknowledged research line with a strong publication track record on original research of high impact; an active player in international scientific communities; experience in and a personal view on how to lead a group of scientists and create and sustain a supportive, collaborative and inclusive work environment; demonstrated ability to acquire external funding for research and innovation; driven to explore and forge new collaborations in- and outside academia; enthusiasm for education and experience with student supervision, ability to teach in BSc and MSc programmes; experience in and aspiration for further development of courses and programmes. # Offer a tenured position as full professor; a full-time gross salary ranging from €5,864 to €8,539 in scale H2 at full professor level; benefits including an 8% holiday bonus and an 8.3% end-of-year bonus; a pension scheme, partially paid parental leave, and flexible employment conditions based on the Collective Labour Agreement (cao) Dutch Universities; a starting package that is negotiable and depends on what is necessary to give you a running start in the department; assistance in finding housing and, if applicable, help with finding employment for a partner and schools for children; in addition to the employment conditions laid down in the CAO for Dutch Universities, Utrecht University has a number of its own arrangements. For example, there are agreements on professional development, leave arrangements and sports. We also give you the opportunity to expand your terms of employment via the Employment Conditions Selection Model. This is how we like to encourage you to continue to grow. # About the organisation At the Faculty of Science, there are 6 departments to make a fundamental connection with: Biology, Chemistry, Information and Computing Sciences, Mathematics, Pharmaceutical Sciences, and Physics. Each of these is made up of distinct institutes that work together to focus on answering some of humanity’s most pressing problems. More fundamental still are the individual research groups – the building blocks of our ambitious scientific projects. Utrecht University is a friendly and ambitious university at the heart of an ancient city. We love to welcome new scientists to our city – a thriving cultural hub that is consistently rated as one of the world’s happiest cities. We are renowned for our innovative interdisciplinary research and our emphasis on inspirational research and excellent education. We are equally well-known for our informal atmosphere and the can-do mentality of our people. This lively and inspiring academic environment attracts professors, researchers and PhD candidates from all over the globe, making both the University and the Faculty of Science a vibrant international and wonderfully diverse community. # Additional information If you have specific questions regarding the positions or the department, please email them to Professor Johan Jeuring (Head of Department) or Professor Judith Masthoff (Director of Research) at j.t.jeuring at uu.nl/ j.f.m.masthoff at uu.nl. If you are interested in reading more about the development of our department, we can provide you with a copy of our summarized organizational development plan. You can send your request to a.bonsma at uu.nl. Do you have a question about the application procedure? Please send an email to science.recruitment at uu.nl # Apply https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationForm.cfm?PortalID=4124&VacatureID=1188880 Everyone deserves to feel at home at our university. We welcome employees with a wide variety of backgrounds and perspectives. Please enclose: your motivation letter; your full academic curriculum vitae, including a list of publications; your vision on research and education. If this specific opportunity isn’t for you, but you know others who may be interested, please forward this vacancy to them. The application deadline is 1 July 2022. From villanue at dsic.upv.es Tue May 10 11:38:45 2022 From: villanue at dsic.upv.es (Alicia Villanueva) Date: Tue, 10 May 2022 13:38:45 +0200 Subject: [Haskell] LOPSTR 2022 - Deadline extension Message-ID: Apologies for multiple postings ======================================================================        LOPSTR 2022: Final Call for Papers -- DEADLINE EXTENSION ======================================================================                    32nd International Symposium on           Logic-Based Program Synthesis and Transformation                             LOPSTR 2022                    http://lopstr2022.webs.upv.es/         Tbilisi, Georgia and Virtual -- 21-23 September 2022           (co-located with PPDP 2022 as part of CLAS 2022) Latest News:  * Two-week deadline extension! (see important dates below)  * The PC can also invite up to two papers for rapid publication in the    journal of Theory and Practice of Logic Programming (TPLP).  * The conference will be held as a hybrid (blended) meeting, both    in-person and virtual.  * The LOPSTR 2022 proceedings will be published by Springer in the    LNCS series at conference time after a single round of reviewing. OVERVIEW ====================================================================== The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. The 32nd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU- in Tbilisi, Georgia) and virtual. Previous symposia were held in Tallin (hybrid event), Bologna (as a virtual meeting), Porto, Frankfurt am Main, Namur, Edinburgh, Siena, Canterbury, Madrid, Leuven, Odense, Hagenberg, Coimbra, Valencia, Lyngby, Venice, London, Verona, Uppsala, Madrid, Paphos, London, Venice, Manchester, Leuven, Stockholm, Arnhem, Pisa, Louvain-la-Neuve and Manchester. You might have a look at the contents of past LOPSTR symposia at DBLP (http://www.informatik.uni-trier.de/~ley/db/conf/lopstr/index.html), and at the Springer LNCS repository for past Post-proceedings (https://link.springer.com/conference/lopstr). LOPSTR 2022 will be co-located with PPDP 2022 as part of the Computational Logic Autumn Summit 2022. Information about venue and travel is available on the CLAS 2022 website (http://www.viam.science.tsu.ge/clas2022/). The LOPSTR 2022 proceedings will be published by Springer in the Lecture Notes in Computer Science series at conference time after a single round of reviewing. Submissions can be made in two categories: Full Papers and Extended Abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. The PC can also invite up to two papers for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Submissions of Extended Abstracts may describe work-in-progress research to be presented during the conference. These contributions will be published in informal proceedings, if enough papers are accepted. After the symposium, a selection of the best papers will be invited for submission to a special issue of the Fundamenta Informaticae journal (https://fi.episciences.org/). Authors of selected original papers will be invited to revise and/or extend their submissions to be considered for publication in the special issue. The papers submitted to the special issue will be subject to the standard reviewing process of the journal. Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large, including, but not limited to: * synthesis; transformation; specialization; composition; optimisation * specification; analysis; verification; testing; certification * program and model manipulation; inversion * artificial intelligence methods for program development; verification   and testing of AI-based systems * transformational techniques in SE * applications and tools Both full papers and extended abstracts describing foundations and applications in these areas are welcome. Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications are also welcome. Important Dates ====================================================================== * Abstract submission: May 16, 2022 (extended) * Paper submission: May 23, 2022 (extended) * Notification to authors: June 24, 2022 (extended) * Final version: July 11, 2022 * Conference: September 21-23, 2022 Submission Guidelines ====================================================================== Authors should submit an electronic copy of the paper (written in English) in PDF, formatted in the Lecture Notes in Computer Science style. Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords which will be used to assist the PC in selecting appropriate reviewers for the paper. Authors should consult Springer's authors' instructions at the author's page (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and use their proceedings templates, either for LaTeX (available also in Overleaf) or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, upon acceptance, 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. Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their report. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers Full papers cannot exceed 15 pages excluding references. Extended abstracts cannot exceed 8 pages excluding references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them. Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2022 Accepted Full Papers will be published in the formal LNCS proceedings. Accepted Extended Abstracts will be included in the informal proceedings if enough papers are accepted. The program committee may recommend some full papers to be accepted only for presentation at the symposium and to be included in the informal proceedings. Best paper awards ====================================================================== Thanks to Springer's sponsorship, a best paper award, which will include a 1000 EUR prize, will be given at LOPSTR 2022. The program committee will select the winning paper based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). Invited Speaker ====================================================================== TBA Program Committee ====================================================================== Elvira Albert -- Complutense University of Madrid (Spain) Roberto Amadini -- University of Bologna (Italy) Emanuele De Angelis -- IASI, National Research Council (Italy) Włodzimierz Drabent -- IPI PAN, Poland & Linköping University (Sweden) Catherine Dubois -- ENSIIE-Samovar (France) Fabio Fioravanti -- University of Chieti-Pescara (Italy) Gopal Gupta -- University of Texas at Dallas (USA) Geoff Hamilton -- Dublin City University (Ireland) Michael    Hanus -- Kiel University (Germany) Maja Kirkeby -- Roskilde University (Denmark) Ekaterina Komendantskaya -- Heriot-Watt University (UK) Temur Kutsia -- RISC J. Kepler University of Linz (Austria) Maria Chiara Meo -- University G. D'Annunzio, Chieti Pescara (Italy) Fred Mesnard -- Université de la Réunion (France) Alberto    Momigliano -- University of Milano (Italy) Naoki Nishida -- Nagoya University (Japan) Laura Panizo -- University of Málaga, Spain Laura Titolo -- National Institute of Aerospace (US) Wim Vanhoof -- University of Namur (Belgium) Alicia Villanueva (Chair) -- Universitat Politècnica de València (Spain) Organization ====================================================================== * Local organization:   Besik Dundua (chair)   Tbilisi State University / Kutaisi International University,   Georgia * Contact   For more information, please contact the Program Committee   Chair: alvilga1 at upv.es * In coorperation with   Springer   Lecture Notes in Computer Science   Kurt Gödel Society From efes at cs.uni.wroc.pl Tue May 10 07:52:54 2022 From: efes at cs.uni.wroc.pl (Filip Sieczkowski) Date: Tue, 10 May 2022 08:52:54 +0100 Subject: [Haskell] SPLV 2022 - Call for Participation Message-ID: +---------------------------------------------------------------+ | | | Scottish Programming Languages and Verification Summer School | | Heriot-Watt University, UK, 11--15 July 2022 | | https://www.macs.hw.ac.uk/splv/splv22/ | | | +---------------------------------------------------------------+ The Scottish Programming Languages and Verification Summer School will be held at Heriot-Watt University 11--15 July 2022. The aim of the school is to provide PhD students with core and specialised knowledge in the broad area of Programming Language and Verification research. COURSES ======= Core courses ------------ * James McKinna (Heriot-Watt University) “The lambda calculus, formalised: the Church-Rosser and Standardisation theorems, with applications” * Elizabeth Polgreen (U. Edinburgh) “An Introduction to SAT and SMT” Specialised courses ------------------- * Susmit Sarkar (St. Andrews), Marko Doko (Heriot-Watt University) “An Introduction to Reasoning with Weak Memory” * Ohad Kammar (U. Edinburgh) “Introduction to Statistical modelling with higher-order measure theory” * Glynn Winskel (U. Strathclyde/Huawei Labs) “Making Concurrency Functional” * Jeremy Singer (U. Glasgow) “Capabilities for Coders; an introduction to the CHERI platform” Invited Lecture --------------- TBA Talks ----- * Jamie Gabbay (Heriot-Watt University) “Introduction to Blockchain technology” * Sam Lindley (U. Edinburgh) “Effect-Handler Oriented Programming” PREREQUISITES ============= The school is aimed at PhD students in programming languages, verification and related areas. Also researchers and practitioners will be very welcome, as will strong master's students with the support of a supervisor. Participants will need to have a background in computer science, mathematics or a related discipline, and have basic familiarity with (functional) programming and logic. SPONSORSHIP =========== We offer a range of sponsorship opportunities for industry with attractive benefits -- please get in touch if you are interested. REGISTRATION ============ Registration is open at https://forms.gle/yVuJXU9P3evp2QwAA The registration fees in general are as follows: * Students & Academics: £330. * Industry: £500. The registration fee covers coffee breaks, lunches, dinners, and an excursion. Registration Date: June 10, 2022 We may be able to provide fee waivers for a small number for students as well as Scottish academics. Please indicate your interest in the registration form. ACCOMMODATION ============= We can offer 5-night accommodation (Sunday to Friday) in student dorms for £210. Please indicate your interest in the registration form. Alternatively, Marriot Hotel on Heriot-Watt campus offers self-organised accommodation. FURTHER INFORMATION =================== More information can be found on the school webpage: http://www.macs.hw.ac.uk/splv/splv22/ Please contact one of the local organisers if you have any questions: * Ekaterina Komendantskaya e.komendantskaya at hw.ac.uk * Filip Sieczkowski f.sieczkowski at hw.ac.uk * Kathrin Stark k.stark at hw.ac.uk From W.S.Swierstra at uu.nl Fri May 13 12:53:54 2022 From: W.S.Swierstra at uu.nl (Swierstra, W.S. (Wouter)) Date: Fri, 13 May 2022 12:53:54 +0000 Subject: [Haskell] Final call for participation: Advanced Functional Programming Summer School in Utrecht Message-ID: # Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 04 July – 08 July 2022 http://www.afp.school **Please register before June 17th ** ## ABOUT The Advanced Functional Programming summer school has been running for more than ten years. We aim to educate aspiring Haskell programmers beyond the basic material covered by many textbooks. After running remotely for the past two years, we're thrilled to announce that this year's edition will take place on site in Utrecht. We are monitoring the pandemic closely - and will make contingency plans if we cannot meet in person; at the moment, we do not have plans for remote participation. The lectures will cover several more advanced topics regarding the theory and practice of Haskell programming, including topics such as: * lambda calculus; * monads and monad transformers; * lazy evaluation; * generalized algebraic data types; * type families and type-level programming; * concurrency and parallelism. The summer school consists of a mix of lectures, labs, and a busy social program. ## LECTURERS Utrecht staff: * Gabriele Keller * Trevor McDonell * Wouter Swierstra ## PREREQUISITES We expect students to have a basic familiarity with Haskell already. You should be able to write recursive functions over algebraic data types, such as lists and trees. There is a great deal of material readily available that covers this material. If you've already started learning Haskell and are looking to take your functional programming skills to the next level, this is the course for you. ## DATES **Registration deadline: June 17th, 2022** School: 04 July – 08 July 2022 ## COSTS 750 euro - Profession registration only 250 euro - Student registration fee 200 euro - Housing fee We will charge a registration fee of 750 euros (or 250 euros for students) to cover our expenses. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school From stefan.ciobaca at gmail.com Sun May 15 11:13:07 2022 From: stefan.ciobaca at gmail.com (Stefan Ciobaca) Date: Sun, 15 May 2022 14:13:07 +0300 Subject: [Haskell] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP) Message-ID: WPTE 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel) 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 31st, 2022) Web: https://wpte2022.github.io/ Submit: https://easychair.org/conferences/?conf=wpte2022 Deadline: 31 May 2022 (AOE, extended, firm) Publication: post-proceedings as special issue in the Journal of Logical and Algebraic Methods in Programming --------------------------------------------------------------------------- The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area. List of Topics --------------------------------------------------------------------------- * Correctness of program transformations, optimizations and translations. * Program transformations for proving termination, confluence, and other properties. * Correctness of evaluation strategies. * Operational semantics of programs, operationally-based program equivalences such as contextual equivalences and bisimulations. * Cost-models for arguing about the optimizing power of transformations and the costs of evaluation. * Program transformations for verification and theorem proving purposes. * Translation, simulation, equivalence of programs with different formalisms, and evaluation strategies. * Program transformations for applying rewriting techniques to programs in specific programming languages. * Program transformations for program inversions and program synthesis. * Program transformation and evaluation for Haskell and rewriting. Submission Guidelines --------------------------------------------------------------------------- For the paper submission deadline an extended abstract of at most 10 pages is required. The extended abstract may present original work, but also work in progress. Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants. One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package. All submissions will be electronic via https://easychair.org/conferences/?conf=wpte2022. Formal Proceedings --------------------------------------------------------------------------- For the 2020 and 2021 editions, WPTE post-proceedings of selected papers are scheduled to be published in JLAMP special issues. We are delighted that the 2022 workshop will continue this tradition. Based on the quality of the submission and the presentation, we will invite a selection of papers to be published in extended form in a special issue of the Journal of Logical and Algebraic Methods in Programming. Invited Speakers --------------------------------------------------------------------------- Akihisa YAMADA, National Institute of Advanced Industrial Science and Technology (AIST), Japan. Important Dates --------------------------------------------------------------------------- Submission of extended abstracts (including work-in-progress): May 31, 2022 (AoE, extended, firm) Notification of acceptance: June 15, 2022 Final version for informal proceedings: June 29, 2022 Workshop: July 31, 2022 Submission to post-proceedings (JAMP special issue): autumn 2022 Program Committees --------------------------------------------------------------------------- María Alpuente, Universitat Politècnica de València, Spain Demis Ballis, University of Udine, Italy Christopher Brown, University of St Andrews, UK Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) Dániel Horpácsi, Eötvös Loránd University, Hungary Shin-Ya Katsumata, National Institute of Informatics, Japan Kentaro Kikuchi, Tohoku University, Japan Cynthia Kop, Radboud University, The Netherlands Pierre-Etienne Moreau, Université de Lorraine, France Koko Muroya, Kyoto University, Japan Keisuke Nakano, Tohoku University, Japan (co-chair) Masahiko Sakai, Nagoya University, Japan Contact --------------------------------------------------------------------------- Please direct questions to wpte2022 at easychair.org. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Graham.Hutton at nottingham.ac.uk Tue May 17 07:05:23 2022 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Tue, 17 May 2022 07:05:23 +0000 Subject: [Haskell] Assistant Professorships in Nottingham Message-ID: <7C836F2B-992A-4CB0-8B89-E8F82F6F5474@nottingham.ac.uk> Dear all, As part of a strategic expansion, the School of Computer Science at the University of Nottingham is seeking to make multiple new appointments at the Assistant Professor level: https://tinyurl.com/38f753d5 These positions are aimed at early career academics who recently completed or will soon complete their PhD, and have a reduced teaching responsibility for the first three years. Applications in the area of the Functional Programming (FP) lab are strongly encouraged! The FP lab is keen to receive applications from candidates with a strong publication record (e.g. papers in leading venues such as LICS, POPL, ICFP, JFP, TOPLAS, etc) and the potential to secure external funding. The group recently grew its profile in type theory with the appointment of Nicolai Kraus and Ulrik Buchholtz. To complement these appointments, we particularly welcome applications from candidates who would bring further or other areas of expertise. Further information about the FP lab is available from: https://tinyurl.com/y2ekdkqa The deadline for applications is Tuesday 24th May 2022. -- Graham Hutton and Thorsten Altenkirch This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. From meng.wang at bristol.ac.uk Fri May 20 08:42:43 2022 From: meng.wang at bristol.ac.uk (Meng Wang) Date: Fri, 20 May 2022 08:42:43 +0000 Subject: [Haskell] Research fellow position at University of Bristol Message-ID: Dear Haskellers, The programming languages group at Bristol is recruiting a research fellow to join our dynamic research group https://bristolpl.github.io/. Our research is ranked highly internationally and there is a strong focus on Haskell. We welcome functional programmers anywhere in the world to apply! (Another similar post at the level of research associate is also available.) https://www.bristol.ac.uk/jobs/find/details/?jobId=274355&jobTitle=Research%20Fellow Meng Wang, PhD (Oxon) Senior Lecturer of Programming Languages Head of PL research group School International Director SCEEM (CS, EEE, EMath) School, University of Bristol PS. A selection of recent papers can be found below. They should give a good indication of the type of PL research conducted at Bristol: - Perera et al. (2022). Linked visualisations via Galois dependencies. POPL 2022. 10.1145/3498668 - Xie et al. (2022). Staging with Class. POPL 2022. 10.1145/3498723 - Yamaguchi et al. (2021). Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. OOPSLA 2021. 10.1145/3485482 - Qian Z et al. (2021). Client-Server Sessions in Linear Logic. ICFP 2021. 10.1145/3473567 - Jones E & Ramsay S. (2021). Intensional Refinement Datatypes. POPL 2021. 10.1145/3445980 - Gratzer D et al. (2020). Multimodal Dependent Type Theory. LICS 2020. 10.1145/3373718.3394736 - Matsuda K & Wang M. (2020). Sparcl: A Language for Partially-Invertible Computation. ICFP 2020. 10.1145/3409000 - Zhang J et al. (2019). A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Transactions on Software Engineering. 10.1109/TSE.2019.2961897 - Abate A et al. (2019). Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants. Acta Informatica, vol 57. 10.1007/s00236-019-00359-1 - Almeida et al. (2019). Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS 2019. 10.1145/3319535.336321 -------------- next part -------------- An HTML attachment was scrubbed... URL: From cfp at mat.unical.it Wed May 25 15:58:03 2022 From: cfp at mat.unical.it (cfp) Date: Wed, 25 May 2022 17:58:03 +0200 Subject: [Haskell] RCRA 2022 - 1st call for papers In-Reply-To: <95b98e0b-92e7-1d72-000e-e7aed38e86b3@mat.unical.it> References: <95b98e0b-92e7-1d72-000e-e7aed38e86b3@mat.unical.it> Message-ID: <863bfb0e-49a0-189d-5a5a-3621f1c94380@mat.unical.it> [APOLOGIES FOR MULTIPLE POSTINGS] * ______________________________________________________________________ * The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2022) affiliated to the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) https://sites.google.com/view/lpnmr2022 September, 5th, 2022; Genova, Italy RCRA group web site:http://rcra.aixia.it/ Workshop web site: TBA e-mail:marco at dibris.unige.it,M.Vallati at hud.ac.uk * ______________________________________________________________________ * This event follows the series of the RCRA (Knowledge Representation and Automated Reasoning) annual meetings, held since 1994. The success of the previous events shows that RCRA is becoming a major forum for exchanging ideas and proposing experimentation methodologies for algorithms in Artificial Intelligence. * ______________________________________________________________________ * IMPORTANT DATES Paper submission deadline: July 10th, 2022 Notification of acceptance: August 1st, 2022 Final version of accepted original papers: August 22nd, 2022 RCRA workshop: September 5th, 2022 AIMS AND SCOPE Many problems in Artificial Intelligence show an exponential explosion of the search space. Although stemming from different research areas in AI, such problems are often addressed with algorithms that have a common goal: the effective exploration of huge state spaces. Many algorithms developed in one research area are applicable to other problems, or can be hybridized with techniques in other areas. Artificial Intelligence tools often exploit or hybridize techniques developed by other research communities, such as Operations Research. In recent years, research in Artificial Intelligence has more and more focused on experimental evaluation of algorithms, the development of suitable methodologies for experimentation and analysis, the study of languages and the implementation of systems for the definition and solution of problems. Scope of the workshop is fostering the cross-fertilization of ideas stemming from different areas, proposing benchmarks for new challenging problems, comparing models and algorithms from an experimental viewpoint, and, in general, comparing different approaches with respect to efficiency, problem modeling, and ease of development. Topics of interest include, but are not limited to: * Experimental evaluation of algorithms for o knowledge representation o automated reasoning o planning o scheduling o machine learning o model checking o boolean satisfiability (SAT) o constraint programming o argumentation o temporal reasoning o combinatorial optimization o quantified boolean formulae and quantified constraints o modal logics o logic programming o answer set programming o ontological reasoning * Definition and construction of benchmarks * Experimentation methodologies * Metaheuristics * Algorithm hybridization * Static analysis of combinatorial problems * Languages and systems for definition and solution of problems * Comparisons between systems and algorithms * Application experiences (visualization, graphics, security, transports,...) WORKSHOP CHAIRS Marco Maratea University of Genova, Italy Mauro Vallati University of Huddersfield, UK HOST ORGANIZATION AND VENUE University of Genova, Italy The workshop will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/), which is a college directly situated on the see. Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line. SUBMISSIONS Authors are invited to submit either original and non-original papers. Publications showing negative results are welcome, provided that the approach was original and very promising in principle, the experimentation was well-conducted, the results obtained were unforeseeable and gave important hints in the comprehension of the target problem, helping other researchers to avoid unsuccessful paths. Workshop submissions must be in PDF format, do not exceed 15 (for full papers) or 8 (for short papers) pages, and should be written in LaTeX, using the LNCS style. RCRA 2022 uses EasyChair for the submission of contributions. Contributions must be submitted through this page: https://easychair.org/conferences/?conf=rcra2022 All submissions will be reviewed by at least three members of the program committee (TBD). CONTACT In case of need, the workshop co-chairs can be contacted by sending an email to: marco at dibris.unige.it,M.Vallati at hud.ac.uk PROCEEDINGS CEUR-WS Proceedings: Accepted original papers will be published in the AIxIA series of CEUR-WS AI*IA Series on CEUR-WS.org (upon authors confirmation) Moreover, as in some previous editions (http://rcra.aixia.it/publications), we are considering the possibility of having a special issue of an international journal, provided that a sufficient amount of high quality papers is collected. All technical papers, original and non-original, will be eligible. HISTORY OF THE RECENT WORKSHOP SERIES * RCRA 2021 as a workshop of AI*IA 2021, Virtual https://rcra2020.wordpress.com/ * RCRA 2020 as a workshop of AI*IA 2020, Virtual https://rcra2020.wordpress.com/ * RCRA 2018 as a workshop of FLoC 2018, Oxford, UK http://rcra.aixia.it/rcra~2018 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2017 as a workshop of AI*IA 2017, Bari, Italy http://rcra.aixia.it/rcra2017 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2016 as a workshop of AI*IA 2016, Genova, Italy http://rcra.aixia.it/rcra2016 Extended versions of the best papers will appear in a special issue of JETAI * RCRA 2015 as a workshop of AI*IA 2015, Ferrara, Italy http://rcra.aixia.it/rcra2015 Extended versions of the best papers will appear in a special issue of Fundamenta Informaticae * RCRA 2014 as a workshop of SAT 2014, IJCAR 2014 and ICLP 2014, Vienna, Austria -http://rcra.aixia.it/rcra2014 Extended versions of the best papers will appear in a special issue of AI Communications * Previous editions:http://rcra.aixia.it/workshops -------------- next part -------------- An HTML attachment was scrubbed... URL: From meng.wang at bristol.ac.uk Sat May 28 15:20:05 2022 From: meng.wang at bristol.ac.uk (Meng Wang) Date: Sat, 28 May 2022 15:20:05 +0000 Subject: [Haskell] Research fellow position at University of Bristol In-Reply-To: References: Message-ID: Dear All, Here is the second post at Bristol PL group. It is at the research associate level which is suitable for fresh PhD graduates. https://www.bristol.ac.uk/jobs/find/details/?jobId=274941&jobTitle=Research%20Associate%20or%20Senior%20Research%20Associate Best regards, Meng Wang, PhD (Oxon) Senior Lecturer of Programming Languages Head of PL research group School International Director SCEEM (CS, EEE, EMath) School, University of Bristol From: Meng Wang Date: Friday, 20 May 2022 at 09:42 To: haskell-cafe at haskell.org , haskell at haskell.org Subject: Research fellow position at University of Bristol Dear Haskellers, The programming languages group at Bristol is recruiting a research fellow to join our dynamic research group https://bristolpl.github.io/. Our research is ranked highly internationally and there is a strong focus on Haskell. We welcome functional programmers anywhere in the world to apply! (Another similar post at the level of research associate is also available.) https://www.bristol.ac.uk/jobs/find/details/?jobId=274355&jobTitle=Research%20Fellow Meng Wang, PhD (Oxon) Senior Lecturer of Programming Languages Head of PL research group School International Director SCEEM (CS, EEE, EMath) School, University of Bristol PS. A selection of recent papers can be found below. They should give a good indication of the type of PL research conducted at Bristol: - Perera et al. (2022). Linked visualisations via Galois dependencies. POPL 2022. 10.1145/3498668 - Xie et al. (2022). Staging with Class. POPL 2022. 10.1145/3498723 - Yamaguchi et al. (2021). Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches. OOPSLA 2021. 10.1145/3485482 - Qian Z et al. (2021). Client-Server Sessions in Linear Logic. ICFP 2021. 10.1145/3473567 - Jones E & Ramsay S. (2021). Intensional Refinement Datatypes. POPL 2021. 10.1145/3445980 - Gratzer D et al. (2020). Multimodal Dependent Type Theory. LICS 2020. 10.1145/3373718.3394736 - Matsuda K & Wang M. (2020). Sparcl: A Language for Partially-Invertible Computation. ICFP 2020. 10.1145/3409000 - Zhang J et al. (2019). A Study of Bug Resolution Characteristics in Popular Programming Languages. IEEE Transactions on Software Engineering. 10.1109/TSE.2019.2961897 - Abate A et al. (2019). Automated Formal Synthesis of Provably Safe Digital Controllers for Continuous Plants. Acta Informatica, vol 57. 10.1007/s00236-019-00359-1 - Almeida et al. (2019). Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS 2019. 10.1145/3319535.336321 -------------- next part -------------- An HTML attachment was scrubbed... URL: