- Haskell - Haskell.org

Assistant/Associate professor role at Radboud University
by Wouter Swierstra 07 Jun '23

07 Jun '23

# Assistant or Associate Professor of Software Technology Do you want to work in our programming languages and compiler group, to help create next generation programming languages? Then apply to be an Assistant or Associate Professor of Software Technology. The Software Science department is looking for a new colleague with a keen interest in system software at the software/hardware interface, and a desire to transfer academic results to industry/society. The SWS department seeks to strengthen and expand its research and is therefore looking for a new colleague with a keen interest in system software at the software/hardware interface and a desire to produce academic results that are beneficial to industry/society. Depending on your qualifications, you will either be appointed at tenure-track assistant professor level or at associate professor level. You will be expected to develop your own research line in the context of the group's future activities. You will be expected to supervise a number of PhD candidates and to teach Bachelor's and Master's courses in Computer Science, such as New Devices Lab and Compiler Construction. You will also actively contribute to the supervision of Bachelor's and Master's projects and be involved in organisational tasks within the institute. All teaching is done in English. ## Profile * You should hold a PhD and be an enthusiastic scientist with a broad knowledge of software technology, as evidenced by publications and research grants. * Your expertise in software technology should strengthen the group's research, with a focus on system software and the drive to produce academic results that are beneficial to industry/society. Example areas include programming languages, compiler technology, code generation, system performance, system architecture, software analysis tools, testing, correctness, software hardware codesign, systems of systems, cyber-physical systems, IoT, networks, HPC/Exascale computing, and low carbon computing. There is a clear potential for collaboration with the current group. * You are an enthusiastic teacher with didactic skills and teaching experience, and you enjoy interacting with students. * You are able to help the department by contributing to organisational and managerial activities related to the research and education programme of our department. * You are a team player who is eager to collaborate with other scientists and to build bridges between different disciplines within and outside SWS/iCIS, nationally and internationally, and within and outside of academia. * You have a strong interest in, and preferably also experience with, collaborating with stakeholders from industry and society. You also have excellent communication skills towards colleagues, students and non-experts. * You are able to set up your own research line and successfully apply for external funding. ## We are The position is available in the Software Science (SWS) group of the Institute for Computing and Information Sciences (iCIS) at Radboud University. The mission of the SWS group is to do world-leading research on the use of models for design and analysis of software. The group is well known for work on high productivity software, functional programming, code generation for High-Performance Computing, array computing, model-based software engineering, model learning, model-based testing, model checking, combining formal verification and machine learning, proof assistants, and mathematical foundations. We find it important (and inspiring!) to cover the full spectrum from theory to applications in a single research group. Through collaboration with stakeholders from industry and society, we obtain a better understanding of when and how software science can help solve real-world problems. We have joint projects with, for instance, Canon Production Printing, ASML, Alfa Laval, Philips Healthcare, Google, Intel, Defensieacademie (NLDA), and our spin-off TOP Software Technology. Radboud University's iCIS is an internationally recognised institute, consistently ranked among the top Computer Science departments in the Netherlands. iCIS comprises an enthusiastic and devoted team of excellent scholars that closely collaborate in a flat organisational structure. The Institute focuses its research on three themes: data science, digital security and software science. Each of these themes spans the full breadth from basic fundamental research to application-oriented research. Our long-term drive is to contribute to both science and society. iCIS staff members are also responsible for the Computer Science Bachelor's and Master's programmes, the Information Science Master's programme, and for about 30% of the Bachelor's and Master's programmes in Artificial Intelligence at Radboud University. In spite of the fast-growing student numbers, these programmes are structurally evaluated as one of the best. For example, the Computer Science programme was rated best in its field in Keuzegids 2021. iCIS employees have a high level of freedom to determine the way they structure the work they carry out at Radboud University. The Institute has made a strong effort in the past few years to increase the diversity of its staff. Presently, more than half of our scientific staff has an international background. ## Radboud University We want to get the best out of science, others and ourselves. Why? Because this is what the world around us desperately needs. Leading research and education make an indispensable contribution to a healthy, free world with equal opportunities for all. This is what unites the more than 24,000 students and 5,600 employees at Radboud University. And this requires even more talent, collaboration and lifelong learning. You have a part to play! We offer an employment for 0.8 - 1.0 FTE: * Depending on your scientific track record and experience you will be appointed as an Assistant Professor or Associate Professor, potentially with career track criteria for future promotion. * For an Assistant Professor the gross monthly salary amounts to a minimum of €3,974 and a maximum of €6,181 based on a 38-hour working week, depending on previous education and number of years of relevant work experience (salary scale 11 or 12). * For an Associate Professor the gross monthly salary amounts to a minimum of €5,506 and a maximum of €7,362 based on a 38-hour working week, depending on previous education and number of years of relevant work experience (salary scale 13 or 14). * You will receive 8% holiday allowance and 8.3% end-of-year bonus. * You will be appointed for an initial period of 18 months. Upon a positive performance evaluation at the end of this period, the contract may be converted into a permanent one. * You will be able to use our Dual Career and Family Care Services. Our Dual Career and Family Care Officer can assist you with family-related support, help your partner or spouse prepare for the local labour market, provide customized support in their search for employment and help your family settle in Nijmegen. * Working for us means getting extra days off. In case of full-time employment, you can choose between 29 or 41 days of annual leave instead of the legally allotted 20. ## Additional employment conditions Work and science require good employment practices. This is reflected in Radboud University's primary and secondary employment conditions. You can make arrangements for the best possible work-life balance with flexible working hours, various leave arrangements and working from home. You are also able to compose part of your employment conditions yourself, for example, exchange income for extra leave days and receive a reimbursement for your sports subscription. And of course, we offer a good pension plan. You are given plenty of room and responsibility to develop your talents and realise your ambitions. Therefore, we provide various training and development schemes. You can apply using the link below: https://www.ru.nl/en/working-at/job-opportunities/assistant-or-associate-pr…

