From icfp.publicity at googlemail.com Thu Jul 3 13:14:58 2025 From: icfp.publicity at googlemail.com (ICFP Publicity) Date: Thu, 3 Jul 2025 09:14:58 -0400 Subject: [Haskell] ICFP/SPLASH 2025: call for volunteers Message-ID: ICFP/SPLASH 2025 are looking for volunteers to help with the organization and smooth running of the conference. In exchange, volunteers receive: - Free conference registration (including banquet) - Free lunches and refreshments during breaks - Volunteer shirt - Admission to all social events *Note: Travel and accommodation are not covered.* *Who can apply? *Anyone can apply. Priority will be given to junior members of the community, such as students in computer science or related fields. *Availability. *Volunteers must be available for at least five (5) full days between October 12–18, 2025, and should be ready to help with various tasks during that period. Some pre-conference coordination and training may be required. We welcome both virtual and in-person volunteers from all time zones. *Apply here: *https://tinyurl.com/splashifcp25-sv-application *More details: * https://conf.researchr.org/track/icfp-splash-2025/icfp-splash-2025-volunteers -------------- next part -------------- An HTML attachment was scrubbed... URL: From ouadie.khebbeb.tmp at gmail.com Mon Jul 7 13:41:28 2025 From: ouadie.khebbeb.tmp at gmail.com (Ouadie Khebbeb) Date: Mon, 7 Jul 2025 15:41:28 +0200 Subject: [Haskell] DataMod 2025 - First Call for Papers Message-ID: DataMod 2025 - 13th International Symposium "From Data to Models and Back" Toledo, Spain, 10-11 November 2025 Website: https://datamod-symposium.github.io/DataMod-2025/ DataMod 2025 is a satellite event of the 23rd International Conference of Software Engineering and Formal Methods (SEFM 2025): https://sefm-conference.github.io/2025/ -------------------------------------------------------------------------------- Abstract submission deadline (optional): 22 August 2025 Paper submission deadline: 29 August 2025 -------------------------------------------------------------------------------- CONTEXT & OBJECTIVES DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data. Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome. Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated. TOPICS Modelling and analysis methodologies include: - Agent-based Methodologies - Automata-based Notations - Big Data Analytics - Cellular Automata - Classification - Clustering, Segmentation and Profiling - Conformance Analysis - Constraint Programming - Data Mining - Differential Equations - Game Theory - Machine Learning - Membrane Systems - Network Theory and Analysis - Ontologies - Optimisation Modelling - Petri Nets - Process Calculi - Process Mining - Rewriting Systems - Spatio-temporal Data Analysis/Mining - Statistical Model Checking - Text Mining - Topological Data Analysis Application domains include: - Biology - Brain Data and Simulation - Business Process Management - Climate Change - Cybersecurity - Ecology - Education - Environmental Risk Assessment and Management - Enterprise Architectures - Epidemiology - Genetics and Genomics - Governance - HCI and Human Behaviour - Open Source Software Development and Communities - Pharmacology - Resilience Engineering - Safety and Security Risk Assessment - Social Good - Social Software Engineering - Social Systems - Sustainable Development - Threat Modelling and Analysis - Urban Ecology - Smart Cities and Smart Lands Synergistic approaches include: (1) Use of modelling methods and notations in a knowledge management/discovery context (2) Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest SUBMISSION AND PUBLICATION All contributions in the form of either - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) will be reviewed by three members of the Program Committee. Authors are invited to submit their contributions via Easychair https://easychair.org/conferences/?conf=datamod2025 In addition, presentation reports will be considered having the following form: - presentation report, up to 4 pages Presentation reports concern recent or ongoing work on relevant topics and ideas, for timely discussion and feedback at the workshop. There is no restriction as to previous/future publication of the contents of a presentation. Typically, a presentation is based on a paper which recently appeared (or which is going to appear) in the proceedings of another recognised conference, or which has not yet been submitted. Presentation reports will receive a lightweight review to establish their relevance for DataMod. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 All papers should be written in English and formatted according to the LNCS style. Paper formatting guidelines according to LNCS style are available here: http://www.springer.com/lncs Detailed information on the submission procedure and format are available on the symposium web page: https://datamod2025.github.io/ Accepted papers (both regular and short) will be included in a dedicated LNCS post-proceedings volume published by Springer after the Symposium. Condition for inclusion in the proceedings is that at least one of the co-authors attends and presents the paper at the Symposium. IMPORTANT DATES Abstract Submission deadline (optional): 22 August 2025 Paper Submission deadline: 29 August 2025 Notification: 30 September 2025 Revised Version: 7 October 2025 Symposium: 10-11 November 2025 KEYNOTE SPEAKERS * TBA PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PROGRAM COMMITTEE * Oana Andrei, University of Glasgow * Kyungmin Bae, Pohang University of Science and Technology (POSTECH) * Juliana Bowles, School of Computer Science, University of St Andrews * Giovanna Broccia, ISTI-CNR, FMT Lab * Antonio Cerone, Nazarbayev University * Robert Clarisó, Universitat Oberta de Catalunya * Carla Ferreira, Universidade NOVA de Lisboa * Marc Frappier, Université de Sherbrooke * Elisa Gonzalez Boix, Vrije Universiteit Brussel * Riccardo Guidotti, University of Pisa * Alexander Kocian, University of Pisa * Ricardo M. Czekster, Aston University * José Machado, University of Minho, DI, ALGORITMI/LASI * Paolo Milazzo, Dipartimento di Informatica - Università di Pisa * Pedro Ribeiro, University of York * Arpit Sharma, Indian Institute of Science Education and Research * Volker Stolz, Høgskulen på Vestlandet * Martin Tappler, TU Wien * Thais Webber, Aston University * Lina Ye, CentraleSupélec, LMF, University Paris-Saclay, France CONTACT > All inquiries should be sent to datamod2025 at easychair.org From manuel.borroto at unical.it Fri Jul 18 16:35:41 2025 From: manuel.borroto at unical.it (Manuel Alejandro Borroto Santana) Date: Fri, 18 Jul 2025 18:35:41 +0200 Subject: [Haskell] =?utf-8?q?=5BICLP_2025_-_Call_for_Participation=5D_41st?= =?utf-8?q?_International_Conference_on_Logic_Programming_=28ICLP?= =?utf-8?q?=E2=80=9925=29_University_of_Calabria=2C_Rende=2C_Italy_?= =?utf-8?q?=7C_September_12-19=2C_2025?= Message-ID: *[apologize for multiple postings]* *Call for Participation* 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ We are pleased to invite you to participate in the 41st International Conference on Logic Programming (ICLP’25), which will be held at the University of Calabria from September 12-19, 2025. The event will include: ● 4 invited talks (Vladimir Lifschitz, Esra Erdem, Stefania Costantini, and Georg Gottlob) ● 63 conference paper presentations (24 regular papers and 39 Technical Communications) ● 4 Recently Published Research (RPR) presentations ● 2 co-located events (PPDP 2025 and LOPSTR 2025) ● 8 workshops ● Autumn School ● Doctoral Consortium ● Logic Programming Contest Registration is now open, with early fees available until July 30th AOE. The registration procedure will close on August 30th AOE. *On-Site Registration is not available.* For more information on the registration process, please visit the following webpage: https://iclp25.demacs.unical.it/registration *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions span all areas of logic programming, including but not limited to the following: *Theoretical Foundations:* Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. *Language Design and Programming Methodologies:* Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming. *Program Analysis and Optimization:* Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. *Implementation Methodologies and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *REGISTRATION* Early fees are available until July 30th AOE, the registration procedure closes August 30th AOE*. **On-Site Registration is not available.* https://iclp25.demacs.unical.it/registration *KEYNOTE SPEAKERS* ● Vladimir Lifschitz, University of Texas at Austin ( https://www.cs.utexas.edu/~vl/), September 15 ● Esra Erdem, Sabanci University ( https://people.sabanciuniv.edu/esraerdem/), September 16 ● Stefania Costantini, University of L’Aquila ( https://people.disim.univaq.it/~stefcost/), September 17 ● Georg Gottlob, University of Calabria ( https://www.unical.it/storage/teachers/georg.gottlob/), September 18 *ACCEPTED PAPERS* The full list of accepted papers is available at the following link: https://iclp25.demacs.unical.it/program/accepted-papers *AFFILIATED EVENTS* ● Workshops: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) - 12th Workshop on Probabilistic Logic Programming (PLP 2025) - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI³ 2025) - Third Prolog Education Workshop (PEG 2025) - Second Annual Workshop on Prolog Improvement Proposals (PIPs) - Workshop on Logic Programming and Legal Reasoning (LPLR 2025) - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) ● Autumn School in Computational Logic: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-logic-programming ● Doctoral Consortium: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium ● Logic Programming Contest: September 17, 2025 ● International Symposium on Principles and Practice of Declarative Programming (PPDP 2025) https://ppdp25.github.io/site/ ● International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025) https://lopstr.github.io/2025/ *VENUE* ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. For more information about the venue, please visit the following webpage: https://iclp25.demacs.unical.it/venue/conference-venue Useful information about accommodation and travel can be found at the following links: ● https://iclp25.demacs.unical.it/venue/accommodation ● https://iclp25.demacs.unical.it/venue/travel-information *ORGANIZATION* General Chair: Francesco Ricca Program Co-chairs: Martin Gebser and Daniela Inclezan Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta *PROGRAM COMMITTEE* Salvador Abreu, NOVA-LINCS / University of Evora Mario Alviano, University of Calabria Nicos Angelopoulos, The Pirbright Institute Marcello Balduccini, Saint Joseph’s University Mutsunori Banbara, Nagoya University Elena Bellodi, University of Ferrara Stefano Bistarelli, University of Perugia Bart Bogaerts, KU Leuven Pedro Cabalar, University of Corunna Roberta Calegari, Alma Mater Studiorum–University of Bologna Angelos Charalambidis, Harokopio University Michael Codish, Ben-Gurion University of the Negev Stefania Costantini, University of L'Aquila Alessandro Dal Palù, University of Parma Marina De Vos, University of Bath Marc Denecker, KU Leuven Carmine Dodaro, University of Calabria Thomas Eiter, TU Wien Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt François Fages, INRIA Saclay Jorge Fandinno, University of Nebraska Omaha Johannes K. Fichte, Linköping University Fabio Fioravanti, University of Chieti-Pescara Andrea Formisano, University of Udine Gerhard Friedrich, University of Klagenfurt Sarah Alice Gaggl, TU Dresden Marco Gavanelli, University of Ferrara Laura Giordano, DISIT, University of Eastern Piedmont Ricardo Gonçalves, NOVA University Lisbon Gopal Gupta, The University of Texas at Dallas Carito Guziolowski, Centrale Nantes Markus Hecher, CNRS, Artois University Giovambattista Ianni, University of Calabria Tomi Janhunen, Tampere University Nikos Katzouris, NCSR Demokritos Gabriele Kern-Isberner, TU Dortmund Matthias Knorr, NOVA University Lisbon Isabelle Kuhlmann, University of Hagen Joao Leite, NOVA University Lisbon Michael Leuschel, Heinrich-Heine University of Düsseldorf Vladimir Lifschitz, The University of Texas at Austin Francesca Alessandra Lisi, University of Bari Aldo Moro Yanhong A. Liu, Stony Brook University Marco Maratea, University of Calabria Viviana Mascardi, DIBRIS, University of Genova Jose F. Morales, Technical University of Madrid / IMDEA Software Institute Johannes Oetsch, Jönköping University Simona Perri, University of Calabria Enrico Pontelli, New Mexico State University Fabrizio Riguzzi, University of Ferrara Ricardo Rocha, University of Porto Chiaki Sakama, Wakayama University Zeynep G. Saribatur, TU Wien Torsten Schaub, University of Potsdam Konstantin Schekotihin, University of Klagenfurt Tom Schrijvers, KU Leuven Dietmar Seipel, University of Würzburg Theresa Swift, Johns Hopkins Applied Physics Lab Paul Tarau, University of North Texas Hans Tompits, TU Wien Mirek Truszczynski, University of Kentucky Athénaïs Vaginay, University of Caen Normandy Germán Vidal, VRAIN, Polytechnic University of Valencia Concepcion Vidal, University of Corunna Alicia Villanueva, VRAIN – Polytechnic University of Valencia Johannes P. Wallner, TU Graz Kewen Wang, Griffith University David S.Warren, Stony Brook University Felix Weitkämper, German UDS Potsdam Stefan Woltran, TU Wien Roland Yap, National University of Singapore Jia-Huai You, University of Alberta Zhizheng Zhang, Southeast University Yuanlin Zhang, Texas Tech University Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria -------------- next part -------------- An HTML attachment was scrubbed... URL: From adbrucker at 0x5f.org Thu Jul 24 04:58:07 2025 From: adbrucker at 0x5f.org (Achim D. Brucker) Date: Thu, 24 Jul 2025 05:58:07 +0100 Subject: [Haskell] Call for Papers: Tests and Proofs (TAP) (Now a Track at FM 2026) Message-ID: **CALL FOR PAPERS** **Special Track on Tests and Proofs (TAP 2026)** *at the* **27th International Symposium on Formal Methods (FM 2026)** **May 18-22, 2026 --- Tokyo, Japan** **Website:** **Abstract Submission**: Tuesday, 25 November 2025 **Full Paper Submission:** Tuesday, 2 December 2025 ### **New TAP Track at FM 2026: A Premier Venue for Tests and Proofs** Since 2007, the [Test and Proof (TAP) conference](https://tapconference.github.io/2024/) has long been a leading venue for research on the intersection of software testing and formal verification. Now, TAP is joining the 27th International Symposium on Formal Methods (FM 2026) as a new special track. This integration places the ground-breaking work of the Test and Proofs community at the heart of the world's premier conference on formal methods. This new track provides a dedicated forum for researchers, practitioners, and tool developers to present and discuss the latest advances in the synergistic combination of traditionally distinct areas of dynamic analysis, e.g., testing, and static analysis, e.g., proving. By joining FM, the TAP track offers authors a wider, more diverse audience and the prestige of publication in the main, open-access FM 2026 proceedings, published by Springer in the LNCS series. We invite you to be part of this exciting new chapter for the tests and proofs community! **Track Highlight: FM 2026 Keynote by Professor Cristian Cadar** We are thrilled to announce that TAP Track at FM 2026 will feature a keynote address by **Professor Cristian Cadar** of Imperial College London. Professor Cadar is a world-renowned authority on software reliability, security, and verification, and is particularly celebrated for his pioneering contributions to symbolic and dynamic execution (e.g., KLEE). His selection as a main symposium keynote speaker is a powerful testament to the increasing importance of the core topics of the TAP track to the broader computer science community. ### **Scope and Topics of Interest** The TAP track solicits high-quality, original research on the interplay between dynamic techniques such as testing, runtime verification etc.testing and formal verification such as proving, model checking, abstract interpretation, etc. . The track aims to foster new collaborations and advance the state of the art in creating reliable and secure software and systems. Topics of interest include, but are not limited to, the following areas: **Foundations for Combining Testing and Verification** - Formalisms and theories that unify testing and proof\ - Semantic foundations for combined static and dynamic analysis\ - Proof theory for test-case generation and specification conformance\ - Type systems with a testing and proving focus\ - Formal models of test-based and proof-based development **Synergistic Techniques and Tools** - Combination of model checking, theorem proving, and runtime verification - Synergies between symbolic execution, fuzzing, and formal analysis - Test-case generation from formal specifications (e.g., using B, Z, TLA+, VDM) - Using test execution results to guide or automate proof discovery - Static analysis for test-suite reduction, prioritization, and optimization - Verification-based and property-based testing - Formal methods for testing AI/ML-based systems - AI/ML techniques for enhancing formal verification and testing - Derivation of specifications and contracts from tests - Combination of static and dynamic analysis for security vulnerability detection **Applications and Empirical Evaluation** - Case studies and experience reports applying combined test-and-proof techniques to industrial systems (e.g., in security, cyber-physical systems, autonomous systems, blockchain, or IoT) - Empirical comparisons of different verification, testing, and combined techniques - Tool demonstration papers for new and innovative tools that support tests and proofs - Application of TAP techniques to challenge problems and benchmarks ### **Submission Categories and Guidelines** The TAP track papers can be submitted in all paper categories supported by the FM 2026 Research Track and submissions to the TAP track will be reviewed following the policies and quality criteria of the FM Research Track. The TAP track solicits papers in the following categories: - **Regular Papers (max 15 pages, excluding references and appendices):** For mature, original research contributions. - **Long Tool Papers (max 15 pages, excluding references and appendices):** For presenting mature tools, their theoretical foundations, and empirical evaluations. - **Case Study Papers (max 15 pages, excluding references and appendices):** For in-depth reports on the application of TAP techniques to significant, real-world problems. - **Short Papers (max 6 pages, excluding references and appendices):** For presenting novel but not yet fully mature ideas, or for tool demonstration papers that focus on a tool's features and usage. Papers should be original work, not published or submitted elsewhere, in Springer [LNCS format](https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and written in English. Submit your papers at https://easychair.org/conferences/?conf=fm2026 Reviewing is single-blind. Each paper will be evaluated by at least three members of the Program Committee. Papers will be accepted or rejected in the category in which they were submitted and will not be moved between categories Authors of accepted papers are strongly encouraged to submit their supporting artifacts to the FM 2026 Artifact Evaluation track. ### **Important Dates** All deadlines are **Anywhere on Earth (AoE, UTC-12h)**. The deadlines for the TAP track are aligned with the FM 2026 Research Track. Milestone Date --------------------------- ------------------------------- **Abstract Submission** **Tuesday, 25 November 2025** **Full Paper Submission** **Tuesday, 2 December 2025** **Author Notification** **Friday, 6 February 2026** **Camera-Ready Version** **Monday, 2 March 2026** **FM 2026 Conference** **May 18-22, 2026** ### **Publication** All accepted papers for the TAP track will be published as part of the main FM 2026 conference proceedings. The proceedings will be published by Springer in their **open-access Lecture Notes in Computer Science (LNCS)** series. At least one author of an accepted paper must register for the conference and present the work. ### **Track Organization** **Track Chairs:** - Marie-Christine Jakobs, Ludwig-Maximilan University, Munich, Germany - Achim D. Brucker, University of Exeter, UK For inquiries, please contact the track chairs. -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking