- Haskell - Haskell.org

APLAS 2024: Final Call for Papers [Deadline extended till May 31]
by Mirai Ikebuchi 24 May '24

24 May '24

Final CFP: Deadline extended till May 31 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 31 (EXTENDED, firm) 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 (TUAT 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

PhD Positions at Chalmers University in Language-based Security
by Alejandro Russo 21 May '24

21 May '24

--------------------------------------------------------------------------------- 2 PhD positions on Language-based Security using Functional Languages at Chalmers University of Technology, Sweden Prof. Alejandro Russo (https://www.chalmers.se/en/persons/russo/) --------------------------------------------------------------------------------- Chalmers University of Technology is hiring: 2 PhD students in language-based security using functional languages * Important dates: June 6th 2024 * Expected starting date: preferably around September 2024 but negotiable. ---- - 1 PhD student in Language-based Security for Data Sharing Platforms ---- https://web103.reachmee.com/ext/I003/304/job?site=5&lang=UK&validator=a72ae… In the dynamic landscape of data-driven innovations, there is a pressing challenge of facilitating data sharing while safeguarding the security and privacy of shared information. This project, named SecureClean, aims to develop tools for constructing robust data aggregation and sharing platforms with verifiable privacy guarantees. The primary objective is to prevent data leakages and attacks on sensitive information during the data sharing process. SecureClean adopts a novel approach by integrating language-based type-safe, high-level functional programming models with trusted execution environments, choreographic programming, information-flow control, and differential privacy. The success of the project not only addresses current challenges faced by industries but also contributes to advancing technology and standards for secure and responsible data sharing. ---- - 1 PhD student in Language-based Security to support GDPR Compliance ---- https://web103.reachmee.com/ext/I003/304/job?site=5&lang=UK&validator=a72ae… To exploit the benefits of digital services, we are often obliged to share some of our personal data. The growing availability of large-scale personal data places the challenge of protecting privacy as a major one. The EU GDPR legislation created awareness of privacy issues and introduced regulatory constraints to protect citizens' data. Privacy legislation is not exclusive to Europe; e.g., the California Consumer Privacy Act became effective in 2020 and is broadly similar to GDPR. Unfortunately, existing technical solutions to comply with GDPR constitute best-effort countermeasures, and they are limited in scope and do not provide any security or privacy guarantee. This project, called EDA, will develop rigorously proven techniques to ensure that the propagation, storing, and disclosing of personal data are protected by a wide range of GDPR principles, namely purpose, the right to consent and withdrawal, transparency & auditing, processing control, data portability, data minimization, and non-identifiable disclosure. EDA's methodological novelty is to tackle many GDPR aspects with the same underlying approach: a novel fusion between language-based information-flow control and differential privacy. EDA will adopt functional programming languages as lingua franca and be mathematically proven to be immune to entire classes of attacks.

1 0

TyDe 2024: First call for papers and extended abstracts
by Jesper Cockx 21 May '24

21 May '24

========================================================================= 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/

1 1

FSEN 2025 - Call for Papers
by Bos, Petra van den (UT-EEMCS) 14 May '24

14 May '24

FIRST CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Marjan Sirjani, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025

1 0

[ANN] Cabal 3.12 released
by Francesco Ariis 08 May '24

08 May '24

Dear cafe, Cabal team is happy to announce the release of `Cabal` the library version `3.12.0.0` and the companion pre-release of `cabal-install` (the commandline tool; scroll down for more information). ## What is new? There are a number of new features in this release (`Cabal`) and pre-release (`cabal-install`), such as: - Add support for `asm`, `cmm`, and `js` sources in executable components. - Add `--haddock-output-dir` flag to `cabal haddock`. - Add `--semaphore` option to `./Setup build` interface. - Add `--promised-dependency` flag to `./Setup configure` interface. - Add the ability to `--ignore` specific checks to `cabal check`. - Add support for `GHC2024` language edition. - Add support for loading multiple components into one repl session (especially important for HLS users). - Add `cabal path` command. - Add support for authentication tokens for uploading to Hackage. - Allow more flags in the init section of config file. - Add `--semaphore` flag to enable interaction with GHC Job Server protocol. - Adds functionality for the `--offline` flag with the `build` command. - Improve solver rejections in brevity and accuracy. There is much more: for a detailed list of enhancements, changes, and bugfixes, please check the Cabal-3.12.0.0 changelog [1] (and the cabal-install 3.12.0.0-prerelease changelog [2]. [1] https://github.com/haskell/cabal/blob/master/release-notes/Cabal-3.12.0.0.md [2] https://github.com/haskell/cabal/blob/master/release-notes/WIP-cabal-instal… ## Authors and contributors Cabal is a collaborative effort; these people contributed with code to this release: aleeusgr Adam Gundry Andrea Bedini Andreas Abel Andreas Klebinger Arjun Kathuria Artem Pelenitsyn BasLaa Bas Laarakker Ben Gamari Bodigrim Brandon Chinn Brandon S. Allbery Bryan Richter Colton Clemmer Csaba Hruska cydparser Daniel Trstenjak David Binder David Christiansen Edwin Marshall Elodie Lander Erik de Castro Lopo Felix Yan Fendor Finley Francesco Ariis Francesco Gazzetta Fraser Tweedale Gershom Bazerman Hamish Mackenzie Hécate Moonlight Ikko Eltociear Ashimine Jana Chadt Javier Sagredo Jean-Paul Calderone Jens Petersen Jessica Hamilton John Paul Adrian Glaubitz Josh Meredith Julia Longtin Julian Ospald Kazuki Okamoto Kleidukos Kristen Kozak Krzysztof Gogolewski liamzee Liisi Kerik Lin Runze malteneuss Malte Neuss Marcin Szamotulski Matthew Pickering Mel Zuser Michael Peyton Jones Mike Pilgrem Mikolaj Konarski mixphix Oleg Grenrus Ondřej Šebek Patrick Augusto Patrick Dougherty Phil de Joux Pierre Le Marre Rebecca Turner Rodrigo Mesquita Ryan Scott Samuel Thibault Sander Sebastian Tee Sergey Vinokurov Shae Erisson sheaf Simon Hengel Siyuan Chen Sören Tempel Suganya Raju Sylvain Henry Taylor Fausak Teo Camarasu Tom Ellis Tom Smeding Torsten Schmits Tristan Cacqueray Troels Henriksen Wismill Yvan Sraka The release could not be done without the help of the manual QA team and devops people, we thank them both. Thanks also to the many users who provided bug reports and suggestions for improvements. A special mention to Hécate, who recently stepped down from Cabal release coordination and left the process in a better, more organised shape than what was before. ## How to get the `cabal-install` pre-release This release is a Cabal-the-library release, but if you want to test the new features of `cabal-install`, you can download the pre-release of the commandline tool via GHCup. Use one of the following commands, depending on your OS: ghcup --no-cache install cabal -u 'https://gitlab.haskell.org/haskell/cabal/-/jobs/1848320/artifacts/raw/out/c…' 3.12.0.0-prerelease ghcup --no-cache install cabal -u 'https://gitlab.haskell.org/haskell/cabal/-/jobs/1848326/artifacts/raw/out/c…' 3.12.0.0-prerelease ghcup --no-cache install cabal -u 'https://gitlab.haskell.org/haskell/cabal/-/jobs/1848327/artifacts/raw/out/c…' 3.12.0.0-prerelease or an analogous command for any other of the artifacts produced by the [pre-release pipeline](https://gitlab.haskell.org/haskell/cabal/-/pipelines/93759). ## How to help? Cabal is a complex piece of software running on many different machine. Two easy ways to help the development team producing quality releases are: - Join the manual QA team - Test nightly binary `cabal-install` snapshots and pre-releases (such as the 3.12.0.0 pre-release mentioned above) and report any problem you find. [3] https://discourse.haskell.org/t/manual-qa-for-cabal-install/6225

1 0

LOPSTR 2024 - Deadline Extended to May 19th
by Daniel Jurjo 07 May '24

07 May '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 15, 2024 (AoE) - Paper submission: May 19, 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

Types 2024, second call for participation
by Patrick Bahr 07 May '24

07 May '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 Hotel rooms are selling out fast in Copenhagen due to another big event. We encourage participants to reserve rooms now. 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. * Most of the rooms are only available until May 9! A small number of rooms may be available as late as May 24, but supply is limited after May 9. 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

International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024), Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

Call for papers ************************************************* International Conference on Artificial Intelligence and Quantum Computing (BAIQC 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] All papers accepted in BAIQC 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission deadline: June 10, 2024 - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The BAIQC 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) [ https://confscience.com/air/ | https://confscience.com/air/ ] The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Foundations and Theories - Quantum Computing architecture - Quantum Mechanics Fundamentals for Computing - Quantum Gates and Circuits - Quantum Algorithms - Quantum Error Correction - Quantum Hardware Architectures - Quantum Software Development - Quantum Complexity Theory - Quantum Speedup and Limitations - Quantum Entanglement and Superposition - Quantum Annealing - Quantum Cryptography Basics - Quantum Information Processing - Quantum Compilation Techniques - Quantum languages - QC Simulation Track 2: Integration of AI and QC - Machine Learning Applications in QC - Data Analytics for Quantum Information Processing - Hybrid Quantum-Classical Algorithms - Quantum-enhanced Machine Learning Models - Quantum Data Preprocessing - QC for Big Data Analytics - Quantum-inspired Classical Algorithms - Quantum Machine Learning - Quantum-enhanced Optimization - Quantum Simulation in AI Research - Quantum Machine Learning Interpretability - Quantum-enhanced Data Clustering - Quantum Data Privacy and Security - Quantum-enhanced Feature Selection - Quantum Reinforcement Learning - QC and NLP Track 3: Quantum Information Science - Quantum Information Theory - AI-Enhanced Quantum Communication Protocols - Quantum Key Distribution - Quantum Teleportation and Data Analytics - Quantum Networking - Enhancing Precision with Data-Driven Techniques - Quantum Sensing Techniques - Quantum State Tomography - Quantum Channel Capacity Optimization - Quantum Error Correction - Quantum Data-Driven Approaches - AI algorithms for Quantum Information Retrieval - Quantum Internet - Data-driven Self-regulating Systems Track 4: Quantum Security - Post-Quantum Cryptography - Quantum-resistant Algorithms - Quantum-safe Communication Infrastructures - Secure Quantum Key Exchange - Quantum-resistant Hash Functions - Quantum-resistant Signature Schemes - Quantum Cybersecurity Threats - Quantum-Secure Cloud Computing - Quantum-resistant Blockchain Technologies - Secure Quantum Communication Networks - Quantum-resistant Authentication - Quantum-resistant Access Control - Quantum Security Standards - Quantum-resistant Digital Signatures - Quantum-resistant Public-Key Cryptography Track 5: Applications and Technologies - Quantum-enhanced Sensing Technologies - QC for Chemistry and Material Science - QC in Finance - QC in Healthcare - Quantum-enhanced Imaging Technologies - Quantum-enhanced AI Applications - Quantum Robotics and Automation - Quantum-enhanced Supply Chain Optimization - QC in Energy - Quantum applications for Environmental Science - QC in Space Exploration - Quantum-enhanced Weather Prediction - QC for Traffic Optimization - QC for Smart Cities - Quantum-enhanced Satellite Communication - Quantum-enhanced Cyber-Physical Systems *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=baiqc2024 | https://easychair.org/my/conference?conf=baiqc2024 ] ). All papers will be peer reviewed. Lenght of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] *************************************************************************** CONTACT For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0

International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024), Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

Call for papers ************************************************* International Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/isih/ | https://confscience.com/isih/ ] All papers accepted in ISIH 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission deadline: June 10, 2024 - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The ISIH 2024 conference will be held in Conjunction with: The International Conference on Artificial Intelligence Revolutions (AIR 2024) [ https://confscience.com/air/ | https://confscience.com/air/ ] The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - AI methods for medical device testing - Predicting and monitoring infectious disease - Machine learning for healthcare - Medical data and image analysis - Data quality assessment and improvement - Electronic medical records analysis - Deep Learning for healthcare - Screening and diagnosis - Explainable AI for healthcare - Multiagent systems for healthcare - AI-based simulations - Bio-inspired solutions for healthcare - Smart healthcare - Medical edge computing Track 2: Innovation and Connectivity - Remote healthcare management - Emergent healthcare infrastructure - Industry Revolution 4.0 for healthcare - Emergent communication technologies - IoT-based disease surveillance - Prevention and detection systems - Rehabilitation technologies - Wearable health informatics - 5G for healthcare - Healthcare supply chain and logistics - Telemedicine and Mobile systems - Drones and robots for healthcare - Internet of Medical Things - Medical embedded systems - Network and services virtualization - Nanoscale healthcare Track 3: Human Computer Interaction - Human-Machine Interaction - Methods for inputting data for e-health - Models for human-device interaction - Model-based design and configuration tools - New experimental validation methods - Standardization, certification, and labeling - Communication and interoperability - Regulation compliant services (e.g., HIPAA) - Socio-economic issues - Feedback integration - Accessibility - Personalization and patient experience - Augmented/Virtual Reality solutions - Voice recognition - Enhanced Living Environment (ELE) Track 4: Sustainable Healthcare - Green healthcare facilities - Renewable energy integration in healthcare - Waste reduction and recycling - Sustainable supply chain management - Eco-friendly medical equipment and devices - Sustainable health practices - Educational initiatives - AI approaches for sustainable healthcare - Innovations for sustainable healthcare - AI approaches for global health equity - Quality of Service - Quality of Experience Track 5: Applications and Trends - Network and services virtualization - Software-Defined Networking (SDN) - Bioinformatics - Clinical Decision Support Systems - Interoperability for personal Health systems - Medical imaging - Evidence-based medicine - Blockchain applications - Smart health and big data - Health Information exchange solutions - Medical and patient scheduling software - Medication administration systems - Healthcare information systems - Integration and interoperability - Medical records - Clinical reporting systems - eHealth services - Robotics and Automation in Healthcare - Augmented and Virtual Reality in Healthcare Track 6: Ethics and Security - Ethics in AI-assisted diagnostics - Patient consent and data privacy - Bias and fairness in AI algorithms - Transparency in AI Decision-Making - Doctor-patient trust and communication - Security concerns in AI-enabled healthcare - AI healthcare technologies and equity - AI-generated medical insights - Innovation and patient privacy rights - Predictive modeling and informed consent - Social implications of AI in healthcare - Ethics in AI-enhanced patient treatment - Patient empowerment - Ethics in AI-integrated medical research - Data Security and Protection - Cybersecurity in healthcare *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=isih2024 | https://easychair.org/my/conference?conf=isih2024 ] ). All papers will be peer reviewed. Lenght of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** CONTACT For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0

