From Graham.Hutton at nottingham.ac.uk Mon Mar 4 09:10:51 2024 From: Graham.Hutton at nottingham.ac.uk (Graham Hutton) Date: Mon, 4 Mar 2024 09:10:51 +0000 Subject: [Haskell] Midlands Graduate School (MGS) Message-ID: <456ADF99-5A0E-41DD-A141-50B4F3A76FDD@nottingham.ac.uk> Dear all, There are just a few days left now to register for this years Midlands Graduate School (MGS) in Leicester. Seven fantastic courses on category theory, proof theory, type theory, session types, and more. 8-12 April 2024, Leicester, UK. Registration closes Friday 8th March. Best wishes, Graham Hutton ========================================================== Midlands Graduate School 2024 8-12 April 2024, Leicester, UK https://www.cs.le.ac.uk/events/mgs2024/ BACKGROUND: The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry. We welcome participants from all over the world! COURSES: Seven courses will be given. Participants usually take all the introductory courses and choose additional options from the advanced courses depending on their interests. Guest lecture - Formalisation of Mathematics, Kevin Buzzard Introductory courses - Category Theory, Thorsten Altenkirch - Proof Theory, Abhishek De and Iris van der Giessen - Type Theory with Agda, Todd Ambridge Advanced courses - Session Types, Sonia Marin - Synthetic Homotopy Theory with HoTT/UF, Ulrik Buchholtz - Graph Rewriting, Reiko Heckel - Categorical Realisability, Tom de Jong REGISTRATION: Registration is £295 for students, and £550 for academic, industry and independent participants. The fee includes all lecture courses and example classes, lunch and coffee breaks, and the conference dinner. The registration deadline is ** Friday 8th March **. Spaces are limited, so please register early to secure your place. SPONSORSHIP: We offer a range of sponsorship opportunities for industry (bronze, silver, gold and platinum), each with specific benefits. Please see the website for further details. ========================================================== — 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. From paba at itu.dk Tue Mar 5 13:33:06 2024 From: paba at itu.dk (Patrick Bahr) Date: Tue, 5 Mar 2024 13:33:06 +0000 Subject: [Haskell] TYPES 2024: Call for Contributions - Deadline extension Message-ID: Call for Contributions -- Deadline Extension TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk ===============================[ NEWS ]============================== DATES ----- * Submission of abstract 11 March 2024 AoE **NEW** * Author notification 19 April 2024 AoE * Camera-ready version of abstract 10 May 2024 AoE * Conference 10 - 14 June 2024 ACCOMMODATION ------------- We have reserved a number of hotel rooms at reduced rates. Details at https://types2024.itu.dk/Venue.html ===================================================================== OVERVIEW -------- The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. CONTRIBUTED TALKS ----------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. POST-PROCEEDIGNS ---------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2024. PROGRAMME COMMITTEE ------------------- Patrick Bahr (IT University of Copenhagen, Denmark) (co-chair) Henning Basold (Leiden University, The Netherlands) Andrej Bauer (University of Ljubljana, Slovenia) Marco Carbone (IT University of Copenhagen, Denmark) Jesper Cockx (TU Delft, The Netherlands) Greta Coraglia (University of Milan, Italy) Peter Dybjer (Chalmers University of Technology, Sweden) Yannick Forster (INRIA, France) Hugo Herbelin (INRIA, France) Patricia Johann (Appalachian State University, USA) Marie Kerjean (CNRS, France) Ekaterina Komendantskaya (University of Southampton, United Kingdom) Meven Lennon-Bertrand (University of Cambridge, United Kingdom) Assia Mahboubi (INRIA, France) Sonia Marin (University of Birmingham, United Kingdom) Anders Mörtberg (Stockholm University, Sweden) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) (co-chair) Benjamin Pierce (University of Pennsylvania, USA) Jakob Rehof (Technical University of Dortmund, Germany) Simona Ronchi Della Rocca (University of Turin, Italy) Kristina Sojakova (Vrije Universiteit Amsterdam, The Netherlands) Ana Sokolova (University of Salzburg, Austria) Bas Spitters (Aarhus University, Denmark) Wouter Swierstra (Utrecht University, The Netherlands) Philip Wadler (University of Edinburgh, United Kingdom) TYPES STEERING COMMITTEE ------------------------ Sandra Alves (University of Porto, Portugal) Eduardo Hermo Reyes (Formal Vindications, Spain) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Paige Randall North (Utrecht University, The Netherlands) (chair) Matthieu Sozeau (INRIA & Université de Nantes, France) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2021, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023). CONTACT ------- Email: types2024 at easychair.org ORGANIZERS ---------- Patrick Bahr (IT University of Copenhagen, Denmark) Marco Carbone (IT University of Copenhagen, Denmark) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) From kbh at umn.edu Thu Mar 7 06:59:39 2024 From: kbh at umn.edu (Favonia) Date: Thu, 7 Mar 2024 00:59:39 -0600 Subject: [Haskell] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr) Message-ID: Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 201:5924 https://msfp-workshop.github.io/msfp2024/ ** Deadline: Friday 26th April (abstract), Tuesday 30th April (paper) ** The tenth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. MSFP 2024 will be held on Monday 8th July 2024 in Tallinn, Estonia in affiliation with FSCD (https://compose.ioc.ee/icalp2024/). Previous instances have been held in Munich (with ETAPS 2022), virtually (2020), in Oxford (with FLOC 2018), Eindhoven (with ETAPS 2016), Grenoble (ETAPS 2014), Tallinn (with ETAPS 2012), Baltimore (with ICFP 2010), Reykjavik (with ICALP 2008), and Kuressaare (with MPC and AMAST 2006). Important Dates: ================ Abstract deadline: Friday 26th April (AoE) Paper deadline: Tuesday 30th April (AoE) Notification: Tuesday 4th June (16:00 UTC) Final version: Tuesday 25th June (AoE) Workshop: Monday 8th July Invited Speakers: ================= TBA Programme Committee: ==================== Kazuyuki Asada - Tohoku University, JP Robert Atkey - University of Strathclyde, UK Ana Bove - Chalmers University of Technology, SE Liang-Ting Chen - Academia Sinica, TW Peng Fu - University of South Carolina, US Jeremy Gibbons - University of Oxford, UK (co-chair) Kuen-Bang Hou (Favonia) - University of Minnesota, UK (co-chair) Robin Kaarsgaard - University of Southern Denmark, DK Paul Blain Levy - University of Birmingham, UK Dan Marsden - University of Nottingham, UK Dylan McDermott - Reykjavik University, IS (more to follow) Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Favonia (kbh at umn.edu) and Jeremy Gibbons (jeremy.gibbons at cs.ox.ac.uk) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of at most 15 pages that will appear in the proceedings (published with EPTCS) and extended abstracts of at most two pages, which we will post on the website but do not constitute formal publications and will not appear in the proceedings. A short abstract should be submitted by four days in advance of the paper deadline (for both full paper and extended abstract submissions). For full details, see the webpage. We are using EasyChair to manage submissions: https://easychair.org/conferences/?conf=msfp2024 -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Mon Mar 11 15:27:59 2024 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Mon, 11 Mar 2024 23:27:59 +0800 Subject: [Haskell] ICFP 2024: Call for Tutorials Message-ID: ICFP 2024 CALL FOR TUTORIAL, PANEL, AND DISCUSSION PROPOSALS 29th ACM SIGPLAN International Conference on Functional Programming https://icfp24.sigplan.org/track/icfp-2024-tutorials September 2 - 7, 2024 Milan, Italy https://icfp24.sigplan.org/ The 29th ACM SIGPLAN International Conference on Functional Programming will be held in Milan, Italy on September 2 - 7, 2024, with the option of virtual participation. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for tutorials, lasting approximately 3 hours each, to be presented during ICFP and its co-located workshops and other events. The tutorials may target an audience who is interested in commercial uses of functional programming, but we also welcome tutorials whose primary audience is researchers rather than practitioners. Tutorials may focus either on a concrete technology or on a theoretical or mathematical tool. Ideally, tutorials will have a concrete result, such as "Learn to do X with Y" rather than "Learn language Y". Just like last year, following the success of the #ShutDownPL event, we are also inviting proposals for panels and discussions on topics of broader interest to the PL community. Tutorials, panels, and discussions may occur before or after ICFP, co-located with the associated workshops, on September 2 or September 6-7. ---------------------------------------------------------------------- Submission details Deadline for submission: May 24, 2024 Notification of acceptance: May 27, 2024 Prospective organizers of tutorials are invited to submit a completed tutorial proposal form in plain text format to the ICFP 2024 workshop co-chairs (Yannick Forster and Chandrakana Nandi), via email to yannick.forster at inria.fr and chandra at certora.com by May 24rd, 2024. Please note that this is a firm deadline. The proposal form is available at: http://www.icfpconference.org/icfp2024-files/icfp24-panel-form.txt http://www.icfpconference.org/icfp2024-files/icfp24-tutorials-form.txt ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2024 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Yannick Forster (Inria Nantes) Workshop Co-Chair: Chandrakana Nandi (Certora Inc.) General Chair: Marco Gaboardi (Boston University) Program Chair: Brigitte Pientka (McGill University) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Yannick Forster and Chandrakana Nandi), via email to yannick.forster at inria.fr and chandra at certora.com -------------- next part -------------- An HTML attachment was scrubbed... URL: From jgbm at acm.org Mon Mar 11 23:51:30 2024 From: jgbm at acm.org (J. Garrett Morris) Date: Mon, 11 Mar 2024 18:51:30 -0500 Subject: [Haskell] CFP: Haskell Symposium 2024 Message-ID: The ACM SIGPLAN Haskell Symposium 2024 will be co-located with the 2024 International Conference on Functional Programming (ICFP). The Haskell Symposium presents original research on Haskell, discusses practical experience and future development of the language, and promotes other forms of declarative programming. Topics of interest include: - *Language design,* with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; - *Theory,* such as formal semantics of the present language or future extensions, type systems, effects, metatheory, and foundations for program analysis and transformation; - *Implementations,* including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management, as well as foreign function and component interfaces; - *Libraries,* that demonstrate new ideas or techniques for functional programming in Haskell; - *Tools,* such as profilers, tracers, debuggers, preprocessors, and testing tools; - *Applications,* to scientific and symbolic computing, databases, multimedia, telecommunication, the web, and so forth; - *Functional Pearls,* being elegant and instructive programming examples; - *Experience Reports,* to document general practice and experience in education, industry, or other contexts; - *Tutorials,* to document how to use a particular language feature, programming technique, tool or library within the Haskell ecosystem; - *System Demonstrations,* based on running software rather than novel research results. Regular papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. *New this year*, talk proposals need not be full-length, and should report work in progress relevant to Haskell language design, theory, tools, or applications. Talk proposals will be evaluated by the PC for novelty and relevance to the Haskell community, but are not expected to include finished results. Talk proposals will not be distributed to attendees, but authors of talk proposals may provide links to materials to be included on the program. Experience reports and functional pearls need not necessarily report original academic research results. For example, they may instead report reusable programming idioms, elegant ways to approach a problem, or practical experience that will be useful to other users, implementers, or researchers. The key criterion for such a paper is that it makes a contribution from which other Haskellers can benefit. It is not enough simply to describe a standard solution to a standard programming problem, or report on experience where you used Haskell in the standard way and achieved the result you were expecting. Like an experience report and a functional pearl, tutorials should make a contribution from which other Haskellers can benefit. What distinguishes a tutorial is that its focus is on explaining an aspect of the Haskell language and/or ecosystem in a way that is generally useful to a Haskell audience. Tutorials for many such topics can be found online; the distinction here is that by writing it up for formal review it will be vetted by experts and formally published. System demonstrations should summarize the system capabilities that would be demonstrated. The proposals will be judged on whether the ensuing session is likely to be important and interesting to the Haskell community at large, whether on grounds academic or industrial, theoretical or practical, technical, social or artistic. Please contact the program chair with any questions about the relevance of a proposal. If your contribution is not a research paper, please mark the title of your experience report, functional pearl, tutorial or system demonstration as such, by supplying a subtitle (Talk Proposal, Experience Report, Functional Pearl, Tutorial Paper, System Demonstration). Submission Details Formatting Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Authors should use the acmart format, with the sigplan sub-format for ACM proceedings. For details, see: http://www.sigplan.org/Resources/Author/#acmart-format It is recommended to use the review option when submitting a paper; this option enables line numbers for easy reference in reviews. Talk proposals, functional pearls, experience reports, tutorials and demo proposals should be labelled clearly as such. Lightweight Double-blind Reviewing Haskell Symposium 2024 will use a lightweight double-blind reviewing process. To facilitate this, submitted papers must adhere to two rules: - Author names and institutions must be omitted, and - References to authors’ own related work should be in the third person (e.g., not “We build on our previous work” but rather "We build on the work of "). The purpose of this process is to help the reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult (e.g., important background references should not be omitted or anonymized). In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For instance, authors may post drafts of their papers on the web or give talks on their research ideas. A reviewer will learn the identity of the author(s) of a paper after a review is submitted. Page Limits The length of submissions should not exceed the following limits: - *Regular paper:* 12 pages - *Talk proposals:* 6 pages - *Functional pearl:* 12 pages - *Tutorial:* 12 pages - *Experience report:* 6 pages - *Demo proposal:* 2 pages There is no requirement that all pages are used. For example, a good talk proposal might be two pages, and a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against these page limits. Deadlines - *Paper submission:* 3 June 2024 (Mon) - *Notification:* 5 July 2024 (Fri) - *Camera-ready Deadline:* 18 July 2024 (Thu) Deadlines are end of day Anywhere on Earth (UTC-12) . Submission Submissions must adhere to SIGPLAN’s republication policy , and authors should be aware of ACM’s policies on plagiarism . Program Committee members are allowed to submit papers, but their papers will be held to a higher standard. The paper submission deadline and length limitations are firm. There will be no extensions, and papers violating the length limitations will be summarily rejected. Papers should be submitted through HotCRP at: https://haskell24.hotcrp.com/ Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. *Supplementary material:* Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. This supplementary material should not be submitted as part of the main document; instead, it should be uploaded as a separate PDF document or tarball. Supplementary material should be uploaded at submission time, not by providing a URL in the paper that points to an external repository. Authors can distinguish between anonymized and non-anonymized supplementary material. Anonymized supplementary material will be visible to reviewers immediately; non-anonymized supplementary material will be revealed to reviewers only after they have submitted their review of the paper and learned the identity of the author(s). *Resubmitted Papers:* authors who submit a revised version of a paper that has previously been rejected by another conference have the option to attach an annotated copy of the reviews of their previous submission(s), explaining how they have addressed these previous reviews in the present submission. If a reviewer identifies him/herself as a reviewer of this previous submission and wishes to see how his/her comments have been addressed, the conference chair will communicate to this reviewer the annotated copy of his/her previous review. Otherwise, no reviewer will read the annotated copies of the previous reviews. Proceedings Accepted papers will be included in the ACM Digital Library. Their authors will be required to choose one of the following options: - Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license (and, optionally, licenses the work with a Creative Commons license); - Author retains copyright of the work and grants ACM an exclusive permission-to-publish license; - Author transfers copyright of the work to ACM. For more information, please see ACM Copyright Policy and ACM Author Rights . Accepted proposals for system demonstrations will be posted on the symposium website but not formally published in the proceedings. *Publication date:* The official publication date of accepted papers is the date the proceedings 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. Artifacts Authors of accepted papers are encouraged to make auxiliary material (artifacts like source code, test data, etc.) available with their paper. They can opt to have these artifacts published alongside their paper in the ACM Digital Library (copyright of artifacts remains with the authors). If an accepted paper’s artifacts are made permanently available for retrieval in a publicly accessible archival repository like the ACM Digital Library, that paper qualifies for an Artifacts Available badge ( https://www.acm.org/publications/policies/artifact-review-badging#available). Applications for such a badge can be made after paper acceptance and will be reviewed by the PC chair. -------------- next part -------------- An HTML attachment was scrubbed... URL: From icfp.publicity at googlemail.com Wed Mar 13 14:57:24 2024 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Wed, 13 Mar 2024 22:57:24 +0800 Subject: [Haskell] FUNARCH 2024: Call for Papers Message-ID: Subject: Call for Papers: ACM Workshop on Functional Software Architecture ====================================================================== *** FUNARCH 2024 -- CALL FOR PAPERS *** Second ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large 6th September 2025, Milan, Italy Co-located with ICFP 2024 https://functional-architecture.org/events/funarch-2024/ ====================================================================== TIMELINE: Paper submission 3rd June 2024 Author notification 30th June 2024 Camera ready copy 18th July 2024 Workshop 6th Sept 2024 BACKGROUND: "Functional Software Architecture" refers to methods of construction and structure of large and long-lived software projects that are implemented in functional languages and released to real users, typically in industry. The goals for the workshop are: - To assemble a community interested in software architecture techniques and technologies specific to functional programming; - To identify, categorize, and document topics relevant to the field of functional software architecture; - To connect the functional programming community to the software architecture community to cross-pollinate between the two. The workshop follows on from the Functional Software Architecture open space that was held at ICFP 2022 in Slovenia. SCOPE: The workshop seeks submissions in a range of categories: - You're a member of the FP community and have thought about how to support programming in the large, for example by framing functional ideas in architectural terms or vice verse, comparing different languages in terms of their architectural capabilities, clarifying architectural roles played by formal methods, proof assistants and DSLs, or observing how functional concepts are used in other language and architecture communities. Great, submit a research paper! - You're a member of the architecture community, and have thought about how your discipline might help functional programmers, for example by applying domain-driven design, implementing hexagonal architecture, or designing self-contained systems. Excellent, submit a research paper! - You've worked on a large project using functional programming, and it's worked out well, or terribly, or a mix of both; bonus points for deriving architectural principles from your experience. Wonderful, submit an experience report! - You know a neat architectural idiom or pattern that may be useful to others developing large functional software systems. Fabulous, submit an architectural pearl! - You have something that doesn't fit the above categories, but that still relates to functional software architecture, such as something that can be written up, or that could be part of the workshop format like a panel debate or a fishbowl. Superb, submit to the open category! Research papers should explain their research contributions in both general and technical terms, identifying what has been accomplished, explaining why it is significant, and relating it to previous work, and to other languages where appropriate. Experience reports and architectural pearls need not necessarily report original research results. The key criterion for such papers is that they make a contribution from which others can benefit. It is not enough simply to describe a large software system, or to present ideas that are specific to a particular system. Open category submissions that are not intended for publication are not required to follow the formatting guidelines, and can submit in PDF, word or plain text format as preferred. Not knowing what kinds of submissions we will receive, we cannot be specific as to how they will be evaluated. However, submissions that seem likely to stimulate discussion around practices in functional architecture are encouraged. If you are unsure whether your contribution is suitable, or if you need any kind of help with your submission, please email the program chairs at . Papers must be submitted by 3rd June 2024 using the EasyChair submission page: https://easychair.org/my/conference?conf=funarch2024 Formatting: submissions intended for publication must be in PDF format and follow the ACM SIGPLAN style guidelines, using the acmart format and the sigplan sub-format. Please use the review option when submitting, as this enables line numbers for easy reference in reviews. For further details, see SIGPLAN's author information: http://www.sigplan.org/Resources/Author/#acmart-format If your submission is not a research paper, please mark this using a subtitle (Experience Report, Architectural Pearl, Open Category). Length: submissions must adhere to the limits specified below. However, there is no requirement or expectation that all pages are used, and authors are encouraged to strive for brevity. Research papers 5 to 12+ pages Architectural pearls 5 to 12 pages Experience reports 3 to 6 pages Open category 1 to 6 pages Publication: The proceedings of FUNARCH 2024 will be published in the ACM Digital Library, and authors of accepted papers are required to agree to one of the standard ACM licensing options. Accepted papers must be presented at the workshop by one of the authors, but in special cases we may consider remote presentation. 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. PROGRAM CHAIRS: Mike Sperber (Active Group, Germany) Perdita Stevens (University of Edinburgh, UK) PROGRAM COMMITTEE: Annette Bieniusa (University of Kaiserslautern) Jeffrey Young (IOG) Will Crichton (Brown University) Isabella Stilkerich (Schaeffler Technologies AG) Kiko Fernandez-Reyes (Ericsson) Ryan Scott (Galois) Satnam Singh (Groq) Facundo Dominguez (Tweag) Ilya Sergey (University of Singapore) Martin Elsman (University of Copenhagen) Benjamin Pierce (University of Pennsylvania) Matthew Flatt (University of Utah) Nada Amin (Harvard University) Richard Eisenberg (Jane Street) WORKSHOP VENUE: The workshop will be co-located with the ICFP 2024 conference at the Fiera Milano Congressi, Milan, Italy. -------------- next part -------------- An HTML attachment was scrubbed... URL: From l.t.vanbinsbergen at uva.nl Thu Mar 14 10:57:32 2024 From: l.t.vanbinsbergen at uva.nl (Thomas van Binsbergen) Date: Thu, 14 Mar 2024 10:57:32 +0000 Subject: [Haskell] PhD position: Software Verification for Programmable 6G Networks (University of Amsterdam, 31/3/2024) Message-ID: Hi all, The University of Amsterdam (UvA) is looking for a (fully funded) PhD candidate working on the intersection of Software Verification and Software Definable Networks. The position is suitable for a candidate with an interest in Programming Languages, Formal Methods, and Networking. The focus may depend on the candidate's interests and prior experiences. The project will involve a challenging combination of theory and practice and will be executed in the context of a broad (national) consortium lead by the UvA and containing industry leaders in networking systems. If not relevant to you, please considering forward this e-mail to anyone who may be interested. Vacancy link: PhD (Candidate) Software Verification for Programmable 6G Networks (uva.nl) Kind wishes, L. Thomas van Binsbergen Assistant Professor, University of Amsterdam ---- Software-defined and programmable networking is a key enabling technology to support 6G in achieving their promises of increased scalability and flexibility at a lower cost. Deep network programmability, that is the ability to program the network fabric both vertically (control and data plane) and horizontally (end to end), is expected to characterize the new generation of mobile networks (6G), currently under development, towards supporting extreme performance requirements and service-specific operations. The objective of the PhD project is to develop a framework consisting of a set of programming language methodologies and tools for the specification, verification and generation of software and configurations for programmable data planes. Making data-planes programmable (e.g., using the P4 language) enables unprecedented network flexibility, often at the cost of robustness and security. These challenges require domain-specific, formally verified, and empirically tested solutions that curtail the underlying complexity through the introduction of layers of abstraction. The candidate will contribute to the design and evolution of domain-specific languages, software verification techniques and programming environments that enable network operators to deploy verified programs with CI/CD pipelines for programmable data planes. To achieve this, the candidate will study, develop and apply programming language techniques such as static and runtime verification, formal specification, and language design, translation and implementation. The research is conducted within the scope of the Future Network Services (FNS - https://futurenetworkservices.nl/): the 6G flagship project for the Netherlands where 60 leading ICT businesses, mobile operators, semiconductor manufacturers and research institutions, have united to spearhead the development of specific aspects of 6G: Software antennas, AI-driven network software, and groundbreaking 6G applications. You will be embedded in the MNS group. The group focuses its research on the fundamental architectural problems that arise from the interconnection of systems and of data flows. We look at the emerging architectures that can support the operations of the future Internet. More information can be found at: https://mns-research.nl/. You will be collaborating closely with the CCI research group. The CCI group focuses on the complexity of man-made systems on all scales. The challenges of such systems are addressed by research into distributed data processing, programmable networks, policy reasoning and normative control, hardware and cryptographic security, and programming languages and software language engineering. More information can be found at: https://cci-research.nl/ What are you going to do? Tasks and responsibilities: * Evaluate and further develop of domain-specific languages for programmable data planes (such as P4) and formal verification techniques for network configurations, software and protocols; * develop and evaluate CI/CD environments and pipelines for deeply programmable networks, generating fast, correct, secure and debug-able network software; * empirically validate the proposed approaches by developing and demonstrating proof of concepts; * access a unique state-of-the-art testbed to also put theory to practice and be at the forefront of the Dutch 6G national ecosystem.; * become active in the research community and collaborate with other institutes and/or companies that are part of the project; * publish and present work regularly at international conferences, workshops, and journals; * assist in teaching activities (labs) and in supervising bachelor and master students. What do you have to offer? Your experience and profile: * Master's degree or equivalent program (completed or near completion: see below) in a relevant discipline, such as computer science, software engineering, security and network engineering; * excellent programming skills in a variety of languages, including functional languages; * familiarity with programming language techniques such as compilers and type systems; * prior experience with software verification is a plus, such as operational semantics, model checking, symbolic execution, and dependently typed programming; * prior experience in programmable networking technologies and domain-specific languages is a plus, especially languages such as eBPF and P4; * the willingness to be part of an international research team; * fluency in oral and written English and good presentation skills; * commitment to maintaining an inclusive, collaborative, diverse, supportive work environment. Our offer A temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation it will be extended for a total duration of 4 years). The preferred starting date is as soon as possible. This should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We also expect you to assist in teaching undergraduates and master students. The gross monthly salary, based on 38 hours per week and dependent on relevant experience, ranges between € 2,770 in the first year to € 3,539 in the last year (scale P). UvA additionally offers an extensive package of secondary benefits, including 8% holiday allowance and a year-end bonus of 8.3%. The UFO profile PhD Candidate is applicable. A favourable tax agreement, the ‘30% ruling’, may apply to non-Dutch applicants. The Collective Labour Agreement of Universities of the Netherlands is applicable. Besides the salary and a vibrant and challenging environment at Science Park we offer you multiple fringe benefits: * 232 holiday hours per year (based on fulltime) and extra holidays between Christmas and 1 January; * Multiple courses to follow from our Teaching and Learning Centre; * A complete educational program for PhD students; * Multiple courses on topics such as leadership for academic staff; * Multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses; * 7 weeks birth leave (partner leave) with 100% salary; * Partly paid parental leave; * The possibility to set up a workplace at home; * A pension at ABP for which UvA pays two third part of the contribution; * The possibility to follow courses to learn Dutch; * Help with housing for a studio or small apartment when you’re moving from abroad. Are you curious to read more about our extensive package of secondary employment benefits, take a look here. About us The University of Amsterdam (UvA) is the Netherlands' largest university, offering the widest range of academic programmes. At the UvA, 42,000 students, 6,000 staff members and 3,000 PhD candidates study and work in a diverse range of fields, connected by a culture of curiosity. The Faculty of Science (FNWI) has a student body of around 8,000, as well as 1,800 members of staff working in education, research or support services. Researchers and students at the Faculty of Science are fascinated by every aspect of how the world works, be it elementary particles, the birth of the universe or the functioning of the brain. The mission of the Informatics Institute (IvI) is to perform curiosity-driven and use-inspired fundamental research in Computer Science. The main research themes are Artificial Intelligence, Computational Science and Systems and Network Engineering. Our research involves complex information systems at large, with a focus on collaborative, data driven, computational and intelligent systems, all with a strong interactive component. The Complex Cyber Infrastructure (CCI) group (https://cci-research.nl) is part of the Informatics Institute at the University of Amsterdam. CCI focuses on the complexity of man-made systems on all scales. This scale can be small, like the devices that you carry with you, or the apps they are running, or the communication protocols these apps use to interact. It can be also comprehensive, as in large systems such as data centres or multi-domain networks. -------------- next part -------------- An HTML attachment was scrubbed... URL: From daniel.jurjo at imdea.org Fri Mar 15 09:36:18 2024 From: daniel.jurjo at imdea.org (Daniel Jurjo) Date: Fri, 15 Mar 2024 10:36:18 +0100 Subject: [Haskell] LOPSTR 2024 -- Call for Papers Message-ID: ** 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 Elvira Albert, Complutense University, Spain Roberto Amadini, University of Bologna, Italy Juliana Bowles, University of St Andrews, Scotland and SCCH, Austria Maribel Fernandez, Kings College London, England Fabio Fioravanti, University of Chieti-Pescara, Italy Didier Galmiche, University of Lorraine, France Robert Glück, University of Copenhagen, Denmark Gopal Gupta, University of Texas at Dallas, TX, USA Michael Hanus, Kiel University, Germany Bishoksan Kafle, IMDEA Software Institute, Spain Gabriele Keller, Utrecht University, Netherlands Maja Kirkeby, Roskilde University, Denmark Ekaterina Komendantskaya, University of Southampton, England Fred Mesnard, University of Reunion, France Koji Nakazawa, Nagoya University, Japan Pedro Lopez-Garcia, IMDEA Software Institute, Spain Harald Søndergaard, The University of Melbourne, Australia Theresa Swift, University Nova Lisbon, Portugal Laura Titolo, AMA, VA, USA Hans van Ditmarsch, CNRS Toulouse, France Wim Vanhoof, University of Namur, Belgium German Vidal, Polytechnical University of Valencia, Spain 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). -------------- next part -------------- An HTML attachment was scrubbed... URL: From koen at chalmers.se Tue Mar 19 09:37:55 2024 From: koen at chalmers.se (Koen Claessen) Date: Tue, 19 Mar 2024 10:37:55 +0100 Subject: [Haskell] Fwd: PhD positions at Chalmers (1 in FP supervised by Alex Gerdes and me) In-Reply-To: References: Message-ID: Dear all, I would like to ask for your help spreading this PhD position advertisement to potential candidates. At Chalmers University of Technology, we have *five fully funded general positions in Computer Science and Engineering* this year. The applicant can choose from a wide range of research topics and accompanying supervisors. The following page shows the details about the positions: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK One of the projects is titled: ‘*Using program synthesis to generate feedback for functional programming exercises*’ and is supervised by Alex Gerdes (and me as the co-supervisor). You can find more information about the project in the attached description. If you know students that are interested in functional programming, compiler construction, program synthesis, property-based testing and computer science in education, then please encourage them to apply! Chalmers is a fantastic place to work as a PhD student. Your help is greatly appreciated! /Koen Claessen -------------- next part -------------- An HTML attachment was scrubbed... URL: From w.s.swierstra at uu.nl Tue Mar 19 10:26:18 2024 From: w.s.swierstra at uu.nl (Wouter Swierstra) Date: Tue, 19 Mar 2024 11:26:18 +0100 Subject: [Haskell] Utrecht Summer School on Advanced Functional Programming Message-ID: <17476886-7329-4622-a01b-acf540e0f82f@uu.nl> # Call for Participation SUMMER SCHOOL ON ADVANCED FUNCTIONAL PROGRAMMING Utrecht, the Netherlands, 08 July – 12 July 2024 http://www.afp.school **Please register before June 1st ** ## 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. 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 will be held in Utrecht and consists of a mix of lectures, labs, and a busy social program. ## 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 1st, 2024** School: 08 July – 12 July 2024 ## COSTS 750 euro - Profession registration fee 250 euro - Student registration fee 200 euro - Housing fee We will charge a registration fee of 750 euros (or 250 euros for students) to cover our expenses. If this is problematic for you for any reason at all, please email the organisers and we can try to offer you a discounted rate or a fee waiver. We have a limited number of scholarships or discounts available for students that would not be able to attend otherwise, especially for women and under-represented minorities. ## FURTHER INFORMATION Further information, including instructions on how to register, is available on our website: http://www.afp.school From jgbm at acm.org Wed Mar 20 19:49:07 2024 From: jgbm at acm.org (J. Garrett Morris) Date: Wed, 20 Mar 2024 14:49:07 -0500 Subject: [Haskell] Postdoc positions on foundations of type classes and type families at the University of Iowa Message-ID: I am seeking applications for a post-doctoral scholar at the University of Iowa, starting in Summer of 2024. We study extensibility and modularity in high-level typed functional programming languages, particularly Haskell. The post-doctoral scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work may include formalizing the new approach in Agda, implementing it in GHC, and evaluating that implementation. Position A PhD in computer science or a closely related field, with a strong background in programming languages and logic, is required. The ideal candidate would also have: - Knowledge of and experience with Haskell programming, including the use of type classes and type families - Experience with mechanized theorem proving in Agda - Good English writing and speaking skills - Ability to work in a collaborative environment - A strong commitment to research excellence This is a one year position with a starting salary of $58,179, but may be extended for up to two additional years based upon performance and the continued availability of funding. The position will start in Summer 2024 (or as soon as possible thereafter), and will remain open until filled. To apply, or with questions about the position, please email Garrett Morris with your CV (including a list of publications), a brief letter explaining your suitability for the rule, and the names of at least two references. Computational Logic Center The post-doctoral scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and includes J. Garrett Morris (https://jgbm.github.io), Cesare Tinelli ( https://homepage.cs.uiowa.edu/~tinelli/), Katherine Kosaian ( https://sites.google.com/view/katherinekosaian), as well as several research scientists, post-doctoral scholars, and graduate student researchers. The scholar will have the opportunity to collaborate with other CLC members, as well as participating in joint seminars and other activities. -------------- next part -------------- An HTML attachment was scrubbed... URL: From alex.kavvos at bristol.ac.uk Thu Mar 21 11:40:42 2024 From: alex.kavvos at bristol.ac.uk (Alex Kavvos) Date: Thu, 21 Mar 2024 11:40:42 +0000 Subject: [Haskell] 14th Panhellenic Logic Symposium Message-ID: **The deadlines for the 14th Panhellenic Logic Symposium have now been extended.** We are happy to receive contributions on all aspects of logic in Computer Science. PLS14: THE FOURTEENTH PANHELLENIC LOGIC SYMPOSIUM July 01-05, 2024, Thessaloniki, Greece Organized by the Aristotle University of Thessaloniki http://panhellenic-logic-symposium.org/ Dedicated to the memory of Thanases Pheidas. Paper submission link: https://easychair.org/conferences/?conf=pls140 The Panhellenic Logic Symposium (PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. ===================================================================== IMPORTANT DATES - DEADLINES HAVE NOW BEEN EXTENDED * Deadline for submission Friday, April 5 2024 * Notification Monday, April 29 2024 * Final version due Wednesday, May 29 2024 ===================================================================== INVITED SPEAKERS - Aristotelis Panagiotopoulos, Kurt Gödel Research Center University of Vienna - Christina Vassilakopoulou, National Technical University of Athens - David Aspero, University of East Anglia [to be confirmed] - Isolde Adler, University of Bamberg - Matthias Aschenbrenner, University of Vienna - Paul Blain Levy, University of Birmingham - Yannick Forster, Inria TUTORIALS - Angeliki Koutsoukou-Argyraki, Royal Holloway University of London - Takayuki Kihara, Nagoya University ===================================================================== SPECIAL SESSIONS Logic and Philosophy: Higher-Order Logic - Bruno Jacinto, University of Lisbon - Cian Dorr, New York University - Gabriel Uzquiano, University of Southern California Special session in memory of Thanases Pheidas - Dimitra Chompitaki, University of Crete - Konstantinos Kartas, IMJ-PRG/Sorbonne Université - Lefteris Kirousis, University of Athens - Xavier Vidaux, University of Concepción [to be confirmed] ===================================================================== SUBMISSION GUIDELINES Research papers The Scientific Committee invites all researchers in the areas of the conference to submit their papers for presentation at PLS14. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Accepted papers will appear in an informal, electronic proceedings volume, which will be posted on the event's webpage. During the actual event, each accepted paper should be presented by at least one of its authors. Papers should be written in English, a maximum of 5 pages long, and prepared (in PDF format) using the EasyChair class style (easychair.org/publications/for_authors). Submissions will happen through EasyChair. Paper submission link: https://easychair.org/conferences/?conf=pls140 Poster session Graduate students and early-career researchers are invited to submit a short, 1-page abstract on preliminary work that may not be ready for a full talk yet. Those accepted will be able to present their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discuss the posters and provide feedback to the authors. Interested students and early-career researchers should submit their abstracts by Wednesday, 29 May 2024 Submissions will be accepted by email at the address pls14 at softlab.ntua.gr ===================================================================== GRANTS Students may apply for travel funds to the Association for Symbolic Logic (ASL), under the following provisions: a) the applicants are ASL members and b) the application is received three months prior to the start of the meeting. See https://aslonline.org/meetings/student-travel-awards/ for more details. Further travel grants will be provided for students and young researchers. Details will be uploaded on the conference webpage. ===================================================================== LIST OF TOPICS Areas of interest include (but are not limited to): - Computability theory - Model theory - Set theory - Proof theory - Categorical logic - Philosophical logic - Nonclassical and modal logics - Logic in Computer Science ===================================================================== COMMITTEES Program Committee Alex Kavvos, University of Bristol (chair) Alexandra Soskova, Sofia University Ana Sokolova, University of Salzburg Andrew Lewis-Pye, London School of Economics Antonis Achilleos, Reykjavik University Antonis Kakas, University of Cyprus Costas Dimitracopoulos, University of Athens Elli Anastasiadi, Uppsala University George Barmpalias, Chinese Academy of Sciences Konstantinos Tsaprounis, University of the Aegean Kostas Hatzikiriakou, University of Thessaly Pantelis Eleftheriou, University of Leeds Rizos Sklinos, University of Crete Vassilis Gregoriades, National Technical University of Athens (chair) Yannis Stephanou, University of Athens Organizing committee Ioannis Souldatos, University of Thessaloniki (chair) Nikolaos Papaspyrou, National Technical University of Athens Paraskevas Alvanos, University of Thessaloniki ===================================================================== CONTACTS General enquiries: pls14 at softlab.ntua.gr Alex Kavvos and Vassilis Gregoriades, Chairs of the Scientific Committee Ioannis Souldatos, Chair of the Organizing Committee ===================================================================== SPONSORS European Mathematical Society Foundation Compositio Mathematica Association for Symbolic Logic Aristotle University of Thessaloniki University of Bristol University of Cyprus … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/ … Alex Kavvos … Senior Lecturer in Programming Languages … School of Computer Science, University of Bristol, UK … https://seis.bristol.ac.uk/~tz20861/ From J.G.H.Cockx at tudelft.nl Mon Mar 25 13:44:45 2024 From: J.G.H.Cockx at tudelft.nl (Jesper Cockx) Date: Mon, 25 Mar 2024 13:44:45 +0000 Subject: [Haskell] TyDe 2024: First call for papers and extended abstracts Message-ID: ========================================================================= The Ninth International Workshop on TYPE-DRIVEN DEVELOPMENT Call for papers and extended abstracts Milan, Italy, 6 September 2024 https://icfp24.sigplan.org/home/tyde-2024 ========================================================================= 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. ### Important dates ### * Mon 27 May 2024 (AoE): Submission deadline for papers and extended abstracts * Wed 10 Jul 2024: Notification of acceptance * Wed 17 Jul 2024: Submission of camera-ready papers to ACM * Fri 6 Sep 2024: Workshop ### Proceedings and Copyright ### We will have formal proceedings for full-length papers, 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://tyde24.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/ From adbrucker at 0x5f.org Sat Mar 30 11:12:06 2024 From: adbrucker at 0x5f.org (Achim D. Brucker) Date: Sat, 30 Mar 2024 11:12:06 +0000 Subject: [Haskell] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18) Message-ID: Dear all, As part of a US funded project, we have an exciting opportunity for a PostDoc in the Security and Trust of Advanced Systems Group at the University of Exeter (UK) to work applying formal methods to enterprise systems: We will use formal methods (e.g., model checking, SMT solving, interactive theorem proving), to analyze business-process-driven (enterprise) systems (e.g., business logic and workflows described a BPMN models). A particular focus will be the analysis of complex compositions of workflows within one organization as well as across multiple organizations. In particular, we will develop novel techniques to detect faults and vulnerabilities (that can be exploited by both internal and external attackers) in complex business-process-driven systems, contributing to protecting critical workflows such as manufacturing or logistics. In such environments, attackers can exploit such faults and vulnerabilities to cause all kinds of harm such as direct financial losses or causing the production of safety or security critical products to stop. Overall, the project aims to develop automated techniques for assessing the risk of business process or workflows as well as finding and mitigating such attacks. This is a unique opportunity for somebody wanting to use/apply formal methods to the security of large enterprise systems. More information and application details can be found at: * Application deadline is the 18th of April 2024. Please contact me for more details. Best, Achim -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking