- Haskell - Haskell.org

Third Call for Papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
by Huibiao Zhu 05 Feb '24

05 Feb '24

TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview --------------------------------------------------------------------------------------------- The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Conference website: https://tase2024.github.io/ Topics of Interest --------------------------------------------------------------------------------------------- Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates --------------------------------------------------------------------------------------------- Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission --------------------------------------------------------------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers --------------------------------------------------------------------------------------------- Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees --------------------------------------------------------------------------------------------- * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universität Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

LOPSTR 2024 -- Preliminary Call for Papers
by Daniel Jurjo 04 Feb '24

04 Feb '24

** Apologies for multiple postings ** 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024). Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. September 9-11, 2024 - Milan, Italy https://lopstr.github.io/2024/ Important dates: - Abstract submission: May 6, 2024 (AoE) - Paper submission: May 10, 2024 (AoE) - Author notification: June 26, 2024 (AoE) - Camera-ready: July 17, 2024 (AoE) - Symposium: September 9-11, 2024 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 programming language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. LOPSTR 2024 will be held at Politecnico di Milano, Milan, Italy and, as part of FM 2024, will be co-located with PPDP 2024, FACS 2024, FMICS 2024, and TAP 2024. At least one of the authors of an accepted paper is expected to attend the conference and present the paper. Information about venue and travel will be available on the FM 2024 website. Topics of interest include 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 - logic-based methods for cyber-physical and distributed systems - 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 will 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 original work. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC Chairs 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=lopstr2024 PROGRAM CHAIRS Juliana Bowles, University of St Andrews, Scotland and SCCH, Austria Harald Søndergaard, The University of Melbourne, Australia PUBLICITY CHAIR Daniel Jurjo Rivas, IMDEA Software Institute, Spain PROGRAM COMMITTEE MEMBERS - TBA 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 can find 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)

1 0

PhD fellowships in ”Parallel functional programming” and "Systems-level language-based security"
by Troels Henriksen 02 Feb '24

02 Feb '24

Full information, including deadlines and such: https://di.ku.dk/ominstituttet/ledige_stillinger/phd-fellowships-in-paralle… The section for Programming Languages and the Theory of Computation (PLTC) at the Department of Computer Science invites applicants for PhD fellowships in two areas: data parallel programming languages broadly construed (including design, implementation, theoretical aspects, and parallel algorithms), and the intersection of systems-level security and formal aspects of computer science (e.g., verification, type systems, programming languages, language-based security, formal methods, logic and so on). When applying, please indicate which areas are of interest to you (which can be both). Two positions, are available: # Parallel Functional Programming Parallel programming on modern massively parallel processors such as GPUs is notoriously difficult and awkward for humans, particularly for irregular problems or those with nested structure. At DIKU, we are a small team that researches programming and compilation techniques for making high-performance parallel programming more accessible to non-specialist programmers. We conduct applied research with a focus on actual real-world performance on mainstream hardware, and we use the functional array language Futhark (https://futhark-lang.org) and its implementation as our main experimental vessel. The precise research problems to be investigated by the PhD candidate depends on the interests of the candidate, but we are particularly interested in problems such as: * How to efficiently map fully or partially irregular nested parallelism to hardware, while still taking advantage of locality. * The construction of profiling tools that can precisely measure the performance of heavily compiler-transformed code and connect it to the original program, allowing the programmer to understand the high-level performance of their program. * Optimising data layout based on how it is accessed by the program; possibly also taking distributed execution or NUMA behaviour into account. * Data parallel formulations of algorithms that are historically difficult to express; e.g. syntax analysis, constraint propagation, and similar recursive and irregular problems. At a basic level, our research consists of developing a strong idea, and then demonstrating the applicability of the idea by implementing it in a practically usable compiler or tool. For more information, feel free to contact Troels Henriksen (athas(a)diku.dk) # Systems-Level Language-Based Security Systems-level security is a challenging field, particularly because it is often difficult to fully ensure the absence of errors. For example, modern operating systems use kernel extensions provided by users to add functionalities like network filters and performance tracking. These extensions, while useful, can pose significant security risks as they run with high privileges, potentially affecting the entire system or can access sensitive information. At DIKU, we are a small group that researches programming-language techniques and formal methods for improving systems-level security. We conduct both applied research and theoretical work, with Open Source software such as the Linux kernel as one of our main interests. The specific research areas for the PhD candidate will align with their interests. However, we're particularly keen on exploring topics such as: * Providing strong, formally verified security guarantees for the eBPF subsystem in the Linux kernel. * Using user-provided code, like WebAssembly or eBPF, for computational storage, ensuring these have strong security guarantees. * Using the programming language Rust for improving systems-level Open Source project, for instance the Linux kernel. Hereunder, exploring automated verification of Rust code correctness, including the development of, or contribution to existing tools for reasoning about Rust code. Our research typically involves developing a solid idea and demonstrating its practical application, either through a usable tool or a proof-of-concept. For more information, feel free to contact Ken Friis Larsen (kflarsen(a)di.ku.dk)

