- Haskell - Haskell.org

1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
by Andrei Chis 29 Apr '24

29 Apr '24

------------------------------------------------------------------------ 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-25, 2024 Pasadena, California, United States http://www.sleconf.org/2024/ https://2024.splashcon.org/track/sle-2024 Follow us on X: https://x.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024. The conference will be hosted in Pasadena, California, United States on October 20-25, 2024. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Validation of Software Language Tools and Implementations - Verification and formal methods for language tools and implementations - Testing techniques for language tools and implementations - Simulation techniques for language tools and implementations * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Domain-Specific Approaches for Any Aspects of SLE (analysis, design, implementation, validation, maintenance) * Empirical Studies and Experience Reports of Tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and Emerging/Promising Research Areas - AI and ML language engineering (e.g., ML compiler testing, code classification) - Quantum language engineering (e.g., language design for quantum machines) - Language engineering for cyber-physical systems, IoT, digital twins, etc. - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. These papers can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2024 Website. --------------------------- Submission --------------------------- SLE 2024 has a single submission round for papers, including a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. Authors of accepted research papers will be invited to submit artifacts. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth (http://en.wikipedia.org/wiki/Anywhere_on_Earth) * Abstract Submissions: Fri 14 Jun, 2024 * Paper Submissions: Mon 24 Jun, 2024 * Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024 * Authors Notification: Fri 30 Aug 2024 * Conference: Sun 20 October - Fri 25 October 2024 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” (https://sigplan.org/Resources/Author/#acmart-format) please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle24.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism-overview) Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-particip…) If submissions are found to be violating this policy, they will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. For research papers, authors will get a chance to respond to the reviews before a final decision is made. --------------------------- Artifact Evaluation --------------------------- SLE will use an evaluation process to assess the quality of artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please see the Artifact Evaluation (https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation) page. --------------------------- Awards --------------------------- Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date 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. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted doctoral symposium papers on SLE topics will also have the chance to present their work to the SLE audience. --------------------------- Organisation --------------------------- Chairs: * General chair: Ralf Lämmel, Universität Koblenz, Germany * PC co-chair: Peter Mosses, Swansea University and Delft University of Technology, Netherlands * PC co-chair: Juliana Alves Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil * Publicity chair: Andrei Chis, feenk gmbh, Switzerland --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please get in touch with the program co-chairs (P.D.Mosses at tudelft.nl and Juliana at inf.puc-rio.br).

1 0

Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
by Favonia 26 Apr '24

26 Apr '24

This is a gentle reminder about the upcoming paper submission deadline for MSFP 2024: Tuesday 30th April, AoE. The original CFP did ask for abstracts in advance, but we will not insist on those: if you have a paper and have not registered an abstract, submit it anyway! Jeremy and Favonia * Tenth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 8th July 2024, Tallinn, Estonia A satellite workshop of FSCD 2024 https://msfp-workshop.github.io/msfp2024/ ** Deadline: Tuesday 30th April ** 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: ================ 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, US (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(a)umn.edu) and Jeremy Gibbons (jeremy.gibbons(a)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

1 0

Journal of Biomedical Informatics - Call for Papers: Special issue on learning from multiple data sources for decision making in health care
by Francesco Calimeri 25 Apr '24

25 Apr '24

