August 2025 - FMIndia - mail.cmi.ac.in

DataMod 2025 - Final Call for Papers, Extended Deadline
by Ouadie Khebbeb 26 Aug '25

26 Aug '25

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/ -------------------------------------------------------------------------------- Paper submission deadline (extended): 10 September 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 Papers can take one of the following three types: - regular (research, tool or position) paper, up to 16 pages (excluding references) - short (research, tool or position) paper, up to 8 pages (excluding references) - 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. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Authors are invited to submit their presentation report via Easychair https://easychair.org/conferences/?conf=datamod2025 Papers must be formatted according to the guidelines for Springer LNCS papers, without modifications of margins and other space-saving measures. Authors should therefore consult Springer's authors' instructions and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer’s proceedings LaTeX templates are also available in Overleaf. Springer encourages authors to include their ORCIDs in their papers. Each paper will be reviewed by three Program Committee members. Notification and reviews will be communicated via email through the Easychair platform. 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 - Research Papers Abstract submission deadline (optional): 22 August 2025 Paper submission deadline (extended): 10 September 2025 Acceptance notification: 30 September 2025 Revised version: 7 October 2025 Symposium: 10-11 November 2025 Note that you will have the opportunity to submit the camera-ready paper for the LNCS Proceedings with discussions and remarks after the symposium, i.e., by the end of the year or early Jan/26. PROGRAM CO-CHAIRS * Livia Lestingi, Politecnico di Milano, Italy * Gwen Salaün, Université Grenoble Alpes, France PUBLICITY CHAIRS * Ouadie Khebbeb, Université de Grenoble Alpes, France STEERING COMMITTEE * Oana Andrei, University of Glasgow, UK * Antonio Cerone, Nazarbayev University, Kazakhstan * Riccardo Guidotti, University of Pisa, Italy * Marijn Janssen, Delft University of Technology, the Netherlands * Stan Matwin, University of Ottawa, Canada * Paolo Milazzo, University of Pisa, Italy * Anna Monreale, University of Pisa, Italy 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(a)easychair.org

1 0

Registrations open for India's first Compiler Technology Hackathon!
by Uday Khedker 25 Aug '25

25 Aug '25

As a part of the upcoming*Innovations In Compiler Technology 2025* (IICT 2025) workshop, we invite you to participate in SEGFAULT, a first of a kind Compiler Technology themed hackathon! *Website *: https://segfault.compilertech.org/ *Registrations Close Date* : 29th August 2025. The first round of SEGFAULT is completely online, with the finale being co-located and held as a part of IICT 2025. Top 6 teams will get a chance to present their work to Industry and Academic experts, along with the 350 strong audience at IICT. *Themes *: - Domain Specific Languages and Compilers - Compiler Frameworks and Tools - Compilers and AI/ML - Optimizations for the Real World - Explainable Compilers - Compilers for New Paradigms Registration is free and requires forming a team of 1 - 4 members along with an abstract of the proposed solution on the Hackathon website. Participants can also submit projects that are already complete, as long as they are relevant to Compilers and is their own work. For any queries, email support(a)compilertech.org or ashutosh(a)compilertech.org. Regards, IICT Organizing Committee -- signature.html ------------------------------------------------------------------------ Dr. Uday Khedker, Professor Department of Computer Science & Engg. IIT Bombay, Powai, Mumbai 400 076, India. Email : uday(a)cse.iitb.ac.in Homepage: http://www.cse.iitb.ac.in/~uday Phone : 91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)

1 1

Call for Presentations || IICT 2025
by Uday Khedker 25 Aug '25

25 Aug '25