1 0

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 05 Jun '23

05 Jun '23

Dear all, If you or one of your students recently completed a PhD (or Habilitation) 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 30th June 2023. Please share! Best wishes, Graham Hutton ============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th June 2023 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 student and the advisor/supervisor although we encourage them to coordinate. Habilitation dissertations are also eligible for inclusion. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 30th June 2023. o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of 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.

1 0

TyDe 2023 - Second Call for Papers and Deadline Extension
by Youyou Cong 02 Jun '23

02 Jun '23

TL;DR: The submission deadline for TyDe 2023 has been extended to Thursday June 8. -------------------------------------------------------------------------------- CALL FOR PAPERS 8th Workshop on Type-Driven Development (TyDe 2023) Co-Located with ICFP 2023 (Seattle, Washington, USA) https://icfp23.sigplan.org/home/tyde-2023 -------------------------------------------------------------------------------- # Goals of the Workshop The Workshop on Type-Driven Development (TyDe) aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development. We welcome all contributions, both theoretical and practical, on a range of topics including: - dependently typed programming; - generic programming; - design and implementation of programming languages, exploiting types in novel ways; - exploiting typed data, data dependent data, or type providers; - static and dynamic analyses of typed programs; - tools, IDEs, or testing tools exploiting type information; - pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs. # Proceedings and Copyright We will have formal proceedings, published by the ACM. Accepted papers will be included in the ACM Digital Library. Authors must grant ACM publication rights upon acceptance, but may retain copyright if they wish. Authors are encouraged to publish auxiliary material with their paper (source code, test data, and so forth). The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. The official publication date is the date the papers are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. # Submission Details Submissions should fall into one of two categories: - regular research papers (12 pages); - extended abstracts (3 pages). The bibliography will not be counted against the page limits for either category. Regular research papers are expected to present novel and interesting research results, and will be included in the formal proceedings. Extended abstracts should report work in progress that the authors would like to present at the workshop. Extended abstracts will be distributed to workshop attendees but will not be published in the formal proceedings. We welcome submissions from PC members (with the exception of the two co-chairs), but these submissions will be held to a higher standard. Submission is handled through HotCRP: https://tyde23.hotcrp.com All submissions should be in portable document format (PDF) and formatted using the ACM SIGPLAN style guidelines: https://www.sigplan.org/Resources/Author/ Note that submissions should use the new 'acmart' format and the two-column 'sigplan' subformat (not to be confused with the one-column 'acmsmall' subformat). Extended abstracts must be submitted with the label 'Extended Abstract' clearly in the title. # Participant Support Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover participation-related expenses. PAC also offers other support, such as for child-care expenses during the meeting or for accommodations for members with physical disabilities. For details on the PAC program, see its web page: https://www.sigplan.org/PAC/ # Important Dates - Submission Deadline: Thursday June 8, 2023 (extended) - Author Notification: Thursday June 29, 2023 - Camera-Ready Deadline: Thursday July 13, 2023 - Workshop: Monday September 4, 2023 # Workshop Organization Organizing Committee: - Youyou Cong (Tokyo Institute of Technology, Japan) - Pierre-Evariste Dagand (IRIF / CNRS, France) Program Committee: - Reynald Affeldt (AIST, Japan) - Sandra Alves (DCC-FCUP, Portugual) - Stephen Chang (UMass Boston, United States) - Magnus Madsen (Aarhus University, Denmark) - Victor Cacciari Miraldo (Channable, Netherlands) - Jonathan Protzenko (Microsoft Research, United States) - Marianna Rapoport (Amazon Web Services, Canada) - Christine Rizkallah (University of Melbourne, Australia) - Filip Sieczkowski (Heriot-Watt University, United Kingdom) - Aaron Stump (The University of Iowa, United States) - Peter Thiemann (University of Freiburg, Germany) - Ningning Xie (Google Brain / University of Toronto, Canada)

