May 2022 - Haskell - Haskell.org

Research fellow position at University of Bristol
by Meng Wang 28 May '22

28 May '22

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… 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

1 1

RCRA 2022 - 1st call for papers
by cfp 25 May '22

25 May '22

[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@dibris.unige.it,M.Vallati@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@dibris.unige.it,M.Vallati@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

1 0

Assistant Professorships in Nottingham
by Graham Hutton 17 May '22

17 May '22

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.

1 0

WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)
by Stefan Ciobaca 15 May '22

15 May '22

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(a)easychair.org.

1 0

Final call for participation: Advanced Functional Programming Summer School in Utrecht
by Swierstra, W.S. (Wouter) 13 May '22

13 May '22

# 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

1 0

LOPSTR 2022 - Deadline extension
by Alicia Villanueva 10 May '22

10 May '22

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-gu…) 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(a)upv.es * In coorperation with Springer Lecture Notes in Computer Science Kurt Gödel Society

1 0

SPLV 2022 - Call for Participation
by Filip Sieczkowski 10 May '22

10 May '22

+---------------------------------------------------------------+ | | | 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(a)hw.ac.uk * Filip Sieczkowski f.sieczkowski(a)hw.ac.uk * Kathrin Stark k.stark(a)hw.ac.uk

1 0

Full professorships at Utrecht University
by Swierstra, W.S. (Wouter) 10 May '22

10 May '22

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… # 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@uu.nl/ j.f.m.masthoff(a)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(a)uu.nl. Do you have a question about the application procedure? Please send an email to science.recruitment(a)uu.nl # Apply https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/ApplicationFor… 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.

1 0

[TERMGRAPH-2022] 2-day extension submission deadline: May 12
by Clemens Grabmayer 10 May '22

10 May '22

======================================================================== 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(a)gssi.it ========================================================================

1 0

ICFP 2022 Student Research Competition: Call for Submissions [2nd CfP]
by Daniel Hillerström 09 May '22

09 May '22

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<https://urldefense.com/v3/__https://icfp22src.hotcrp.com__;!!IBzWLUs!BWY51C…> 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<https://urldefense.com/v3/__https://www.acm.org/publications/authors/submis…>. For authors using LaTeX, a lighter-weight package, including only the essential files, is available from http://sigplan.org/Resources/Author/#acmart-format<https://urldefense.com/v3/__http://sigplan.org/Resources/Author/*acmart-for…>. 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<https://urldefense.com/v3/__https://icfp22.sigplan.org/track/icfp-2022-stud…> ### 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<https://www.google.co.uk/maps/place/Informatics+Forum/@55.944781,-3.187282,…> 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.

1 0