2nd Workshop on Innovations In Compiler Technology (IICT) ========================================================== Call for Presentation Proposals ------------------------------- The 2nd workshop on Innovations In Compiler Technology (IICT) aims to bring together researchers, practitioners, and enthusiasts in the field of compiler technologies. The first workshop was held in Bengaluru on 28 and 29 September 2024. This edition of IICT is being held as an ACM Meetup in collaboration with iSoft on 27 and 28 September 2025 at Indian Institute of Science (IISc) Bengaluru. More details about the workshop can be found athttps://compilertech.org/. IICT focuses on the cutting-edge advancements in design, implementation, and optimization of compiler techniques as well as their applications on emerging software and hardware platforms. We invite speakers from academia and industry to present their work related to programming languages and compilers. We invite presentations on all aspects of compilers covering the classical compiler techniques, compilers for AI/ML, DSLs, Web3, blockchains etc. Proposals should provide sufficient information for the program committee to be able to judge the quality of the submission. Proposals can be submitted under the form of an extended abstract, full paper, or slides. The selections will happen in two steps: In the first step, a conditional acceptance will be provided. The second step requires the participants of conditionally accepted proposals to submit a ninety seconds video of their presentation which will be displayed as a teaser on the workshop website. The final acceptance will be provided based on the evaluation of the video presentations. Some of the proposals may be accepted for posters rather than conventional presentations. Important dates: Submissions Open 1 June 2025 Submission Deadline 1 July 2025 Notification of Conditional Acceptance 7 August 2025 Submission of 90 second video 15 August 2025 Final Notification 1 September 2025 Workshop Dates 27, 28 September 2025 Link for submission: https://easychair.org/my/conference?conf=compilertech2025. Who should attend? - Practitioners of compilers. - Students and Researchers in the field of compilers, programming languages, and runtime. - Those interested in using compiler and toolchain technology in novel and interesting ways. Uday Khedker (IIT Bombay) Aditya Kumar (Google) Program Chair Organizing Chair -- signature.html ------------------------------------------------------------------------ Dr. Uday Khedker, Professor Department of Computer Science & Engg. IIT Bombay, Powai, Mumbai 400 076, India. Email : uday(a)cse.iitb.ac.in Homepage: http://www.cse.iitb.ac.in/~uday Phone : 91 (22) 2572 2545 x 7717, 91 (22) 2576 7717 (Direct)

2 3

RHPL@FSTTCS 2025: Second Call for Talk and Poster Proposals
by abhisekh.sankaran＠tcs.com 20 Aug '25

20 Aug '25

============================================================= RHPL@FSTTCS 2025: Workshop on Research Highlights in Programming Languages December 2025, BITS Goa, co-located with FSTTCS 2025 Website: https://fmindia.cmi.ac.in/rhpl2025/ Submission deadline: September 18, 2025 ============================================================= Dear colleague, As you may know, FSTTCS 2025 (https://www.fsttcs.org.in/2025/) is going to be held at BITS Pilani, K K Birla Goa Campus (https://www.bits-pilani.ac.in/goa/) during December 17 – 19, 2025. The conference is organized by IARCS, the Indian Association for Research in Computing Science (https://www.iarcs.org.in/) in association with ACM India (https://india.acm.org/) It is a very visible forum for presenting original results in foundational aspects of Computer Science and Software Technology. As in the previous years, this year too, co-located with the main FSTTCS conference, IARCS is organizing the Workshop on Research Highlights in Programming Languages (RHPL@FSTTCS). The focus of the workshop will be on all areas of Programming Languages (PL), including but not limited to: - Applied formal methods - Automated and interactive theorem provers - Compilers - Concurrency and memory models - Domain and type theories - Program analysis and verification - Program sketching, synthesis and repair - Programming language design and semantics Further, in view of the increasing role of Artificial Intelligence (AI) and Machine Learning (ML) in PL theory and practice, the workshop also includes in its scope themes pertaining to the influences of AI/ML concepts and tools on the mentioned PL topics, and vice-versa; for instance, probabilistic programming languages. The website for the workshop is: https://fmindia.cmi.ac.in/rhpl2025/. The objective of RHPL is to foster interactions between the attendees of the workshop, and more broadly between researchers working on Programming Languages and the traditional FSTTCS community of researchers working on Theoretical Computer Science and Formal Methods. We solicit: (1) Talk proposals: On recent work that has been published in good venues, or is mature in terms of approach and evaluation. (2) Poster proposals: On early ideas that are promising but have not been developed fully. Selections of these proposals will be made based on the promise of research possibilities and their novelty. Proposals to the workshop can be based on one or more works, published or unpublished. They may be submitted using the Google form below. https://forms.gle/RufuAs54zxsadp1n7 The important dates for the workshop are as below. All dates are in Indian Standard Time (IST). - Submission portal opens: July 28, 2025 - Submission deadline: September 18, 2025 - Notification: September 25, 2025 - Early registration deadline: TBA - RHPL@FSTTCS: TBA We look forward to receiving your talk/poster proposals to the workshop. On behalf of the RHPL@FSTTCS workshop organizing committee: Abhisekh Sankaran (TCS Research) (co-Chair) Divyesh Unadkat (Synopsys) (co-Chair) Deepak D'Souza (IISc Bangalore) Uday Khedker (IIT Bombay) Kumar Madhukar (IIT Delhi) Kartik Nagar (IIT Madras) Sumanth Prabhu (TCS Research) Ganesan Ramalingam (Microsoft) Abhik Roychoudhury (National University of Singapore)

1 0

CFP: 5th International Workshop on Blockchain (December 4-6, 2025);
by Madhavan Mukund 20 Aug '25