1 0

EUSPN 2023 CfPs: The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (November 7-9)
by Ali BENZERBADJ 02 Jun '23

02 Jun '23

********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) Date: November 7 - 9, 2023 Location: Almaty, Kazakhstan Website: http://cs-conferences.acadiau.ca/euspn-23/ ********************************************************************************** The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN) is a premier venue for bringing together multi-disciplinary researchers, professionals and practitioners from both academia and industry, who are engaged in different facets of ubiquitous systems and pervasive networks. The conference encourages innovative research contributions providing the recent significant developments and promising future trends of EUSPN based applications, systems, tools, environments and infrastructures in the fields of EUSPN and related areas. Important Dates: -------------------- - Workshop Proposals: May 16, 2023 - Paper Submission Due: June 16, 2023 - Author Notification: August 11, 2023 - Final Manuscript Due: September 11, 2023 Publication ------------- All EUSPN 2023 accepted papers will be published by Elsevier Science in the open-access Procedia Computer Science series on-line. Procedia Computer Science is hosted by Elsevier on www.Elsevier.com and on Elsevier content platform ScienceDirect (www.sciencedirect.com) and will be freely available worldwide. All papers in Procedia will be indexed by Scopus ( www.scopus.com) and by Thomson Reuters' Conference Proceeding Citation Index (http://thomsonreuters.com/conference-proceedings-citation-index/) All papers in Procedia will also be indexed by Scopus (www.scopus.com) and Engineering Village (Ei) (www.engineeringvillage.com) This includes EI Compendex (www.ei.org/compendex) Moreover, all accepted papers will be indexed in DBLP (http://dblp.uni-trier.de/) The papers will contain linked references, XML versions and citable DOI numbers. Selected papers will be invited for publication, in the special issues of: - International Journal of Ambient Intelligence and Humanized Computing, Springer (http://www.springer.com/engineering/journal/12652) - International Journal of Computing and Informatics ( http://www.cai.sk/ojs/index.php/cai/index) - International Journal of Traffic and Transportation Management, IAKS (https://iasks.org/jttm) - International Journal of Ubiquitous Systems and Pervasive Networks, IASKS (https://iasks.org/juspn) - International Journal of Transportation Research Part A: Policy and Practice, Elsevier ( https://www.journals.elsevier.com/transportation-research-part-a-policy-and… ) EUSPN 2023 will be held in conjunction with the 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH: http://cs-conferences.acadiau.ca/icth-23/) Papers on either completed or ongoing research are invited in the following and related tracks: http://cs-conferences.acadiau.ca/euspn-23/call-for-papers.html EUSPN 2023 will be held in the city of Almaty, Kazakhstan. Almaty is located in the Southeastern region of Kazakhstan, with a population of 1.5 million. Almaty is the largest financial, economic and cultural center of Central Asia. It accommodates numerous business centres, theatres, museums, art galleries, exhibition halls and countless modern entertainment complexes. Throughout its 150-year-old history, the city saw construction of dozens of important monuments, architectural sites, museums, parks, and so on. Today, Almaty's visitors can learn more about the history and culture of the city, which still continues to expand. In addition, the outer regions of Almaty are famous for various natural attractions and the famous skating rink Medeo. The conference venue will be held by Kazakh-British Technical University (KBTU), which is located in Almaty. KBTU's research is focused on the main sectors of the Kazakhstani economy - oil and gas, information technologies, banking and finance, management and telecommunications. International Almaty Airport is located about 15 km from the Kazakh-British Technical University (KBTU). The university is located in the city center near many shops, restaurants, etc. Conference Tracks ============ - Ad hoc and Pervasive Networks - Adaptive Systems, Intelligent Computing and Applications - Big Data and Big Data Science - Cloud, Fog, Edge Computing - Emerging Pervasive/Ubiquitous Technologies - Intelligent Traffic and Transportation Systems - Internet of Things - Mobile Computing and Wireless Communications - Security, Privacy, and Trust - Semantic Web Technologies Committees ======== General Chair Atta Badii, University of Reading, UK Program Chairs Ridha Khedri, McMaster University, Canada Ansar Yasar, Hasselt University, Belgium Local Chairs Dzhumaseitova Assel, Kazakh-British Technical University, Kazakhstan Yevgeniya Daineko, International Information Technology University, Kazakhstan Nurgul Nalgozhina, International Information Technology University, Kazakhstan Workshops' Chair Stephane Galland, Universite de Technologie de Belfort-Montbeliard, France Publicity Chairs Ali Benzerbadj, University of Ain Temouchent Belhadj Bouchaib, Algeria Siddardha Kaja, Air Canada, Canada Dinara Kozhamzharova, International Information Technology University, Kazakhstan Ipalakova Madina, International Information Technology University, Kazakhstan Dimitrios Zavantis, AGEAN motorway, Greece Program Vice Chairs Anas Al-Rahamneh, Public University of Navarre, Spain Sajid Anwar, Institute of Management Sciences Peshawar, Pakistan Nik Bessis, Edge Hill University, UK Samia Bouzefrane, Cnam, Paris, France Joh Chang-Hyeon, Kyung Hee University, South Korea Taner Cokyasar, Argonne National Laboratory, US Orven E. Llantos, Mindanao State University-Iligan Institute of Technology, Philippines Flavio Lombardi, Universita Roma Tre, Italy Ka Lok Man, Xi'an Jiaotong-Liverpool University, China Abdeljebar Mansour, Abdelmalek Essaâdi University-Tetouan, Morocco Fernando Moreira, Universidade Portucalense, Portugal Yazan Mualla, Université de Technologie de Belfort-Montbéliard, France Euripides Petrakis, Technical University of Crete, Greece Francoise Sailhan, Cnam, Paris, France Michael Sheng, Macquarie University, Australia Igor Tchappi, University of Luxembourg, Luxembourg Advisory Committee Ali Ghorbani, University of New Brunswick, Canada Zygmunt J. Haas, Cornell University, USA Vincenzo Loia, University of Salerno, Italy Peter Sloot, Universiteit van Amsterdam, Netherlands Peter Thomas, Manifesto Research, Australia Technical Program Committee http://cs-conferences.acadiau.ca/euspn-23/organizing-commitee.html -- *Ali Benzerbadj * *Lecturer, University of Ain Temouchent* *Ain Temouchent, Algeria* *Research Laboratory in Industrial Computing and Networks (RIIR)* *Research team :"Networks and QoS"* University of Oran 1 Ahmed Ben Bella, Oran, Algeria Mob(s): +213 6 61622162 E-mail(s):.benzerbadj@univ-temouchent.edu.dz <ali.benzerbadj(a)univ-temouchent.edu.dz>, ali_benz(a)yahoo.fr,

1 0

Postdoc Position on Digitally Enforceable Data Sharing Contracts
by Thomas van Binsbergen 31 May '23

31 May '23

To whom may be interested, With this message I would like to bring your attention to a Postdoc vacancy with the following title and summary: Postdoc Position on Digitally Enforceable Data Sharing Contracts The University of Amsterdam (UvA) is looking for a Postdoctoral Researcher in the area of programming languages, formal methods, and distributed systems. The goal of the research is to enable the integration and automatic enforcement of high-level contract specification within distributed systems for data exchange and federated data processing. Possible outcomes are: (domain-specific) software languages, system architecture designs, and prototypes for verifying contract specifications, language implementations, and auditing/monitoring components. The offered contract is for a minimum of 12 months. The closing date is the 25th of June. The ideal starting date the 1st of August. The full vacancy text and application procedure can be found here: https://vacatures.uva.nl/UvA/job/Postdoc-Position-on-Digitally-Enforceable-… For more information, contact me at l.t.vanbinsbergen(a)uva.nl. Kind regards, Dr. L. Thomas van Binsbergen, Assistant Professor, Informatics Institute, University of Amsterdam

1 0

Call for Papers: JFP Special Issue on Program Calculation
by Graham Hutton 30 May '23

30 May '23

Dear all, We're delighted to announce a Special Issue on Program Calculation for the Journal of Functional Programming. Please share, and submit your best papers! Best wishes, Graham Hutton and Nicolas Wu Guest Editors ================================================================== JFP Special Issue on Program Calculation We invite submissions to the Journal of Functional Programming Special Issue on Program Calculation: tinyurl.com/prog-calc Notification of intent : 20 October 2023 Submission deadline : 1 December 2023 SCOPE The idea of program calculation, in which programs are derived from specifications using equational reasoning techniques, has been a topic of interest in functional programming since its earliest days. In particular, the approach allows us to systematically discover how programs can be defined, while at the same time obtaining proofs that they are correct. The aim of this special issue is to document advances that have been made in the field of program calculation in recent years. TOPICS Full-length, archival-quality submissions are solicited on all aspects of program calculation and related topics. Specific topics of interest include but are not limited to: - Program derivation and transformation; - Inductive and co-inductive methods; - Recursion and co-recursion schemes; - Categorical and graphical methods; - Tool support and proof assistants; - Efficiency and resource usage; - Functional algorithm design; - Calculation case studies. The special issue will also consider papers on program calculation that are not traditional research papers. This may include pearls, surveys, tutorials or educational papers, which will be judged by the usual JFP standards for such submissions. Papers will be reviewed as regular JFP submissions, and acceptance in the special issue will be based on both JFP's quality standards and relevance to the theme. NOTIFICATION OF INTENT Authors must notify the special issue editors of their intent to submit by 20 October 2023. The notification of intent should be submitted by filling out the following form, which asks for data to help identify suitable reviewers: tinyurl.com/intent-to-submit If you miss the notification of intent deadline, but still wish to submit, please contact the special-issue editors. SUBMISSIONS Papers must be submitted by 1 December 2023. Submissions should be typeset in LaTeX using the JFP style file, and submitted through the JFP Manuscript Central system. Choose "Program Calculation" as the paper type, so it gets assigned to the special issue. Further author instructions are available from: tinyurl.com/JFP-instructions We welcome extended versions of conference or workshop papers. Such submissions must clearly describe the relationship with the initial publication, and must differ sufficiently that the author can assign copyright to Cambridge University Press. Prospective authors are welcome to discuss submissions with the editors to ensure compliance. SPECIAL-ISSUE EDITORS Graham Hutton <graham.hutton(a)nottingham.ac.uk> Nicolas Wu <n.wu(a)imperial.ac.uk> IMPORTANT DATES We anticipate the following schedule: 20 October 2023 : Notification-of-intent deadline 1 December 2023 : Submission deadline 22 March 2024 : First round of reviews 12 July 2024 : Revision deadline 4 October 2024 : Second round of reviews, if applicable 29 November 2024 : Final versions due ================================================================== 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