International Conference on Artificial Intelligence Revolutions (AIR 2024) - Roanne, France, October 30-31, 2024
by Oumaima Boulkhoukh 30 Apr '24

30 Apr '24

Call for papers ************************************************* International Conference on Artificial Intelligence Revolutions (AIR 2024) Roanne, France, October 30-31, 2024 [ https://confscience.com/air/ | https://confscience.com/air/ ] All papers accepted in AIR 2024 will be submitted for inclusion into IEEE Xplore, IEEE Computer Society Digital Library, Scopus, EI’s Engineering Information Index, Compendex, ISI Thomson’s Scientific, ISTP/ISI Proceedings, etc. *************************************************************************** IMPORTANT DATES: - Paper Submission deadline: June 10, 2024 - Acceptance Notification: September 1, 2024 - Final Manuscript Due: October 1, 2024 *************************************************************************** The AIR 2024 conference will be held in Conjunction with: The International Conference on Borderless Artificial Intelligence and Quantum Computing (BAIQC 2024) [ https://confscience.com/baiqc/ | https://confscience.com/baiqc/ ] The International Conference on Intelligence, Sustainability, and Innovation in Healthcare (ISIH 2024) [ https://confscience.com/isih/ | https://confscience.com/isih/ ] *************************************************************************** TOPICS: Authors are invited to submit their original papers to address the topics of the conference, including but not limited to: Track 1: Fundamental and Theories - Theoretical Advances in AI Algorithms - Machine Learning - Neural Networks and Deep Learning - Multi-Agent Systems - Statistical Learning and Probability in AI - Natural Language Processing (NLP) Theories - Symbolic AI and Knowledge Representation - Explainable AI (XAI) - Generative AI - Cognitive Architectures - Reinforcement Learning Theories - Protocols and Communication - Collaborative Environments - Multi-user and Distributed Systems - AI and Digital Transformation - Computer Vision - Simulation and Virtual Environments - AI in Design Thinking and Creativity - AI-driven Innovation Models Track 2: AI and Sustainability - Circular Economy and AI - Eco-friendly AI Hardware Design - Green Computing: Sustainable Data Centers - Biodiversity Monitoring with AI - AI for Clean Energy Grids - Sustainable Transportation Solutions - Water Resource Management with AI - Renewable Energy Forecasting with AI - Carbon Footprint Reduction Strategies - Smart Buildings and Energy Efficiency - Waste Sorting and Recycling Automation - Sustainable Manufacturing with AI - Eco-conscious Consumer Behavior Analysis - Climate Data Analytics - Natural Disaster Preparedness and Response - Ocean Conservation with AI - Urban Green Spaces Planning - AI-driven Pollution Monitoring - Sustainable Tourism with AI - E-waste Recycling Innovation - AI and energy Track 3: AI Transformative Applications - Algorithmic Trading and Market Predictions - AI for Financial Inclusion - AI for marine applications - AI in Public Health Management - Predictive Analytics in Epidemiology - Smart Infrastructure in Urban Development - Precision Agriculture and AI - AI-based Disaster Response and Recovery - AI-driven Climate Resilient Infrastructure - Smart Traffic Management with AI - Blockchain in Agriculture Supply Chains - AI for Earthquake Prediction - Smart Grids and AI for Energy Distribution - Autonomous Vehicles Track 4: AI for Drones and UAS - Sustainable Drone Fleet Management - AI-powered Urban Air Mobility Solutions - Innovative Air Traffic Flow Optimization - AI-driven Weather Resilience in Air Traffic - Eco-conscious Drone Traffic Control - Sustainable Communication Networks - AI Drone-based Surveillance - Ethical AI in Emergency Response for Drones - AI for Precision Agriculture Sustainability - Human-Drone Collaboration - Sustainable AI-enhanced Search and Rescue - Sustainable Drone Operations - Responsible Innovation for Air Traffic Safety - AI-driven Noise Reduction - Autonomous Space Probes Track 5: AI and Education - AI and student innovation - Adaptive Learning Platforms - Personalized Tutoring with AI - Smart Classrooms and AI Integration - Automated Grading and Assessment - Virtual Reality (VR) and AI in Education - AI for Learning Disabilities - Gamification and AI - Predictive Analytics in Education - Ethical Considerations in AI Education - AI-Enhanced Content Creation - Chatbots and Virtual Assistants for Students - AI for Early Childhood Education - Language Learning with AI - AI and Educational Research Measuring - Educational Outcomes with AI - Education Accessibility with AI - Responsible AI Education and Training Track 6: Responsible AI - Fairness and Bias Mitigation in AI Algorithms - Responsible AI Governance and Regulation - Privacy-preserving AI Technologies - Ethical Considerations in AI Decision-making - Trustworthy AI: Building User Confidence - AI for Social Justice and Inclusion - Combating AI-generated Misinformation - AI-driven Cybersecurity Threat Intelligence - Secure AI Deployment - AI Accountability and Liability - Human Rights and AI - Algorithmic Transparency and Accountability - AI in Law and Legal Ethics - Bias Detection and Mitigation Tools - Cross-cultural Ethics in AI - Digital Ethics in Virtual Environments - Algorithmic Accountability in Criminal Justice - Responsible Data Management in AI *************************************************************************** OUTSTANDING PAPERS: Based on the peer review scores as well as the presentations at the conference, the authors of outstanding papers will be invited to extend their works for a potential publication in journals special issues with high impact factors. *************************************************************************** PAPER SUBMISSION: Papers must be submitted electronically as PDF files via easychair ( [ https://easychair.org/my/conference?conf=air2024 | https://easychair.org/my/conference?conf=air2024 ] ). All papers will be peer reviewed. Lenght of Full papers: 6-8 pages long (written in the IEEE 2-column conference style) For more information, please refer to the conference website: [ https://confscience.com/air/ | https://confscience.com/air/ ] *************************************************************************** CONTACT For more information, please send an email to ( ahmed.nait(a)univ-st-etienne.fr ) and ( nafaa.jabeur(a)gutech.edu.om )

1 0