20 Aug '25

----- Forwarded message from Vishwas Patil <ivishwas(a)gmail.com> ----- From: Vishwas Patil <ivishwas(a)gmail.com> *CALL FOR PAPERS* *Fifth International Workshop on Blockchain: Blockchain Kaigi 2025* December 04-06, 2025 IIT Bombay, India. https://bck-2025.isrdc.in Submission deadline: September 15 The International Workshop "Blockchain Kaigi" (Kaigi: Meeting, Conference) aims at bringing together researchers and practitioners from various communities of science and technology working on areas related to FinTech, crypto-asset, and blockchain. Authors are encouraged to submit theoretical and/or applied articles on their research related to Blockchains in general. We have excellent *Keynotes *lined up during this workshop (partial list). 1) Dilip Asbe, MD & CEO, National Payments Corporation of India 2) Suvendu Pati, Chief General Manager, FinTech, Reserve Bank of India 3) Kazumasa Omote, Professor, University of Tsukuba, Japan 4) Hidenori Nakazato, Professor, Waseda University, Japan *Authors are invited to submit 2-page extended abstract describing original, previously unpublished work, not currently under review by another conference, workshop, or journal.* Please submit your extended abstract using EasyChair: https://easychair.org/conferences?conf=bck25 The abstract should include the title of the presentation, the names and affiliations of the speaker and co-researcher(s), a description of the content of the presentation, and one figure or table to supplement the description. The abstract should be two pages at maximum. Only PDF files will be accepted for the review process. *Deadline of abstract submission for general speakers: Sep. 15, 2025.* Indicative Topics of Interest (not an exhaustive list): - Consensus, Fault-tolerance, Scalability - Cryptography & Mathematics - Applications in Cybersecurity - Digital Asset Market, AUM - Central Bank Digital Currency (CBDC) - Innovation Policy, SDGs - Modelling of on-chain activity - Digital Identity & Privacy - Token Ecosystem, Finternet - IoU networks, Settlements - Lightning networks, Interoperability - Smart Contract Verification, DAOs - Smart-Grid, Smart-City - FinTech, AgTech, HealthTech - Legal and Regulatory Issues - Network Science, Hypergraphs - Innovative Use Cases for public good - Ledger analytics for privacy and AML - ML Applications to Blockchain - Blockchain for AI/ML ecosystem - Simulation tools - Visualisation of transaction trails Other topics in distributed ledger technologies will also be considered in the spirit of the above. Authors are invited to enter submissions describing original, previously unpublished work, not currently under review by another conference, workshop, or journal. *PROCEEDINGS PUBLICATION* Extended versions of accepted contributions will be invited for publication in JPS conference proceedings and a special issue of the Ledger Journal after your presentation at BCK25. For accepted manuscripts, at least one author must attend and present the paper. BCK25 is an in-person event. *SUBMISSION GUIDELINES* For compiling your submission (*2-page extended abstract*), please use this [1] LaTeX template or this [2] MS Word template. The abstract should include the title of the presentation, the names and affiliations of the speaker and co-researcher(s), a description of the content of the presentation, and one figure or table to supplement the description. The abstract should be two pages at maximum. Only PDF files will be accepted for the review process. [1] https://bit.ly/40L8Bfb [2] https://bit.ly/4l0PCEz ABOUT BCK WORKSHOPS ------------------- On February 17th - 18th, 2021, the international workshop “Blockchain in Kyoto 2021 (BCK21)" was hosted at Kyoto University, Japan. This event drew participants from around the globe, fostering a vibrant exchange of knowledge and ideas within the blockchain community. Continuing this tradition, the next instalment, “BCK22: Blockchain Kaigi 2022," took place on August 4th - 5th, 2022, at Tohoku University, Japan. It maintained the legacy of its predecessor by uniting a diverse group of forward-thinking researchers and practitioners who shared their latest findings and innovative solutions in blockchain technology. The "BCK23: Blockchain Kaigi 2023” session was held on October 28th -29th, 2023 at RIKEN's Kobe Campus (Kobe City), Japan. The recent edition of this kaigi was held at University of Zurich between September 12 and 13 as "BCK24: Blockchain Kaigi 2024". Building on this rich tradition of Blockchain Kaigi, we invite you to join us at IIT Bombay, where this year's Blockchain Kaigi (BCK25) will be held between December 4 and 6. BCK25 will continue to serve as a venue where experts from scientific and technological disciplines can discuss, collaborate, and advance the field of blockchain research. Authors are invited to submit both theoretical and applied papers that contribute to the broad spectrum of blockchain studies. PREVIOUS EDITIONS ----------------- - BCK21 - Kyoto University - BCK22 - Tohoku University - BCK23 - RIKEN Kobe Campus - BCK24 - University of Zurich IMPORTANT DATES --------------- * Submission deadline: September 15 * Notification of accptance: October 15 * Camera-ready submission: October 25 (All dates will follow AoE time 23:59) -- Yours sincerely, Vishwas Patil. Senior Scientist, IIT Bombay. https://sites.google.com/site/ivishwas <http://sites.google.com/site/ivishwas> An omission is the most powerful form of lying. ~ George Orwell. ----- End forwarded message -----