1 0

PhD studentship in functional programming (closing date 9th Feb)
by Graham Hutton 02 Feb '24

02 Feb '24

Dear all, If you are interested in applying for the advertised PhD studentship in functional programming, please note that the closing date is now one week away (9th February). Best wishes, Graham +-----------------------------------------------------------+ Fully-Funded PhD Studentship Functional Programming Lab School of Computer Science University of Nottingham, UK http://tinyurl.com/fplab-phd Applications are invited for a fully-funded PhD studentship under the supervision of Prof Graham Hutton, starting on 1st October 2024. The successful applicant will join the Functional Programming Lab, an internationally-leading centre for programming language research. The topic for the studentship is open, but should relate to the research interests of Prof Hutton on the mathematics of program construction. The studentship forms part of the recently-funded EPSRC project on Semantics-Directed Compiler Construction, which seeks to develop new techniques for constructing certified compilers from semantics. The studentship is open to home and international students, is fully-funded for three and a half years, and includes a stipend of £18,622 per year and tuition fees. Applicants are expected to have a first-class Masters or Bachelors degree (or equivalent) in Computer Science and/or Mathematics, and an excellent ability and interest in the mathematical foundations of programming (topics such as logic and semantics), together with experience of programming in a functional language. Further information and advice for prospective applicants is available from http://tinyurl.com/369xwzc7. Funding for this studentship is already in place. To apply, please submit the following items by email to graham.hutton(a)nottingham.ac.uk: (1) a brief covering letter that describes your reasons for wishing to undertake a PhD and any ideas you have about potential topics; (2) a copy of your CV, including your actual or expected degree class(es) and results of all university examinations; (3) an example of your technical writing, such as a report or dissertation; (4) email addresses for two academic referees. Closing date for applications: Friday 9th February 2024. +-----------------------------------------------------------+ -- Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh 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

GHC Steering Committee Call for Nominations
by Adam Gundry 28 Jan '24

28 Jan '24