[APOLOGIZE FOR MULTIPLE POSTINGS] = It's a pleasure to announce the OPEN special issue of the *Journal of Biomedical Informatics*, published by *ELSEVIER *(*ISSN: 1532-0480*) entitled: "*learning from multiple data sources for decision making in health care*". Deadline is *15 October, 2024*. For your convenience, some details are reported below; you can find the full call here, along with directions, here: https://www.sciencedirect.com/science/article/pii/S1532046424000637 Please forward this to your colleagues and collaborators, and anyone potentially interested; this issue is going to build a road towards one of the main goals of the HC@AIxIA working group, namely fostering an effective application of AI to medicine and the healthcare domain. Feel free to contact us at hc-aixia(a)googlegroups.com and visit https://aixia.it/en/gruppi/hc/ for further information about the group activities and initiatives. Sincerely, Francesco Calimeri, Mauro Dragoni, Fabio Stella Coordinators of the Working Group on Artificial Intelligence for Healthcare === === === === === === === === === Journal of Biomedical Informatics <https://www.sciencedirect.com/journal/journal-of-biomedical-informatics>Special issue on learning from multiple data sources for decision making in health care The increasing availability of digital data, along with recent developments in Artificial Intelligence, especially in the Machine Learning and Deep Learning fields, led the scientific community to debate whether data alone is sufficient for decision making and scientific exploration. We focus the attention on the healthcare domain, where peculiar issues affect data: indeed, data are usually collected under heterogeneous conditions (i.e., different populations, regimes, and sampling methods), suffer missingness – very often not at random – and their use is strongly constrained by privacy issues. In such a complex setting, this special issue challenges computer scientists to contribute to the above debate by designing and developing innovative methodological approaches, for solving complex decision-making problems in health care, leveraging on observational data. Topics of interest include, but are not limited to, the following with an emphasis on novel generalizable methods applied to the healthcare domain: - • Causal discovery from multiple data sets. - • Federated causal discovery. - • Causal discovery from heterogeneous data sets. - • Transportability of causal models and inference. - • Neuro-symbolic approaches to learn from heterogeneous data sources. - • Continual learning on streams from multiple data sources. - • Computational intelligent strategies to support causal inference. - • Edge computing for decision making in healthcare. - • Integrative AI methodologies. - • Distributed inference methods. - • Continual Learning. - • Knowledge Discovery and Integration. - • Combination of deductive approaches with ML models. - • Combination of ontologies and/or knowledge-bases with ML to support decision making. Peer Review Process: All submitted papers will undergo a rigorous peer-review process featuring at least two reviewers. All submissions should follow the guidelines for authors available at the Journal of Biomedical Informatics website ( http://www.elsevier.com/locate/yjbin) JBI’s editorial policy outlined on that page will be strictly enforced by special issue reviewers. Note that JBI emphasizes the publication of papers that introduce innovative and generalizable methods of interest to the informatics community. Specific applications can be described to motivate the methodology being introduced, but papers that focus solely on a specific application are not suitable. A few examples of papers focused on methods previously published in JBI include: Kyrimi, et al. [1] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0005>, Huang, et al. [2] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0010>, Kocbek et al. [3] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0015>, Houston et al. [4] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0020>, García Del Valle et al. [5] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0025>, Graudenzi et al. [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> and Sims et al. [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035>. In particular, the authors of [1] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0005> showed the relevance of causal models and expert knowledge to develop credible models, i.e., capable of achieving good predictive performances when transported from the study cohort to the target population. Furthermore, [2] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0010> tackles the relevant issue of partially overlapping variables when data are collected from multiple data sources. This problem is extremely relevant both in theoretical and practical terms for decision making in the healthcare sector. The contribution provided in [3] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0015> stressed the importance of working in a multi-source context by demonstrating how the linking of different repositories can improve the overall understanding of patients' conditions. Similarly, in [4] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0020> the authors extended this concept by introducing a methodology to evaluate to audit the data quality of the sources exploited by healthcare information systems. Then, in [5] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0025> the multi-source concept is transferred within the multi-modal environment and the authors surveyed the importance of considering different modalities to obtain a better disease understanding. The works in [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> and [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035> focuses on the importance of data. In [6] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0030> a data integration framework is defined for characterizing the metabolic deregulations that distinguish cancer phenotypes, by projecting RNA-seq data onto metabolic networks without the need for metabolic measurements; in [7] <https://www.sciencedirect.com/science/article/pii/S1532046424000637#b0035> a biomedical informatics method is introduced that uses multiple public health data sources to perform surveillance of methadone-related adverse drug events. Interestingly, even if patient data are not linked between different data sources, results show that the integration of multiple public data sources can capture more cases and provide more clinical details than individual data sources alone. Key requirements for JBI ML papers in addition to presenting novel methods (not simply application of existing methods to a new healthcare domain) are as follows: 1) projects must have clinicians involved in research question/problem formulation, defining input data, and assessing the results. 2) An explanation (with clinicians) of how the proposed method would fit into the clinical workflow is expected. It must be translational to practice. 3) Data sets should preferably be collected from hospitals after the research question was formulated, thus avoiding the use of available data (MIMIC) to define a very wide research problem that could potentially be answered with available open datasets (as an example: detecting if someone has COVID from Chest X-Rays would not be acceptable, as the gold standard test is the laboratory test). 4) As for explainability, SHAP values and related diagrams would not be enough: the paper should clearly describe and explain how clinicians use the visualization to make decisions. For further details please refer to https://www.sciencedirect.com/journal/journal-of-biomedical-informatics/pub… . Submission process: Authors must submit their paper via the online Elsevier Editorial System (EES) at http://ees.elsevier.com/jbi by October 15th, 2024. Authors can register and upload their text, tables, and figures as well as subsequent revisions through this website. Potential authors may contact the Publishing Services Coordinator in the journal’s editorial office ( jbi(a)elsevier.com <http://jbi%40elsevier.com/>) for questions regarding this process. When asked for the category of their submission, they should indicate that it is for the special issue on Learning from multiple data sources for decision making in health care.

1 0

APLAS 2024: 2nd Call for Papers
by Mirai Ikebuchi 19 Apr '24

19 Apr '24

2nd Call for Papers APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ <https://conf.researchr.org/home/aplas-2024/> APLAS 2024 aims to bring together programming language researchers, practitioners and implementors *worldwide*, to present and discuss the latest results and exchange ideas in all areas of programming languages and systems. APLAS 2024 is co-located with the 22nd International Symposium on Automated Technology for Verification and Analysis (ATVA). We solicit submissions in the form of regular research papers describing original scientific research results, including system development and case studies. Among others, solicited topics include: programming paradigms and styles; methods and tools to specify and reason about programs and languages; programming language foundations; methods and tools for implementation; concurrency and distribution; applications, case studies and emerging topics. Submissions should not exceed 17 pages, excluding bibliography, in the Springer LNCS format. The reviewing process is light double-blind, with a rebuttal phase to address factual errors and minor misunderstandings. Proceedings of APLAS 2024 will be published by Springer as part of Lecture Notes in Computer Science (LNCS). https://link.springer.com/conference/aplas <https://link.springer.com/conference/aplas> APLAS 2024 continues the tradition of the best paper award. Submission deadline: Fri May 24 Response period: Jul 24-26 Acceptance notification: Fri Aug 2 Camera-ready: Sat Aug 31 The submission website is now open: https://aplas24.hotcrp.com/ <https://aplas24.hotcrp.com/> General Chair: Jacques Garrigue (Nagoya U.) Publicity Chairs: Ryosuke Sato (Tokyo U.), Mirai Ikebuchi (Kyoto U.) Program Committee: Beniamino Accattoli (Inria & Ecole Polytechnique) Pierre-Evariste Dagand (IRIF / CNRS) Silvia Ghilezan (University of Novi Sad, Mathematical Institute SASA) Fritz Henglein (DIKU and Deon Digital) Mirai Ikebuchi (Kyoto University) Patrik Jansson (Chalmers University of Technology and University of Gothenburg) Oleg Kiselyov (Tohoku University, PC Chair) Hsiang-Shang ‘Josh’ Ko (Academia Sinica) Daan Leijen (Microsoft Research) Martin Lester (University of Reading) Fredrik Nordvall Forsberg (University of Strathclyde) Matija Pretnar (University of Ljubljana) Peter Schachte (The University of Melbourne) Sven-Bodo Scholz (Radboud University) Philipp Schuster (University of Tübingen) Taro Sekiyama (NII) Amir Shaikhha (University of Edinburgh) Pavle Subotic (Fantom Foundation) Yong Kiam Tan (Institute for Infocomm Research, A*STAR) Kazunori Ueda (Waseda University) Yuting Wang (Shanghai Jiao Tong University) Ki Yung Ahn (Hannam University)

1 0

TYPES 2024: Call for Participation
by Patrick Bahr 18 Apr '24

18 Apr '24

Call for Participation TYPES 2024 30th International Conference on Types for Proofs and Programs Copenhagen, Denmark, 10 - 14 June 2024 https://types2024.itu.dk REGISTRATION ------------ Registration is now open at https://types2024.itu.dk/Registration.html * Early registration until May 13 * Late registration until May 30 Students can register at a reduced fee. For details, see the above link. ACCOMMODATION ------------ We have reserved a number of hotel rooms at reduced rates. * Some rooms are only available until April 24! A small number of rooms may be available as late as May 24, but supply is limited after April 24. We therefore encourage participants to book these soon. More details at https://types2024.itu.dk/Venue.html INVITED SPEAKERS ---------------- * Brigitte Pientka (McGill University, Canada) * Egbert Rijke (University of Ljubljana, Slovenia) * Talia Ringer (University of Illinois at Urbana-Champaign, USA) There will also be a special session in memory of Peter Aczel, organised by Peter Dybjer. The session will consist of talks by * Nicola Gambino (University of Manchester, UK) * Michael Rathjen (University of Leeds, UK) BACKGROUND ---------- 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. 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(a)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)

1 0

Second CFP: Haskell Symposium 2024
by J. Garrett Morris 17 Apr '24

17 Apr '24

Friends, The obligatory first repetition of the 2024 Haskell Symposium CFP is below. *New this year, *in addition to full papers, the Haskell Symposium is also inviting talk proposals. Tell us about your exciting work in progress or upcoming results! /g -- 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) <https://www.timeanddate.com/time/zones/aoe>. Submission Submissions must adhere to SIGPLAN’s republication policy <http://sigplan.org/Resources/Policies/Republication/>, and authors should be aware of ACM’s policies on plagiarism <https://www.acm.org/publications/policies/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 <http://www.acm.org/publications/policies/copyright-policy> and ACM Author Rights <http://authors.acm.org/main.html>. 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.

1 0

LOPSTR 2024 - Call For Papers
by Daniel Jurjo 17 Apr '24

17 Apr '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 Elvira Albert, Complutense University of Madrid, 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, CSIC and IMDEA Software Institute, Spain Harald Søndergaard, The University of Melbourne, Australia Theresa Swift, University Nova Lisbon, Portugal Laura Titolo, AMA/NASA Research, VA, USA Hans van Ditmarsch, CNRS Toulouse, France Wim Vanhoof, University of Namur, Belgium German Vidal, Universitat Politecnica de 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)

1 0

HYDRA 2024 - Call for Papers
by Francesco Calimeri 09 Apr '24

09 Apr '24

Please circulate within your networks. Apologies for multiple postings. =============================================================================================================== 3rd International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning: HYDRA2024 Santiago de Compostela (Spain), October 19-24, 2024 https://sites.google.com/unical.it/hydra-2024/ CO-LOCATED with the 27th European Conference on Artificial Intelligence (ECAI 2024) =============================================================================================================== = CALL FOR PAPERS = The HYDRA workshop seeks to bridge the gap between deductive and inductive reasoning, which are two powerful but distinct methods in artificial intelligence. While deductive reasoning relies on explicit premises and logical inference rules to derive specific conclusions, inductive reasoning infers generalizations from observations, often with the help of Machine Learning and Deep Learning techniques. Combining these approaches paves the way for potentially creating more robust and flexible Artificial Intelligence (AI) systems that can reason effectively in various contexts. Nevertheless, neither deductive nor inductive reasoning methods can be considered the ultimate, comprehensive solutions to AI. Therefore, studying how they can be intertwined advantageously enables the development of new solutions that can take into account the peculiarities and strengths of the two methods. Within HYDRA, we welcome submissions of original research on all aspects of hybrid deductive-inductive reasoning, including theoretical frameworks, practical applications, and experimental results. We are interested in approaches that address key challenges in this area, such as developing methods for integrating logical and statistical models, designing algorithms that can reason with incomplete or uncertain knowledge, and creating tools for explaining and interpreting hybrid models. We also encourage work that investigates these technologies' ethical and social implications, including issues related to fairness, accountability, and transparency. The HYDRA workshop aims at bringing together the scientific community, and welcomes both theoretical and practical papers on frameworks, applications, and methods for integrating and combining deductive and inductive systems in different scenarios, to any extent. The workshop also welcomes summaries of recently published papers, as well as work-in-progress contributions. HYDRA returns from previous successful editions and welcomes further contributions. Possible topics of interest are, but are NOT limited to: * Hybrid inductive-deductive approaches to AI, * Interaction of inductive and deductive techniques for AI solutions, * Integration of Answer Set Programming (ASP) in inductive scenarios, * Integration of Constraint Programming (CSP) in inductive scenarios, * Integration of other logic programming paradigms in inductive scenarios, * Integration of declarative solutions in inductive scenarios, * Logic programming language extensions for supporting inductive processes, * New methods for coupling peculiarities of deductive and inductive systems, * Inductive reasoning to enhance and improve deductive systems, * Deductive processes for intensive data flow management, * Deductive processes in strong inductive-tailored scenarios, * Knowledge representation and reasoning for improving and enhancing inductive processing, * Discussions and positions on novel hybrid methods of deductive and inductive reasoning, * Evaluation and comparison of existing deductive and inductive methods, * Hybridizing logic programming paradigms with procedural approaches, * Novel contexts of application for hybrid deductive and inductive systems, * Coupling reasoning with Large Language Models, * Integrating reasoning in Retrieval-Augmented Generation. == SUBMISSION GUIDELINES == Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hydra2024. The workshop welcomes both full papers, possibly already submitted to other conferences or journals, and short papers, which are suggested for presenting work in progress, extended abstracts, software prototypes, or general overviews of research projects. The workshop also welcomes position and discussion papers. All submissions must be in PDF format, written in English, and formatted according to the LNCS format ( https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) Full papers should not exceed 13 pages (including bibliography); short, position, and discussion papers should not exceed 6 pages (including bibliography). To ease the reviewing process, the authors of full papers may add an appendix (although reviewers are not required to consider it in their evaluation). == PROCEEDINGS AND POST-PROCEEDINGS == All accepted original contributions (both full and short) are being considered for publication in the CCIS book series. If a sufficient number of high-quality papers are accepted, Chairs will consider the publication of a selection on an international journal special issue. However, should there be a limited number of accepted papers, the proceedings will be published on CEUR-WS.org. Non-original communications will be given visibility on the workshop website including a link to the original publication, if already published. == IMPORTANT DATES == Paper submission: 15 May 2024 Notification of acceptance: 1 July 2024 Camera-Ready copy due: 10 September 2024 Workshop starts: 19-24 October 2024 (TBD) = Committees = == General Chairs == * Francesco Calimeri, University of Calabria, Italy * Giorgio Terracina, University of Calabria, Italy == Program Chairs == * Pierangela Bruno, University of Calabria, Italy * Francesco Cauteruccio, University of Salerno, Italy == Publicity Chair == * Weronika T. Adrian, AGH University of Science and Technology (Poland) == Program Committee == TBD

1 0

IFL 2024: First call for papers
by Mart Lubbers 09 Apr '24

09 Apr '24

======================================================================= IFL 2024 36rd Symposium on Implementation and Application of Functional Languages venue: Radboud University Nijmegen, The Netherlands August 26 - 28 2024 https://ifl24.cs.ru.nl ======================================================================= ### Scope The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2024 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. ### Industrial track and topics of interest Topics of interest to IFL include, but are not limited to: - language concepts - type systems, type checking, type inferencing - compilation techniques - staged compilation - run-time function specialisation - run-time code generation - partial evaluation - (abstract) interpretation - meta-programming - generic programming - automatic program generation - array processing - concurrent/parallel programming - concurrent/parallel program execution - embedded systems - web applications - (embedded) domain specific languages - security - novel memory management techniques - run-time profiling performance measurements - debugging and tracing - virtual/abstract machine architectures - validation, verification of functional programs - tools and programming techniques ### Peer-review process Following IFL tradition, IFL 2024 will use a post-symposium review process to produce the formal proceedings. Before the symposium authors submit draft papers. These draft papers will be screened by the program chairs to make sure that they are within the scope of IFL. The draft papers will be made available to all participants at the symposium. Each draft paper is presented by one of the authors at the symposium. After the symposium, a formal review process will take place, conducted by the program committee. Reviewing is single blind. There will be at least 3 reviews per paper. The reviewers have 6 weeks to write their reviews. For the camera-ready version the authors can make minor revisions which are accepted without further reviewing. ### Important dates Submission deadline of draft papers August 4th, 2024 Notification of acceptance for presentation August 6th, 2024 Early registration deadline August 11th, 2024 Late registration deadline August 21th, 2024 IFL symposium August 26-28, 2024 Submission of papers for proceedings December 1st, 2024 Notification of acceptance February 2nd, 2025 Camera-ready version March 2nd, 2025 ### Submission details All contributions must be written in English. Papers must use the ACM two columns conference format, which can be found at: http://www.acm.org/publications/proceedings-template ### Peter Landin Prize The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honoured article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 Euros. ### Organisation PC Chairs: Mart Lubbers Radboud University, The Netherlands Local Chairs: Peter Achten Radboud University, The Netherlands Sven-Bodo Scholz, Radboud University, The Netherlands ### Program committee: t.b.d. ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl (under construction) ### Acknowledgments This call-for-papers is an adaptation and evolution of content from previous instances of IFL. We are grateful to prior organisers for their work, which is reused here.

1 0

PhD Studentship at VU Amsterdam
by Kristina Sojakova 05 Apr '24

05 Apr '24

Dear all, Klaus von Gleissenthall and I are looking for a PhD student to develop effective and scalable tools to guard against side-channel attacks. In hardware, an attacker can measure certain physical quantities such as the time elapsed or the power consumed during a computation to recover a surprising amount of secret information. Such attacks are easy to implement, difficult to detect, and powerful against strong encryption mechanisms. As part of the PhD research we will apply techniques from the analysis of cryptographic protocols and adapt them to the setting of hardware to design a novel verification framework for processors. Your duties will be to carry out research towards writing a PhD thesis at the department of Computer Science at the Vrije Universiteit in Amsterdam, collaborate with PhD students, postdocs and staff members within the department, and perform light supervision tasks (roughly 15% of your time), for instance supervising Master and/or Bachelor thesis projects. There will be opportunities to take courses for professional and personal development. We offer a salary of € 2.770,00 to € 3.539,00 gross per month in the fourth year for a full-time employment, a holiday leave entitlement of 232 hours per year, 8% holiday allowance and 8.3% end-of-year bonus, contribution to commuting expenses, optional model for designing a personalized benefits package, and a solid pension scheme (ABP). If you are interested, you can drop me a message. Best wishes, Kristina

1 0