1 0

DataMod 2025 - deadline approaching
by Arpit Sharma 14 Aug '25

14 Aug '25

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(a)easychair.org

1 0

Reminder: Logic Education Webinar on August 11 at 6:30 pm
by Madhavan Mukund 09 Aug '25

09 Aug '25

----- Forwarded message from R Ramanujam <jam(a)imsc.res.in> ----- webpage: https://resources.illc.uva.nl/Commission-on-Logic-Education/news-events/ zoom link: URL: https://cmi-ac-in.zoom.us/j/83042980483?pwd=8qXaJ6WqzLVEROZD1HrZ3b6aFhwyao.1 Meeting ID: 830 4298 0483 Passcode: 546866 WHAT ASPECTS OF STUDENT LANGUAGE USE DO NOT COMPORT WITH MATHEMATICAL LOGIC? Speaker: PAUL CHRISTIAN DAWKINS, Professor Of Mathematics, Texas State University Date: August 11, 2025 Time: 0800 HOURS (DALLAS) 1000 (Brasilia) 1500 (Paris) 1830 (Bangalore) 2100 (Beijing) Abstract: Based on over a decade of experiments working to support students in reflecting on their use of mathematical language to help them reinvent some basic logical structures, I have gained some insights about university students’ untrained interpretations of mathematical language. Combining these empirical findings with insights from psychology, pragmatics, and linguistics, I have come to appreciate the coherence and rationality of students’ language use even when it proves incompatible with logical structure. In this talk, I will share some stories of student thinking that have given me some helpful insight into how their language use differed in important ways from mathematical language use. Hopefully, these contrasts will help instructors and researchers understand the challenges that logic instruction must overcome to support students in formalizing and systematizing their reasoning about mathematical language. ----- End forwarded message -----

1 0

FMCAD 2025 - Call for Participation
by Daniela Kaufmann 06 Aug '25

06 Aug '25

===================================================================== *FMCAD 2025 *- 25th Intl Conference on Formal Methods in Computer-Aided Design /Call for Participation / October 6--10, 2025 SRI International Headquarters Menlo Park, California, US https://fmcad.org/FMCAD25 Registration link: https://fmcad.org/FMCAD25/registration/ ===================================================================== FMCAD 2025 will be held at the SRI International Headquarters in Menlo Park, California, USA, from October 6 to October 10, 2025. The conference includes: * the FMCAD Student Forum (https://fmcad.forsyte.at/FMCAD25/student_forum/) * the HWMCC 2025 (https://hwmcc.github.io/2025/) * VSTTE 2025 (https://systemf.epfl.ch/etc/vstte2025/) FMCAD 2025 is the twenty-fifth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. ## Conference dates: * VSTTE conference: October 6, 2025 * Joint VSTTE & FMCAD Tutorial day: October 7, 2025 * Main FMCAD conference: October 8–10, 2025 ## FMCAD Tutorial Speakers: * Alberto Griggio, Fondazione Bruno Kessler, Italy * Ankush Desai, Amazon Web Services, USA ## FMCAD Invited Talks: * Ashish Tiwari, Microsoft Research, USA * Nina Narodytska, VMware Research by Broadcom, USA ## About the venue FMCAD 2025 is hosted by SRI. The Menlo Park campus is situated in the heart of Silicon Valley just minutes from Stanford University and major tech companies. SRI is an independent nonprofit R&D institute with deep roots in Silicon Valley. With a nearly 80-year legacy, SRI’s technologies, research, and ideas have had a profound impact on every one of our lives — at home, at work, at school, and at play. SRI’s teams work in locations from coast-to-coast and in Tokyo, collaborate across fields and disciplines, and take an integrated approach to supporting government and commercial clients and addressing some of the world’s greatest challenges. ## Registration The registrations for the conference is now open. Early registration deadline: August 24, 2025, 23:59 PT Registration link: https://fmcad.org/FMCAD25/registration/ We look forward to seeing you in Menlo Park! Best regards, Daniela Kaufmann and Ahmed Irfan FMCAD 2025 Co-Chairs

1 0