LOPSTR 2023 - Final CFP - Extended paper deadline: June 9, 2023
by daniel.jurjo＠imdea.org 26 May '23

26 May '23

** Apologies for multiple postings ** 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023) Co-located with PPDP 2023 as part of SPLASH 2023 October 23-24, 2023 - Cascais, Lisbon, Portugal https://lopstr.github.io/2023/ Important dates: - Paper submission: June 9, 2023 (AoE) - Author notification: July 24, 2023 (AoE) - Camera-ready: August 18, 2023 - Symposium: October 23-24, 2023 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. LOPSTR 2023 will be held in-person at Hotel Cascais Miragem in Cascais, Lisbon, Portugal and will be co-located with PPDP 2023 as part of SPLASH 2023. At least one of the authors of the accepted paper is expected to attend the conference and present the paper. Information about venue and travel is available on the SPLASH 2023 website. 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 - inversion - composition - optimisation - specification - analysis and verification - testing and certification - program and model manipulation - AI-methods for program development - verification and testing of AI-based systems - transformational techniques in software engineering - logic-based methods for security, cyber-physical and distributed system - applications, tools and industrial practice Survey papers that present some aspects of the above topics from a new perspective and papers that describe experience with industrial applications and case studies are also welcome. PAPER SUBMISSION Submissions can be made in two categories: - Regular Papers (15 pages max.) - Short Papers (8 pages max.) References do NOT count towards the page limit. 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. All submissions must be written in English. Submissions must not substantially overlap with papers/tools that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Submissions of Regular Papers must describe the original work. 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 Short Papers may include presentations of exciting if not fully polished research and tool demonstrations that are of academic and industrial interest. Tool demonstrations should describe the relevant system, usability, and implementation aspects of a tool. All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume. After the symposium, a selection of a few best papers will be invited for submission to rapid publication in the Journal of Theory and Practice of Logic Programming (TPLP). Authors of selected papers will be invited to revise and/or extend their submissions to be considered for publication. The papers submitted to TPLP will be subject to the standard reviewing process of the journal. 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, 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 Papers should be submitted via EasyChair: https://easychair.org/conferences/?conf=lopstr2023 BEST PAPER AWARD Thanks to Springer's sponsorship, two best paper awards (one for each submission category), with a 500 EUR prize, will be given at LOPSTR 2023. The program committee will select the winning papers based on relevance, originality and technical quality but may also take authorship into account (e.g. a student paper). PROGRAM CHAIRS Robert Glück, University of Copenhagen, Denmark Bishoksan Kafle, IMDEA Software Institute, Spain PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS Slim Abdennadher, German International University, Egypt José Júlio Alferes, Universidade Nova de Lisboa, Portugal Roberto Amadini, University of Bologna, Italy William Byrd, University of Alabama at Birmingham, USA Michael Codish, Ben-Gurion University of the Negev, Israel Gregory Duck, National University of Singapore, Singapore Isabel García-Contreras, University of Waterloo, Canada Ashutosh Gupta, IIT Bombay, India Gopal Gupta, The University of Texas at Dallas, USA Michael Hanus, University of Kiel, Germany Temesghen Kahsai, Amazon, USA Maja Hanne Kirkeby, Roskilde University, Denmark Michael Leuschel, Heinrich Heine University Düsseldorf, Germany Nai-Wei Lin, National Chung Cheng University, Taiwan Fred Mesnard, University of Reunion, France José F. Morales, IMDEA Software Institute, Spain Carlos Olarte, Universitè Sorbonne Paris Nord, France Alberto Pettorossi, Università di Roma Tor Vergata, Italy Christoph Reichenbach, Lund University, Sweden Peter Schachte, The University of Melbourne, Australia Helge Spieker, Simula Research Laboratory, Norway Theresa Swift, Universidade Nova de Lisboa, Portugal Laura Titolo, National Institute of Aerospace, USA Kazunori Ueda, Waseda University, Japan Germán Vidal, Universitat Politècnica de València, Spain Nisansala Yatapanage, Australian National University, Australia Florian Zuleger, Vienna University of Technology, Austria HISTORY LOPSTR is a renowned symposium that has been held for more than 30 years. The first meeting was held in Manchester, UK in 1991. Information about previous symposia: http://lopstr.webs.upv.es/. You might have a look at the contents of past LOPSTR symposia at DBLP (https://dblp.uni-trier.de/db/conf/lopstr/index.html) and past LNCS proceedings at Springer (https://link.springer.com/conference/lopstr) Cheers,

1 0

Postdoc position in deep probabilistic programming
by Fritz Henglein 25 May '23

25 May '23

We have an open postdoc position in deep probabilistic programming (DPP) at DIKU, University of Copenhagen, with a focus on programming language technology. The position is for one year and can be extended to two years. It is open immediately. To inquire about the position or apply for it, please send your CV, your research interests, how you believe you can contribute to and benefit from the research program below, and one relevant research paper you have authored to Fritz Henglein, henglein(a)diku.dk. About DPP Deep probabilistic programming combines programming with probability distributions and parameters that can be optimized to match observed outcomes by automatic differentiation (AD); it is essentially Bayesian inference plus deep learning in an expressive programming language. About AD AD is of particular interest to us in this project. We are exploring DSL-based linear operator representations for derivatives that share the benefits of matrices (expressive algebra, easy parallelism-preserving adjoints for running ‘in reverse’, hardware-supported high-performance execution on GPUs, etc), but avoid their prohibitive storage and execution costs at high dimension, without using so-called ‘jvp’ and ‘vjp’ representations of derivatives expressed in a general-purpose programming language, which is inherently tricky to analyze and optimize. This is where we’ll need your help: Our hypothesis is that AD by aggressive almost-symbolic differentiation, clever symbolic representation (e.g. tensor product representation for low-rank matrices) of derivatives, followed by parallelism-preserving transformation and optimization, and eventual compilation to a functional high-performance array programming language such as Futhark can provide execution performance advantages in a suitably constructed DSL. About PP Subsequently we’d like to add probability distributions/random variables as data types with exploitable algebraic properties to the DSL to implement efficient (Hamiltonian and Newtonian) probabilistic inference techniques that minimize the need for sampling and maximize computational performance. About applications The present project is driven by multiple applications in protein structure prediction, where computational efficiency is (still) a major bottleneck. This is the targeted problem domain for this postdoc position. The overall multilinear algebraic programming approach has broader applications, though, ranging from database query processing (‘vector spaces’ — actually modules — over Z as generalized relations) via machine learning (vector spaces over R) to quantum computation (vector spaces over C). Required background Ideally you should have both - a good mathematical grounding, specifically in (multi)linear algebra and in common vector spaces such as Hilbert spaces, and ideally also in probability theory for the probabilistic programming aspects, and - practical mastery of functional programming language technology for generating high-performance code. The reason is that the former is not a goal by itself —we aim for very high performance in practice, the generated code really has to run very fast — and the latter by itself will make the optimization ideas seem mysterious since they exploit the former in nonobvious ways. No particular background in bioinformatics, proteins or such is required. If you have some, wonderful; but we have plenty of expertise in the team that you can draw on. About employment terms The position can be started as soon as the paperwork is done after an employment offer has been made and accepted, which may be weeks to months, depending on your citizenship. The salary is according to the standard Danish union contract for academics. Including mandatory contribution to your own pension account, it can be expected to be between DKK 40,000 and DKK 50,000 /month before income taxes. The actual amount depends on formal qualifications and seniority. About the project team, DIKU, UCPH and Copenhagen The project, deep probabilistic programming for protein structure prediction, is funded by the Danish Research Council and hosted by the Programming Language and Theory of Computation (PLTC) section at the Department of Computer Science (DIKU) at the University of Copenhagen (UCPH). It is led by Thomas Hamelryck (Department of Biology and DIKU) and Fritz Henglein (DIKU) and is performed in collaboration with and in close proximity to the Futhark high-performance functional programming language research group. DIKU is located on the North Campus of UCPH, next to the largest park in Copenhagen. Copenhagen is routinely ranked as one of the most livable cities in the world. You’ll have the opportunity to gather teaching qualifications during the second postdoc year and UCPH is usually ranked as one of the better or even best universities in Europe, both of which can contribute effectively to your academic career. Fritz Henglein fritz(a)henglein.com (private, fastest), henglein(a)diku.dk (office, DIKU) +45-30589576