Dear Haskellers, The GHC Steering Committee is seeking nominations for new members. The committee scrutinizes, debates and eventually decides to accept or reject proposals to change the language or major features supported by GHC. Our processes are described in the GitHub repository where proposals are submitted (https://github.com/ghc-proposals/ghc-proposals) In particular, please have a look at the committee bylaws (https://github.com/ghc-proposals/ghc-proposals/blob/master/committee.rst) We are looking for members who have the ability to: - understand GHC proposals (e.g. for new language extensions), - find holes and missing corner cases in the specifications, - foresee the interaction with other language or compiler features, - comment constructively and improve proposals through engagement with others, - judge the cost/benefit ratio of changes, and - come to a justifiable conclusion. Ideally, committee members should: - have substantial experience of writing or teaching Haskell; - have a track record of active contributions to the Haskell community; or - have expertise in language design and implementation, in either Haskell or related languages. It is our aim that this committee be diverse; by representing different viewpoints, we will make decisions that benefit larger segments of our community. Even if you are uncertain whether your background qualifies you for the role, you are warmly encouraged to apply. The committee's work requires a small, but non-trivial amount of time, especially when you are assigned a proposal for shepherding. We estimate the workload to be around 2 hours per week, and our process works best if members usually respond to technical emails within 1-2 weeks (within days is even better). Please keep that in mind if your email inbox is already overflowing. To nominate yourself, please send an email to me (as the committee secretary) at adam(a)well-typed.com by February 16th 2024, briefly summarising your background and relevant experience. I will distribute the nominations among the committee, and we will keep the nominations and our deliberations private. Self-nominations are the norm. You can nominate someone else, but please obtain their explicit consent to do so. (We don't want to choose someone who turns out to be unable to serve.) On behalf of the committee, Adam Gundry -- Adam Gundry, Haskell Consultant Well-Typed LLP, https://www.well-typed.com/ Registered in England & Wales, OC335890 27 Old Gloucester Street, London WC1N 3AX, England

1 0

CFP: TASE 2024, Guiyang City, China, July 29 - August 1, 2024
by Huibiao Zhu 24 Jan '24

24 Jan '24

TASE 2024: 18th International Symposium on Theoretical Aspects of Software Engineering Overview --------------------------------------------------------------------------------------------- The 18th Theoretical Aspects of Software Engineering Conference (TASE 2024) will be held in Guiyang City, China on July 29 - August 1, 2024. TASE 2024 aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to current software engineering methodologies that need to be enhanced using modern results from theoretical computer science. We invite submission of research papers on topics covering all theoretical aspects of software engineering, including those describing applications of theoretical computer science in industrial applications and software engineering methodologies. Conference website: https://tase2024.github.io/ Topics of Interest --------------------------------------------------------------------------------------------- Authors are invited to submit high quality technical papers describing original and unpublished work in all theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Abstract interpretation * Algebraic and co-algebraic specifications * AI for formal methods * Component-based software engineering * Cyber-physical systems * Deductive verification * Distributed and concurrent systems * Domain Engineering * Embedded and real-time systems * Feature-oriented software * Formal methods, verification and testing for AI systems * Run-time verification and monitoring * Semantic web and web services * Service-oriented and cloud computing * Software processes and workflows * Software architectures and design * Formal verification and program semantics * Fundamental theories and techniques for trustworthy AI systems * Integration of formal methods * Language design * Model checking and theorem proving * Model-driven engineering * Object-oriented systems * Probability in software engineering * Program analysis * Program logics and calculi * Requirements engineering * Reverse engineering and software maintenance * Software testing and quality assurance * Software safety, security and reliability * Specification and verification * Type systems and behavioral typing * Tools exploiting theoretical results Important Dates --------------------------------------------------------------------------------------------- Abstract Submission : February 17, 2024 (not necessary even if missed) Paper Submission : February 24, 2024 (AoE) Workshop Proposal Submission : March 10, 2024 Workshop Proposal Notification : March 21, 2024 Author Notification : April 10, 2024 Camera-ready Versions : May 10, 2024 Conference : July 29 - August 1, 2024 Submission --------------------------------------------------------------------------------------------- Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and should not exceed 16 pages (excluding bibliography) for long papers and 6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made through the TASE 2024 submission page, handled by the EasyChair conference management system. Submission link: https://easychair.org/conferences/?conf=tase2024. Keynote Speakers --------------------------------------------------------------------------------------------- Nobuko Yoshida (University of Oxford) Zhenjiang Hu (Peking University) Committees --------------------------------------------------------------------------------------------- * General Chairs: Yongbin Qin (Guizhou University) Huibiao Zhu (East China Normal University) * Program Co-Chairs: Wei-Ngan Chin (National University of Singapore) Zhiwu Xu (Shenzhen University) * Workshop Chair: Qin Li (East China Normal University) * Program Committee: Yamine Ait Ameur (IRIT/INPT-ENSEEIHT) Guangdong Bai (The University of Queensland) Yuqi Chen (ShanghaiTech University) Liqian Chen (National University of Defense Technology) Wei-Ngan Chin (National University of Singapore) Zhe Hou (Griffith University) Daisuke Kimura (Toho University) Guoqiang Li (Shanghai Jiaotong University) Jiaxiang Liu (Shenzhen University) Yepang Liu (Southern University of Science and Technology) Frederic Mallet (Universite Nice Sophia-Antipolis) Dominique Mery (Université de Lorraine, LORIA) Jun Pang (University of Luxembourg) Yu Pei (The Hong Kong Polytechnic University) Shengchao Qin (Xidian University) Yahui Song (National University of Singapore) Peter Thiemann (Universität Freiburg) Jingyi Wang (Zhejiang University) Cheng Wen (Xidian University) Zhilin Wu (Institute of Software, Chinese Academy of Sciences) Lili Xiao (Donghua University) Zhiwu Xu (Shenzhen University) Hui Xu (Fudan University) Bai Xue (Institute of Software, Chinese Academy of Sciences) Naijun Zhan (Institute of Software, Chinese Academy of Sciences) Min Zhang (East China Normal University) Hengjun Zhao (Southwest University) Lixiao Zheng (Huaqiao University) Huibiao Zhu (East China Normal University)

1 0

ZuriHac 2024 takes place 8-10 June, registration now open
by Jasper Van der Jeugt 22 Jan '24

22 Jan '24

Hi Friends of Haskell, It is our pleasure to announce that ZuriHac 2024 will take place Saturday 8 June - Monday 10 June 2024 as a physical event at the Rapperswil-Jona campus of the OST Eastern Switzerland University of Applied Sciences. The focus of ZuriHac is being a community event and hackathon, but we will also have some exciting keynotes from Ningning Xie, Alex McLean, Ivan Perez and Mary Sheeran. In addition to that, there will be some more hands-on content: Well-Typed will host a workshop, Jesper Cockx will host an Agda track and Manuel Bärenz will host an FRP Track. We also welcome beginners or people unfamiliar to Haskell who are curious to learn more. Eliane Schmidli will teach a beginners workshop, and there will be many mentors from the Haskell Community happy to answer all your questions. Two days prior to ZuriHac, the Haskell Foundation and OST will organize a co-located 2-day Haskell Infrastructure Workshop. More details about that will be announced soon. You can find more information about the event and register at <https://zurihac.info>. The event is free for participants. This is only possible with the help of our generous supporters, who are currently: - The Haskell Foundation - Jane Street - OST Eastern Switzerland University of Applied Sciences - Tweag - Well-Typed In case you would like to support ZuriHac, please get in touch with us. We hope to see you there! The Zurich Friends of Haskell

1 0

Fully-funded PhD studentship in functional programming
by Graham Hutton 15 Jan '24

15 Jan '24

Dear all, I'm advertising a fully-funded PhD studentship in functional programming, starting 1st October 2024. Please pass the advert on to anyone who may be intersted in applying. Best wishes, Graham Hutton +-----------------------------------------------------------+ Fully-Funded PhD Studentship Functional Programming Lab School of Computer Science University of Nottingham, UK http://tinyurl.com/fplab-phd Applications are invited for a fully-funded PhD studentship under the supervision of Prof Graham Hutton, starting on 1st October 2024. The successful applicant will join the Functional Programming Lab, an internationally-leading centre for programming language research. The topic for the studentship is open, but should relate to the research interests of Prof Hutton on the mathematics of program construction. The studentship forms part of the recently-funded EPSRC project on Semantics-Directed Compiler Construction, which seeks to develop new techniques for constructing certified compilers from semantics. The studentship is open to home and international students, is fully-funded for three and a half years, and includes a stipend of £18,622 per year and tuition fees. Applicants are expected to have a first-class Masters or Bachelors degree (or equivalent) in Computer Science and/or Mathematics, and an excellent ability and interest in the mathematical foundations of programming, together with experience of programming in a functional language. Further information and advice for prospective applicants is available from http://tinyurl.com/369xwzc7. Funding for this studentship is already in place. To apply, please submit the following items by email to graham.hutton(a)nottingham.ac.uk: (1) a brief covering letter that describes your reasons for wishing to undertake a PhD and any ideas you have about potential topics; (2) a copy of your CV, including your actual or expected degree class(es) and results of all university examinations; (3) an example of your technical writing, such as a report or dissertation; (4) email addresses for two academic referees. Closing date for applications: Friday 9th February 2024. +-----------------------------------------------------------+ — Professor Graham Hutton School of Computer Science University of Nottingham, UK http://www.cs.nott.ac.uk/~pszgmh 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

2nd Call for Participation: BOB 2024 (Berlin, Mar 15, Early Bird until Jan 30)
by Stefan Wehr 15 Jan '24

15 Jan '24

========================================================================= BOB 2024 Conference “What happens if we simply use what’s best?” March 15, 2024, Berlin https://bobkonf.de/2024/ Program: https://bobkonf.de/2024/program.html Registration: https://bobkonf.de/2024/registration.html ========================================================================= BOB conference is a place for developers, architects, and decision-makers to explore technologies beyond the mainstream in software development and to find the best tools available to software developers today. Our goal is for all participants of BOB to return home with new insights that enable them to improve their own software development experience. The program features 14 talks and 8 tutorials on current topics: https://bobkonf.de/2024/program.html Talk subjects includes functional programming, property-based testing, service API design, programming for spacecraft, accessibility, hypermedia, business processes, software analytics, event-based communication and zero-knowledge proofs. BOB will feature tutorials on F#, Haskell, Lean, SwiftUI, Copilot, the K Framework, functional domain modelling, and Liberating Structures. Andreas Rossberg will give the keynote talk. Registration is open - online tickets are all under 200€, and many discount options are available, as are grants for members of groups underrepresented in tech. Early-bird registration runs until Jan 30: https://bobkonf.de/2024/registration.html

1 0

[TFP (and TFPiE) 2024] Call For Participation (January 9-12, Seton Hall University, NJ, USA)
by Peter Achten 22 Dec '23

22 Dec '23

# TFP 2024 -- Call For Participation (trendsfp.github.io) ## Venue TFPiE and TFP will take place in-person at Seton Hall University, New Jersey in the United States. ## Dates TFPiE Workshop: Tuesday 9th January, 2024 TFP Symposium: Wednesday 10th - Friday 12th January, 2024 The Symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. ## Keynote speakers We are happy to have the following keynotes in the programme: * Jeremy Gibbons, Oxford University * Benjamin Pierce, University of Pennsylvania * John Reppy, University of Chicago ## Programme The programme schedule can be found here: trendsfp.github.io/schedule.html ## Excursion and banquet After lunch on Thursday there is a private guided tour of the Thomas Edison National Historical Park and Museum. Thursday evening we have the TFP banquet at Forno's of Spain. During dinner the winners of the best paper awards of last year's TFP will be announced.

1 0