From daniel.jurjo at imdea.org Thu Aug 1 09:37:18 2024 From: daniel.jurjo at imdea.org (Daniel Jurjo) Date: Thu, 1 Aug 2024 11:37:18 +0200 Subject: [Haskell] LOPSTR 2024 - Call for Participation Message-ID: <9EF5F4D4-FD34-414E-8170-D32FE99FE671@imdea.org> ** Apologies for multiple postings ** ------------------------------------------------------------------------------------------------ Call for Participation LOPSTR 2024 The 34th International Symposium on Logic-Based Program Synthesis and Transformation Milan, Italy, 9-10 September 2024 Co-located with PPDP 2024 as part of Formal Methods 2024 https://lopstr.github.io/2024 ------------------------------------------------------------------------------------------------ Registration is open for LOPSTR 2024! The 34th International Symposium on Logic-Based Program Synthesis and Transformation will be held at Politecnico Milano in Milan, Italy, co-located with PPDP 2024, TAP 2024, FACS 2024, FMICS 2024, and FM 2024. LOPSTR 2024 takes place September 9-10, 2024. LOPSTR aims to stimulate and promote research and collaboration on logic-based program development. LOPSTR is open to contributions in any language paradigm. It has a reputation for being a lively, friendly forum. REGISTRATION Registration to be completed through the FM registration pages; see instructions at: https://www.fm24.polimi.it/?page_id=559 INVITED SPEAKERS - Vitor Santos Costa Logic-Based Neural Networks - Ningning Xie Safe and Easy Compile-Time Generative Programming FULL PROGRAM See https://lopstr.github.io/2024/#program From calimeri at mat.unical.it Thu Aug 1 09:57:34 2024 From: calimeri at mat.unical.it (Francesco Calimeri) Date: Thu, 1 Aug 2024 11:57:34 +0200 Subject: [Haskell] Call for Papers: Third AIxIA Workshop on Artificial Intelligence For Healthcare - HC@AIxIA 2024 Message-ID: [Apologies for multiple postings] ================================================================== Third AIxIA Workshop on Artificial Intelligence For Healthcare HC at AIxIA 2024 November 25 - 28, 2024, Bolzano, Italy https://sites.google.com/unical.it/hcaixia2024 CO-LOCATED with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024) ( https://aixia2024.events.unibz.it/) JOINT event with the 5th Data4SmartHealth workshop (D4SH 2024) ( https://www.data4smarthealth.it/) ================================================================== = IMPORTANT DATES (tentative) = Abstract submission: September 17, 2024 Paper submission: September 24, 2024 Notification to authors: October 6-13, 2024 Camera-ready copy due: October 20, 2024 Main Workshop starts: November 25, 2024 (maybe subject to slight adjustments, please check the website regularly) Working Group meeting: Right after the workshop = Background = In recent years, we have witnessed the ubiquitous application of Artificial Intelligence in real-world domains; in particular, AI-based solutions significantly changed the game in medicine and healthcare in several respects (research, management, clinical practice). Indeed, applications of AI in the healthcare domain become a major research topic, that attracts cross-disciplinary research groups. Medicine and health care require highly complex decision-making to ensure that the trajectory a patient with a disease needs to take for diagnosis, treatment, recovery, and finally outcome is optimal in some sense. Consequently, researchers have to draw methods from the entire field of AI. On the other hand, healthcare and medicine are built upon a rich and evolving body of knowledge, e.g., concerning the pathophysiology of diseases, molecular, genetic, cytological, and histological characterization of stages of a disease, described by temporal and spatial patterns. Such knowledge can also act as background knowledge to guide machine learning. To move towards effective and long-lasting applications of AI in healthcare, it is crucial to elucidate the relationship between what can be expected from AI methods when applied to healthcare problems and the role knowledge of healthcare and clinical medicine can play in developing AI solutions to healthcare and clinical problems. = The Workshop = Following the success of the first two editions, the HC at AIxIA workshop aims at gathering researchers from academia, industry and medical centres to present and discuss the latest research results and ongoing works related to the application and impact of AI in the healthcare domain, to the larger extent, thus aiming at covering a wide spectrum of topics, including theoretical and practical aspects, methodologies, technologies, and systems. Topics include, ***but are not limited to***: - Machine learning methods, data mining and statistical methods for clinical decision support - Probabilistic graphical models for clinical decision-making and causal networks - Learning, representation and reasoning with time - Knowledge representation, reasoning and formal argumentation in healthcare - Methods for diagnosis, treatment selection, treatment planning, and prognosis - Monitoring patients in healthcare - Ontologies and medical vocabularies - Personalized medicine - Computer-interpretable clinical guidelines - Support for natural language generation/understanding in connection with electronic patient records - Tools for supporting authoring, execution and maintenance of clinical protocols and guidelines - Tools for building and deployment of clinical decision-support systems = Contributions = The workshop will feature presentations of refereed contributions; four types of submissions are invited: - full papers (min 10 and up to 15 pages plus references); - short papers (min 5 and up to 9 pages, including references): particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects; - systems or prototype software descriptions (min 5 and up to 9 pages, including references): must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment. Systems of both research and industrial character are welcome; - papers already submitted/published to other conferences or journals (no page restrictions), i.e., non-original works suitable for dissemination and opening discussion. Besides demos, some contributions might be invited to be presented as posters. = Submission Instructions = Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link: https://easychair.org/conferences/?conf=hcaixia2024 No page limit is set for non-original contributions. Manuscripts should be formatted using the CEUR-ART style available at the link: https://ceur-ws.org/HOWTOSUBMIT.html. To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation). All contributions must be written in English. For each accepted contribution, at least one of the authors is required to: - register to AIxIA 2024; - attend HC at AIxIA 2024 workshop and present the paper (each attendee should not present more than 2 works at the workshop). The event is organized by AIxIA. = Proceedings = All accepted original contributions (both full and short) 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. = Journal Special Issue = Workshop post-proceedings will be part of a special issue of an international journal (TBD), provided that a sufficient amount of quality papers is collected. In such cases, authors of accepted papers (including non-originals, if not published in a journal yet) will be invited to submit extended and revised versions of their papers. A review formal process will be run to meet the expected quality of a journal. = Working Group Meeting All authors of accepted papers are invited to participate in the annual meeting of the AI and Healthcare Working Group of AIxIA, which will be held right after the workshop. = Venue = The workshop will be held in Bolzano, Italy; the event is organized by AIxIA 2024 (aixia2024.events.unibz.it/). = Committees = See https://sites.google.com/unical.it/hcaixia2024/. = Contacts = All questions about submissions should be emailed to hc-aixia at googlegroups.com. -------------- next part -------------- An HTML attachment was scrubbed... URL: From ifl21.publicity at gmail.com Mon Aug 5 17:17:25 2024 From: ifl21.publicity at gmail.com (Mart Lubbers) Date: Mon, 5 Aug 2024 10:17:25 -0700 Subject: [Haskell] IFL 2024 Final call for papers, extended submission deadline. Message-ID: ======================================================================= 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 6th, 2024 EXTENDED Notification of acceptance for presentation August 6th, 2024 Registration deadline August 19th, 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 Submit your paper here: https://easychair.org/conferences/?conf=ifl20240 Register here: https://ifl24.cs.ru.nl/Registration Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info at acm.org. ### 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: Benoît Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA João Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### 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. From mir.ikbch at gmail.com Wed Aug 14 06:33:54 2024 From: mir.ikbch at gmail.com (Mirai Ikebuchi) Date: Wed, 14 Aug 2024 15:33:54 +0900 Subject: [Haskell] APLAS 2024 Call for Participation Message-ID: Call for Participation APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ Early Registration deadline: Sep 1 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). Keynotes Albert Cohen (Google) Naoki Kobayashi (University of Tokyo: Joint with ATVA 2024) Sukyoung Ryu (KAIST, South Korea) Research Paper Sessions (18 papers) Student Research Competition and Poster Session APLAS-NIER post-conference workshop (Oct 25, 2024) Accepted Papers: A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution Thi Thu Ha Doan, Peter Thiemann Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language Bohdan Liesnikov, Jesper Cockx Comparing semantic frameworks of dependently-sorted algebraic theories Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North Effective Search Space Pruning for Testing Deep Neural Networks Bala Rangaya, Eugene Sng, Minh-Thai Trinh Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura Explaining Explanations in Probabilistic Logic Programming German Vidal Extending the Quantitative Pattern-Matching Paradigm Sandra Alves, Delia Kesner, Miguel Ramos Generic Reasoning of the Locally Nameless Representation Yicheng Ni, Yuting Wang Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions Michael Hanus Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato Non-deterministic, probabilistic, and quantum effects through the lens of event structures Vitor Fernandes, Marc de Visme, Benoît Valiron OBRA: Oracle-based, relational, algorithmic type verification Lisa Vasilenko, Gilles Barthe, Niki Vazou On Computational Indistinguishability and Logical Relations Ugo Dal Lago, Zeinab Galal, Giulia Giusti Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi Quantum Programming Without the Quantum Physics Jun Inoue Random-access lists, from EE to FP Pierre-Evariste Dagand, Titouan Quennet Relative Completeness of Incorrectness Separation Logic Yeonseok Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Thu Aug 15 14:25:15 2024 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Thu, 15 Aug 2024 16:25:15 +0200 Subject: [Haskell] Call for Nominations: SLE 2024 - Artifact Evaluation Committee, Nominations Wanted Message-ID: 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-21, 2024 Pasadena, California, United States --------------------------- As part of the artifact evaluation process of SLE 2024, we are looking for additional members. If you know candidates that might be interested in being part of the Artifact Evaluation Committee, please nominate them. https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation http://www.sleconf.org/2024/ArtifactEvaluation We organize nominations using the following Google form. https://forms.gle/p3eB3572rQi7WdHYA We prioritize nominations done until the 31st of August. For additional information, clarification, or answers to questions, please get in touch with the artifact evaluation co-chairs. --------------------------- From ifl21.publicity at gmail.com Fri Aug 16 10:35:06 2024 From: ifl21.publicity at gmail.com (Mart Lubbers) Date: Fri, 16 Aug 2024 03:35:06 -0700 Subject: [Haskell] IFL 2024, final call for participation/registration Message-ID: ======================================================================= 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 6th, 2024 EXTENDED Notification of acceptance for presentation August 6th, 2024 Registration deadline August 19th, 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 Submit your paper here: https://easychair.org/conferences/?conf=ifl20240 Register here: https://ifl24.cs.ru.nl/Registration Important note to authors about the new ACM open access publishing model ACM has introduced a new open access publishing model for the International Conference Proceedings Series (ICPS). Authors based at institutions that are not yet part of the ACM Open program and do not qualify for a waiver will be required to pay an article processing charge (APC) to publish their ICPS article in the ACM Digital Library. To determine whether or not an APC will be applicable to your article, please follow the detailed guidance here: https://www.acm.org/publications/icps/author-guidance. Further information may be found on the ACM website, as follows: - Full details of the new ICPS publishing model: https://www.acm.org/publications/icps/faq - Full details of the ACM Open program: https://www.acm.org/publications/openaccess - Please direct all questions about the new model to icps-info at acm.org. ### 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: Benoît Montagu, University of Lorraine, Inria, France Christos Dimoulas, Northwestern University, USA Edsko de Vries, Well-typed, The Netherlands Fritz Henglein, University of Copenhagen, Denmark Ian Mackie, University of Sussex, UK Jason Hemann, Seton Hall University, USA João Saraiva, Universidade do Minho, Portugal Jurriaan Hage, Heriot-Watt University, UK Kenichi Asai, Ochanomizu University, Japan Maja Kirkeby, Roskilde University, Denmark Marco Morazán, Seton Hall University, USA Neil Mitchell, Facebook, UK Ralf Laemmel, University of Koblenz Landau, Germany Rinus Plasmeijer, TOP Software/Radboud University, The Netherlands Stephen Chang, UMass Boston, USA Tim Steenvoorden, Open University, The Netherlands Tom Schrijvers, KU Leuven, Belgium Yusuf Moosa Motara, Rhodes University, South Africa ### Venue IFL 2024 will be held physically in Nijmegen, the Netherlands. See the website for more information. https://ifl24.cs.ru.nl ### 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. From mir.ikbch at gmail.com Mon Aug 26 06:54:43 2024 From: mir.ikbch at gmail.com (Mirai Ikebuchi) Date: Mon, 26 Aug 2024 15:54:43 +0900 Subject: [Haskell] APLAS 2024 2nd Call for Participation Message-ID: 2nd Call for Participation APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems October 22-24, 2024, Kyoto, Japan https://conf.researchr.org/home/aplas-2024/ Early Registration deadline: Sep 1 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). Keynotes Albert Cohen (Google) Naoki Kobayashi (University of Tokyo: Joint with ATVA 2024) Sukyoung Ryu (KAIST, South Korea) Research Paper Sessions (18 papers) Student Research Competition and Poster Session APLAS-NIER post-conference workshop (Oct 25, 2024) Accepted Papers: A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution Thi Thu Ha Doan, Peter Thiemann Building A Correct-By-Construction Type Checker for a Dependently Typed Core Language Bohdan Liesnikov, Jesper Cockx Comparing semantic frameworks of dependently-sorted algebraic theories Benedikt Ahrens, Peter Lefanu Lumsdaine, Paige Randall North Effective Search Space Pruning for Testing Deep Neural Networks Bala Rangaya, Eugene Sng, Minh-Thai Trinh Efficiently Adapting Stateless Model Checking for C11/C++11 to Mixed-Size Accesses Shigeyuki Sato, Taiyo Mizuhashi, Genki Kimura, Kenjiro Taura Explaining Explanations in Probabilistic Logic Programming German Vidal Extending the Quantitative Pattern-Matching Paradigm Sandra Alves, Delia Kesner, Miguel Ramos Generic Reasoning of the Locally Nameless Representation Yicheng Ni, Yuting Wang Hybrid Verification of Declarative Programs with Arithmetic Non-Fail Conditions Michael Hanus Mode-based Reduction from Validity Checking of Fixpoint Logic Formulas to Test-Friendly Reachability Problem Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato Non-deterministic, probabilistic, and quantum effects through the lens of event structures Vitor Fernandes, Marc de Visme, Benoît Valiron OBRA: Oracle-based, relational, algorithmic type verification Lisa Vasilenko, Gilles Barthe, Niki Vazou On Computational Indistinguishability and Logical Relations Ugo Dal Lago, Zeinab Galal, Giulia Giusti Quantum Bisimilarity is a Congruence under Physically Admissible Schedulers Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi Quantum Programming Without the Quantum Physics Jun Inoue Random-access lists, from EE to FP Pierre-Evariste Dagand, Titouan Quennet Relative Completeness of Incorrectness Separation Logic Yeonseok Lee, Koji Nakazawa Type-Based Verification of Connectivity Constraints in Lattice Surgery Ryo Wakizaka, Atsushi Igarashi, Yasunari Suzuki -------------- next part -------------- An HTML attachment was scrubbed... URL: From pomarien at gmail.com Wed Aug 28 08:00:59 2024 From: pomarien at gmail.com (Samir ouchani) Date: Wed, 28 Aug 2024 08:00:59 +0000 Subject: [Haskell] [CRISIS 2024 - Final Deadline Extension] The 19th International Conference on Risks and Security of Internet and Systems Message-ID: CRiSIS 2024 : The 19th International Conference on Risks and Security of Internet and Systems November 26th - 28th, 2024 Aix-en-Provence, France https://crisis2024.univ-gustave-eiffel.fr New Deadlines Submission Deadline : September 09th, 2024 Notification of acceptance: October 08th, 2024 Camera Ready : October 15th, 2024 Article Collections the European Transport research review ( ETRR) Special Issues (1) NASA Springer Journal is beeing Considered (2) The second will be announced The 19th International Conference on Risks and Security of Internet and Systems (CRiSIS) in 2024 continues its tradition of addressing critical security challenges in Internet-connected applications, networks, and systems. The indispensability of the Internet for information exchange among diverse user groups and organizations has led to heightened risks around security and privacy. This vulnerability is exacerbated by the sophistication of online attacks, the proliferation of cybercrime, and the readily available tools for attackers, who are increasingly motivated and skilled. The advent of complex technologies, including pervasive computing, mobile, and wireless devices and networks, introduces new security challenges, necessitating the deployment of advanced security mechanisms and techniques. These advancements are crucial for protecting critical sectors such as energy, transportation, health, defense, banking, critical infrastructures, embedded systems and networks, avionics systems, and more, ensuring an acceptable level of security assurance. CRiSIS 2024 serves as an essential platform for stakeholders in computer and network security from the industrial, academic, and governmental sectors to convene, share insights, and showcase the latest developments in combating Internet-related security threats, vulnerabilities, and the necessary countermeasures to address them. GENERAL CHAIRS ============== - Frédéric Cuppens, Polytechnique Montreal, Canada. - Nora Cuppens, Polytechnique Montreal, Canada. - Jean-Paul Mizzi, Université Gustave Eiffel, France. - David Garcia, CESI Lineact, France. PROGRAM COMMITTEE CHAIRS ========================== - Simon Collart Dutilleul, Université Gustave Eiffel, France. - Samir Ouchani, CESI Lineact, France. ============================= Dr. Samir Ouchani, Ing., PhD., HDR. Research Director, CESI Lineact. Aix-en-Provence, France. -------------- next part -------------- An HTML attachment was scrubbed... URL: From mdmkolbe at gmail.com Thu Aug 29 04:39:59 2024 From: mdmkolbe at gmail.com (Michael D. Adams) Date: Thu, 29 Aug 2024 04:39:59 +0000 Subject: [Haskell] PhD and Post-Doc Positions Available in PL Message-ID: [Resending because the original failed to send. Apologies for any duplicates.] Hello, I am an assistant professor at NUS and have multiple PhD and post-doc positions available. I am launching an effort in the newly emerging paradigm of lattice/fixed-point oriented programming [1], but topics for these positions are negotiable. Paid internships prior to joining are also possible. My research broadly focuses on enabling programmers to write clear, concise and elegant code and doing so without sacrificing performance. This includes work on next-generation languages, compilers and optimization, domain specific and extensible languages, generic and meta-programming, duality, syntax and parsing, and static analysis/control-flow analysis. If you or someone you know might be interested in one of these positions, email me at "adamsmd AT nus.edu.sg" to arrange an informal video call. I will also be at ICFP 2023 all next week, so if you are there, please arrange to talk with me. About me and my research: - Homepage: https://michaeldadams.org/ - Research Goals: https://michaeldadams.org/vitae/research-statement.pdf - Papers: https://michaeldadams.org/papers/ [1] Lattice/Fixed-point oriented programming is an emerging programming paradigm that lets one write programs in terms of inference rules that climb a lattice. While that might sound like obscure theory, in practice, it greatly simplifies many complex algorithms in domains such as parsing, static analysis, type-checking, graph algorithms, and automata minimization. In fact, many classic algorithms such as Dijkstra's algorithm, CYK parsing, Hopcroft's automata minimization algorithm, and tree automata minimization can be expressed in only two or three executable lines of code. If you email me for more information on this, I can send you an unreleased white-paper that I am drafting on the topic. -- Michael D. Adams