1 0

GPCE 2023 Call for Papers (with complete committee information)
by Youyou Cong 23 May '23

23 May '23

Apologies for the incomplete committee information in the previous post. Below you will find the full list of committee members. ------------------------------------------------------------------------------- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal. https://conf.researchr.org/home/gpce-2023/ ------------------------------------------------------------------------------- New in GPCE 2023: This year, GPCE considers the following additional topics of interest: * AI/ML techniques for generating code, and * low code / no code approaches. Also, GPCE solicits an additional paper category: * Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * feature-oriented programming, * domain engineering, * feature interactions, * applications and properties of code generation, * language implementation, * product-line development, * (NEW!) AI/ML techniques for generating code, and * (NEW!) low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits four kinds of submissions: * Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. * Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. * Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. * (NEW!) Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography (but may be shorter), and must have the text “(Generative Pearl)” appended to their titles. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2023 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 3rd (Monday) - Paper submission: July 7th (Friday) - Review notification: August 23rd (Wednesday) - Author response: August 25th (Friday) - Final notification: September 3rd (Sunday) - Camera-ready due: September 10th (Sunday) - SPLASH 2023: October 22nd - 27th All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2023 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/) --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology) - Steering Committee Chair: Sebastian Erdweg (JGU Mainz) For additional information, clarification, or answers to questions, contact the program chair: amir dot shaikhha at ed dot ac dot uk --------------------------- PROGRAM COMMITTEE --------------------------- Aleksandar Dimovski - Mother Teresa University, Skopje Coen De Roover - Vrije Universiteit Brussel Daniel Strüber - Chalmers | University of Gothenburg Elena Zucca - University of Genova Eli Tilevich - Virginia Tech Geoffrey Mainland - Drexel University Jeremy Gibbons - Oxford University Jeremy Yallop - University of Cambridge Julia Lawall - Inria Lionel Parreaux - The Hong Kong University of Science and Technology Márcio Ribeiro - Federal University of Alagoas Martin Erwig - Oregon State University Michael O'Boyle - University of Edinburgh Philip Wadler - University of Edinburgh Raffi Khatchadourian - City University of New York (CUNY) Hunter College Ruby Tahboub - University of Illinois Urbana-Champaign Sandro Stucki - Amazon Prime Video Sebastian Erdweg - JGU Mainz Sheng Chen - UL Lafayette Shigeru Chiba - University of Tokyo Shoaib Kamil - Adobe Sibylle Schupp - Hamburg University of Technology Simon Fowler - University of Glasgow Vojin Jovanovic - Oracle Labs Walter Binder - Università della Svizzera italiana (USI) Youyou Cong - Tokyo Institute of Technology Yukiyoshi Kameyama - University of Tsukuba

1 0

GPCE 2023 Call for Papers
by Youyou Cong 23 May '23

23 May '23

------------------------------------------------------------------------------- GPCE 2023: 22nd International Conference on Generative Programming: Concepts & Experiences GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal. https://conf.researchr.org/home/gpce-2023/ ------------------------------------------------------------------------------- New in GPCE 2023: This year, GPCE considers the following additional topics of interest: * AI/ML techniques for generating code, and * low code / no code approaches. Also, GPCE solicits an additional paper category: * Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). --------------------------- CALL FOR PAPERS --------------------------- The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to: * program transformation, staging, * macro systems, preprocessors, * program synthesis, * code-recommendation systems, * domain-specific languages, * generative language workbenches, * language embedding, language design, * feature-oriented programming, * domain engineering, * feature interactions, * applications and properties of code generation, * language implementation, * product-line development, * (NEW!) AI/ML techniques for generating code, and * (NEW!) low code / no code approaches. GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense. Authors are welcome to check with the PC chair whether their planned papers are in scope. --------------------------- PAPER CATEGORIES --------------------------- GPCE solicits four kinds of submissions: * Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topics. Full paper submissions must not exceed 12 pages excluding the bibliography. * Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles. * Tool Demonstrations: presenting tools for any GPCE topics. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used for evaluating the submission. * (NEW!) Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography (but may be shorter), and must have the text “(Generative Pearl)” appended to their titles. --------------------------- PAPER SELECTION --------------------------- The GPCE program committee will evaluate each submission according to the following selection criteria: * Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field. * Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways. * Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies. * Clarity. The paper must present its contributions and results clearly. --------------------------- BEST PAPER AWARD --------------------------- Following the tradition, the GPCE 2023 program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference. --------------------------- IMPORTANT DATES --------------------------- - Abstract submission: July 3rd (Monday) - Paper submission: July 7th (Friday) - Review notification: August 23rd (Wednesday) - Author response: August 25th (Friday) - Final notification: September 3rd (Sunday) - Camera-ready due: September 10th (Sunday) - SPLASH 2023: October 22nd - 27th All times are in AoE (Anywhere on Earth). --------------------------- PAPER SUBMISSION --------------------------- Papers must be submitted using HotCRP: https://gpce2023.hotcrp.com/ All submissions must use the ACM SIGPLAN Conference Format "acmart". Be sure to use the latest LaTeX templates and class files, the SIGPLAN sub-format, and 10-point font. Consult the sample-sigplan.tex template and use the document-class \documentclass[sigplan,anonymous,review]{acmart}. To increase fairness in reviewing, GPCE 2023 uses the double-blind review process which has become standard across SIGPLAN conferences: - Author names, institutions, and acknowledgments should be omitted from submitted papers, and - references to the authors' own work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors' identities in implicit ways. For additional information, clarification, or answers to questions, contact the program chair. The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the SIGPLAN Republication Policy ( http://www.sigplan.org/Resources/Policies/Republication/) --------------------------- ORGANIZATION --------------------------- - General Chair: Bernhard Rumpe (RWTH Aachen University) - Program Chair: Amir Shaikhha (University of Edinburgh) - Publicity Chair: Youyou Cong (Tokyo Institute of Technology)

1 0