- FMIndia - example.com

Deadline extended: Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands, different locations)

by Jorge A. Pérez

*[Apologies for cross-posting; please forward to any good students you might know.]* We invite applications for six fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs - New Harmonies in Software Correctness by Construction" https://cyclic-structures.gitlab.io/vacancies ===================================================== Due to several requests, the deadline for submitting applications has been extended. The new deadline is *Monday, May 26, 2025*, 23:59 (CET). ===================================================== # About the Project This €3 million project aims to advance software verification through fundamental research in the following areas: - Modal logic, proof theory, and coalgebras; - Programming languages, concurrency, and type systems; - Proof assistants (Agda, Rocq). Funded by the Dutch Research Council (NWO), this consortium brings together researchers from different universities: - Bahareh Afshari (University of Gothenburg) - Henning Basold (Leiden University) - Marcello Bonsangue (Leiden University) - Georgiana Caltais (University of Twente) - Jesper Cockx (TU Delft) - Helle Hvid Hansen (University of Groningen) - Robbert Krebbers (Radboud University Nijmegen) - Jorge Pérez (University of Groningen, Principal Investigator) # Candidate Profile We seek strong, highly motivated applicants who: - Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field. - Preferably have background or research experience in any of the areas above. - Have strong communication skills (oral and written) in English. # Position Details - The six PhD positions are fully funded, employed positions for four years. The conditions of employment follow the Collective Labour Agreement for Dutch Universities. - Candidates will be based in and employed by one of the participating universities and collaborate with national and international partners. # How to Apply For full details about the six positions and to submit your application, visit: https://cyclic-structures.gitlab.io/vacancies/ Deadline (extended): Submit your application until Monday, May 26, 2025, 23:59 (CET), for full consideration. Applications will be reviewed until all positions are filled. Starting date: We expect positions to start in September 2025 (or soon thereafter). Some flexibility is possible, depending on the position. Questions and informal inquiries: Please contact Jorge Pérez (Principal Investigator) at <j.a.perez(a)rug.nl> -- Jorge A. Pérez Associate Professor Leader, Fundamental Computing group Bernoulli Institute for Math, CS and AI University of Groningen, The Netherlands <https://www.jperez.nl> / <https://www.rug.nl/fse/fc>

8 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Sreejith A V, a faculty member in the Department of Computer Science at IIT Goa. The talk is scheduled on Tuesday, May 20, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NHRwODlxNj…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Active learning of deterministic one-counter automata Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Deterministic one-counter automata (DOCA) extend finite automata with a counter that can be incremented, decremented or reset to zero. The transition of a DOCA depends on the current state, the letter, and whether the current counter value is zero. In an active learning framework, a Learner intends to learn a language by querying the Teacher with membership and equivalence queries. Angluin's classical L* algorithm showed that in this framework, a DFA can be learnt in polynomial time. In this talk, we are interested in the active learning of DOCA. All existing algorithms for learning DOCA run in time exponential in the size of the minimal DOCA recognising the language. We present OL*, the first active learning algorithm that learns a DOCA in polynomial time. This is a joint work with Prince Mathew and Vincent Penelle. arXiv: https://arxiv.org/abs/2503.04525 (to appear in LICS'25) Bio: Sreejith A V is a faculty member in the Department of Computer Science at IIT Goa. His research interests lie in theoretical computer science, especially formal methods. In the past, he has also held research positions in University of Tubingen, TIFR - Mumbai, LIAFA - Paris, CMI - Chennai, and University of Warsaw - Poland.

8 months

1
0
0 0

IARCS Verification Seminar Series -- Talk by Sreejith A V on May 20 at 1900 hrs IST

by VSS IARCS

Dear all, The next talk in the IARCS Verification Seminar Series will be given by Sreejith A V, a faculty member in the Department of Computer Science at IIT Goa. The talk is scheduled on Tuesday, May 20, at 1900 hrs IST (add to Google calendar <https://calendar.google.com/calendar/event?action=TEMPLATE&tmeid=NHRwODlxNj…> ). The details of the talk can be found on our webpage ( https://fmindia.cmi.ac.in/vss/), and also appended to the body of this email. The Verification Seminar Series, an initiative by the Indian Association for Research in Computing Science (IARCS), is a monthly, online talk-series, broadly in the area of Formal Methods and Programming Languages, with applications in Verification and Synthesis. The aim of this talk-series is to provide a platform for Formal Methods researchers to interact regularly. In addition, we hope that it will make it easier for researchers to explore newer problems/areas and collaborate on them, and for younger researchers to start working in these areas. All are welcome to join. Best regards, Akash, Deepak, Madhukar, Srivathsan ============================================================= Title: Active learning of deterministic one-counter automata Meeting Link: https://us02web.zoom.us/j/89164094870?pwd=eUFNRWp0bHYxRVpwVVNoVUdHU0djQT09 (Meeting ID: 891 6409 4870, Passcode: 082194) Abstract: Deterministic one-counter automata (DOCA) extend finite automata with a counter that can be incremented, decremented or reset to zero. The transition of a DOCA depends on the current state, the letter, and whether the current counter value is zero. In an active learning framework, a Learner intends to learn a language by querying the Teacher with membership and equivalence queries. Angluin's classical L* algorithm showed that in this framework, a DFA can be learnt in polynomial time. In this talk, we are interested in the active learning of DOCA. All existing algorithms for learning DOCA run in time exponential in the size of the minimal DOCA recognising the language. We present OL*, the first active learning algorithm that learns a DOCA in polynomial time. This is a joint work with Prince Mathew and Vincent Penelle. arXiv: https://arxiv.org/abs/2503.04525 (to appear in LICS'25) Bio: Sreejith A V is a faculty member in the Department of Computer Science at IIT Goa. His research interests lie in theoretical computer science, especially formal methods. In the past, he has also held research positions in University of Tubingen, TIFR - Mumbai, LIAFA - Paris, CMI - Chennai, and University of Warsaw - Poland.

8 months, 1 week

1
0
0 0

Women in Logic 2025 (Co-located with FSCD 2025) -- Deadline extension

by Tephilla

Dear colleague, Are you a woman working in logic? Please join us on July 14, 2025 at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by ****May 10****, 2025 (AoE), via EasyChair. ----------------------------------------------------------------------------------------------------- Call for Contributions WiL 2025: 9th Women in Logic Workshop July 14, 2025 Co-located with FSCD 2025 https://urldefense.com/v3/__https://sites.google.com/view/wil2025__;!!IBzWL… ----------------------------------------------------------------------------------------------------- Women in Logic 2025 is a satellite event of the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) to be held in Birmingham, UK, from July 14 to July 20, 2025. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to: * provide a platform for women researchers to share their work and achievements; * increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty; * establish new connections and collaborations; * foster a welcoming culture of mutual support and growth within the logic research community. We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers. Previous versions of Women in Logic (Reykjavík 2017, Oxford 2018, Vancouver 2019, Paris 2020, Rome 2021, Haifa 2022, Rome 2023, Tallinn 2024) were very successful in showcasing women's work and as catalysts for a recognition of the need for change in the community. Topics of interest include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. INVITED SPEAKERS * TBA IMPORTANT DATES * Abstract submission deadline: May 10, 2025 -- Extended! * Notification: May 15, 2025 * Early registration: TBA * Contribution for Informal Proceedings: June 25, 2025 * Workshop: July 14, 2025 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style ( https://urldefense.com/v3/__https://easychair.org/publications/for_authors_… ). The abstracts should be uploaded to the WiL 2025 Easychair page https://urldefense.com/v3/__https://easychair.org/my/conference?conf=wil202… as a PDF file before the submission deadline on May 5, 2025, anywhere on Earth. ORGANIZING AND PROGRAM COMMITTEE * Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México) * Amy Felty (University of Ottawa) * Raheleh Jalali (University of Bath) * Delia Kesner (Université Paris Cité) * Anela Lolic (Co-chair, TU Wien) * Valeria de Paiva (Topos Institute) * Catuscia Palamidessi (INRIA) * Anja Petkovic Komel (TU Wien) * Elaine Pimentel (Co-chair, UCL) * Tephilla Prince (Co-chair, IIT Dharwad) * Krishna S. (IIT Bombay) More TBA GRANTS A limited number of travel grants is available for students/young researchers who would not otherwise have resources to attend WiL, and whose attendance would benefit both the applicant and the event. We expect to be able to help with registration/local/travel expenses. Applicants should note that grants are limited, and that costs in excess of the grant will not be reimbursed. Grants will be awarded to (co-)authors of accepted papers, based on the grant committee's assessment of the applicant's genuine financial need, the potential benefit to the applicant's education and research, and the potential benefit to WiL. Applications should be sent by May 17 2025 via the form: https://urldefense.com/v3/__https://forms.gle/hSnTGEEddPZRYqqx5__;!!IBzWLUs… The award notification date is May 19, 2025. The grants will be presented at the conferences; in case a grantee does not attend, the chairs may transfer the grant to another student or give no award. The grants are kindly offered by ACM SIGLOG, Jane Street, VeTSS, Microsoft, TOPOS Institute and Kurt Gödel Society. -- Tephilla Prince Research Scholar Dept. of Computer Science & Engineering IIT Dharwad

8 months, 2 weeks

1
0
0 0

Six PhD positions on "Cyclic Structures in Programs and Proofs" (The Netherlands) - Apply by May 23.

by Jorge A. Pérez

*[Apologies for cross-posting; please forward to any good students you might know.]* We invite applications for six fully-funded PhD positions (4 years) in the project "Cyclic Structures in Programs and Proofs – New Harmonies in Software Correctness by Construction" https://cyclic-structures.gitlab.io/vacancies Deadline approaching! Submit your application until Friday, *May 23, 2025*, 23:59 (CET <https://www.timeanddate.com/time/zones/cet>). About the Project This €3 million project aims to advance software verification through fundamental research in the following areas: - Modal logic, proof theory, and coalgebras; - Programming languages, concurrency, and type systems; - Proof assistants (Agda, Rocq). Funded by the Dutch Research Council (NWO), this consortium brings together researchers from different universities: - Bahareh Afshari (University of Gothenburg) - Henning Basold (Leiden University) - Marcello Bonsangue (Leiden University) - Georgiana Caltais (University of Twente) - Jesper Cockx (TU Delft) - Helle Hvid Hansen (University of Groningen) - Robbert Krebbers (Radboud University Nijmegen) - Jorge Pérez (University of Groningen, Principal Investigator) Candidate Profile We seek strong, highly motivated applicants who: - Have (or are close to completing) an MSc in Computer Science, Logic, Mathematics, or a related field. - Preferably have background or research experience in any of the areas above. - Have strong communication skills (oral and written) in English. Position Details - The six PhD positions are fully funded, employed positions for four years. The conditions of employment follow the Collective Labour Agreement for Dutch Universities. - Candidates will be based in and employed by one of the participating universities and collaborate with national and international partners. How to Apply For full details about the six positions and to submit your application, visit: https://cyclic-structures.gitlab.io/vacancies/ Deadline: Submit your application until Friday, May 23, 2025, 23:59 (CET <https://www.timeanddate.com/time/zones/cet>), for full consideration. Applications will be reviewed until all positions are filled. Starting date: We expect positions to start in September 2025 (or soon thereafter). Some flexibility is possible, depending on the position. Questions and informal inquiries: Please contact Jorge Pérez (Principal Investigator) at <j.a.perez(a)rug.nl> -- Jorge A. Pérez Associate Professor Leader, Fundamental Computing group Bernoulli Institute for Math, CS and AI University of Groningen, The Netherlands <https://www.jperez.nl> / <https://www.rug.nl/fse/fc>

8 months, 2 weeks

1
0
0 0

Call for paper: Workshop on Counting, Sampling, and Synthesis

by Priyanka Golia

Dear all, This is a call for papers for the Workshop on Counting, Sampling, and Synthesis (MCW) 2025. We invite you to submit your already published work or work in progress on model counting, sampling, and synthesis to this year's edition of MCW 2025. The workshop covers advanced topics such as weighted and projected counters/samplers, and various domains such as SAT, SMT, ASP, and CP. The workshop has expanded its focus to include the role of model counters, samplers, and solvers in automated synthesis. The goal of the workshop is to facilitate the exchange of cutting-edge theoretical and practical insights, with a particular emphasis on innovative solver technologies and their real-world applications. It is a pre-conference workshop as part of SAT 2025, and will be held in University of Glasgow in Glasgow, Scotland. This year, SAT 2025 will be colocated with the 31st International Conference on Principles and Practice of Constraint Programming (CP), the 18th International Symposium on Combinatorial Search (SoCS), and the 23rd International Workshop on Satisfiability Modulo Theories (SMT). For more information visit the website: https://mccompetition.org/2025/mcw_description.html Regards, Priyanka Golia – On behalf of the workshop organizers: Paulius Dilkas and Priyanka Golia

8 months, 3 weeks

1
0
0 0

Deadline Extended August 31： Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities

by Qin Liu

Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities https://www.sciencedirect.com/special-issue/313735/security-and-privacy-in-… Important Dates Submissions Deadline: August 31, 2025 Review result notification: November 1, 2025 Acceptance/rejection: December 31, 2025 In a smart city, numerous artificial intelligence of things (AIoT) communicate and collaborate to improve our quality of life. Both artificial intelligence (AI) and Internet of things (IoT) are foundational technologies that have been interacting with each other to realize a smart life. As massive amounts of sensitive data are generated, processed, and exchanged through IoT devices and AI technologies, one of the fundamental problems is how to provide intelligent services in smart cities without compromising security and privacy. This special issue aims to bring together researchers and practitioners in IoT, AI, and network security, to share their novel ideas and latest findings in relation to security and privacy in AIoT-enabled smart cities. The scope and interests for the special issue include, but are not limited to, the following list: ● Secure IoT infrastructure for smart cities ● Secure smart city applications, including secure AI-driven IoT applications ● Authentication and access control in IoT-enabled smart cities ● Intrusion detection for IoT-enabled smart cities ● Architectures and standards for secure IoT systems ● AI and big data techniques for IoT-enabled secure smart cities ● Blockchain technology for IoT-enabled secure smart cities ● Secure multi-party computation techniques for ML ● Security optimization in heterogeneous environments ● AI-driven mechanisms and models to perform attacks ● Security and privacy issues in AI-enabled IoT communications and systems ● Privacy-preserving ML ● Privacy-preserving data mining ● Privacy and anonymity techniques for IoT and AI ● Data privacy in AIoT-enabled smart cities ● Privacy preserving techniques for IoT-enabled smart cities ● Privacy modeling and analysis for IoT-enabled smart cities ● Miscellaneous privacy issues in AIoT-enabled smart cities Submission Format and Guideline Authors should follow the "Guidelines for Authors" from The Journal of Systems Architecture (JSA). Details can be found at Guide for authors - Journal of Systems Architecture (https://www.sciencedirect.com/journal/journal-of-systems-architecture/publi…). Solicited original submissions must not be currently under consideration for publication in other venues. All manuscripts and any supplementary material should be submitted through Submission site for Journal of Systems Architecture ( https://www.editorialmanager.com/jsa/default.aspx). Please select the “VSI:SPASS” option as article type of the paper. Guest editors: Associate Prof. Qin Liu Hunan University, Changsha, China Prof. Kouichi Sakurai Kyushu University, Fukuoka, Japan Prof. Richard Hill University of Huddersfield, Huddersfield, UK Associate Prof. Wenjia Li UK New York Institute of Technology, Old Westbury, USA -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

8 months, 3 weeks

1
0
0 0

Last call for papers: PNSE 2025

by Étienne André

Call for Papers International Workshop on Petri Nets and Software Engineering PNSE’25, Paris, France, June 23-24, 2025 http://www.pnse.de PNSE’25 is a satellite event of PETRI NETS’25 https://petrinets25.github.io/web/ Scope For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore, we look for surveys addressing open problems and new applications of Petri nets and for Petri nets. Important Dates: Deadline for papers: 25 April 2025 Notification of paper acceptance: 19 May 2025 Deadline for posters: 25 May 2025 Notification of poster acceptance: 28 May 2025 Deadline for final revisions: 30 May 2025 Topics Topics of interest include (but are not limited to): - Software Engineering agile development product lines software in business contexts software development and production environments; DevOps; IDEs; continuous integration programming and concurrency technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc. distributed database technology: redis; cassandra; CouchDB; mongoDB etc. concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility social concepts for norms, rules, contracts, communication, co-ordination, co-operation software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modelling techniques - Modelling representation of formal models by intuitive modelling concepts guidelines for the construction of system models adaption, integration, and enhancement of concepts from other disciplines views and abstractions of systems meta-modelling and domain specific languages (DSLs) model-driven architecture modelling software landscapes web service-based software development - Validation and Execution prototyping simulation, observation, animation code generation and execution testing and debugging efficient implementation - Verification structural methods (e.g. place invariants, reduction rules) results for structural subclasses of nets state space based approaches efficient model checking assertional and deductive methods (e.g. temporal logics) process algebraic methods model and graph transformation applications of category theory, rewriting logic and linear logic - Application of Petri nets and Software Engineering, in particular in the domains of … education, training and teaching at any level, flexible manufacturing, logistics, telecommunication, big data, cyber-physical systems, internet-of-things, grid and cloud computing, distributed systems, workflow management and embedded systems. - Tools in the fields mentioned above Submissions The program committee invites submissions of full contributions (up to 20 pages excluding references) or short contributions (5 - 8 pages excluding references). Ongoing work (up to 3 pages including references) can be presented in a special poster session. Papers must be submitted in electronic form (PDF) using the CEUR latex style: http://ceur-ws.org/Vol-XXX/CEURART.zip Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission please use the track "International Workshop on Petri Nets and Software Engineering 2025" at: https://easychair.org/conferences/?conf=petrinets2025 The papers will be peer reviewed. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and published online. The best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing. PC Chairs Michael Köhler-Bußmeier, University of Applied Science Hamburg, Germany Daniel Moldt, University of Hamburg, Germany Heiko Rölke, FH Graubünden, Austria In case of any problems please contact us by email: pnse25(a)easychair.org

9 months

1
0
0 0

Deadline Extended August 31： Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities

by Qin Liu

Special Issue of Journal of Systems Architecture on Security and Privacy in AIoT-enabled Smart Cities https://www.sciencedirect.com/special-issue/313735/security-and-privacy-in-… In a smart city, numerous artificial intelligence of things (AIoT) communicate and collaborate to improve our quality of life. Both artificial intelligence (AI) and Internet of things (IoT) are foundational technologies that have been interacting with each other to realize a smart life. As massive amounts of sensitive data are generated, processed, and exchanged through IoT devices and AI technologies, one of the fundamental problems is how to provide intelligent services in smart cities without compromising security and privacy. This special issue aims to bring together researchers and practitioners in IoT, AI, and network security, to share their novel ideas and latest findings in relation to security and privacy in AIoT-enabled smart cities. The scope and interests for the special issue include, but are not limited to, the following list: ● Secure IoT infrastructure for smart cities ● Secure smart city applications, including secure AI-driven IoT applications ● Authentication and access control in IoT-enabled smart cities ● Intrusion detection for IoT-enabled smart cities ● Architectures and standards for secure IoT systems ● AI and big data techniques for IoT-enabled secure smart cities ● Blockchain technology for IoT-enabled secure smart cities ● Secure multi-party computation techniques for ML ● Security optimization in heterogeneous environments ● AI-driven mechanisms and models to perform attacks ● Security and privacy issues in AI-enabled IoT communications and systems ● Privacy-preserving ML ● Privacy-preserving data mining ● Privacy and anonymity techniques for IoT and AI ● Data privacy in AIoT-enabled smart cities ● Privacy preserving techniques for IoT-enabled smart cities ● Privacy modeling and analysis for IoT-enabled smart cities ● Miscellaneous privacy issues in AIoT-enabled smart cities Important Dates Submissions Deadline: August 31, 2025 Review result notification: November 1, 2025 Acceptance/rejection: December 31, 2025 Submission Format and Guideline Authors should follow the "Guidelines for Authors" from The Journal of Systems Architecture (JSA). Details can be found at Guide for authors - Journal of Systems Architecture (https://www.sciencedirect.com/journal/journal-of-systems-architecture/publi…). Solicited original submissions must not be currently under consideration for publication in other venues. All manuscripts and any supplementary material should be submitted through Submission site for Journal of Systems Architecture ( https://www.editorialmanager.com/jsa/default.aspx). Please select the “VSI:SPASS” option as article type of the paper. Guest editors: Associate Prof. Qin Liu Hunan University, Changsha, China Prof. Kouichi Sakurai Kyushu University, Fukuoka, Japan Prof. Richard Hill University of Huddersfield, Huddersfield, UK Associate Prof. Wenjia Li UK New York Institute of Technology, Old Westbury, USA -- Dr. Qin Liu College of Computer Science and Electronic Engineering Hunan University Changsha, Hunan Province,P.R. China, 410082 Mobile: +86-13548577157 Email: gracelq628(a)hnu.edu.cn; gracelq628(a)126.com Homepage: https://qinliu-hnu.github.io/

9 months

1
0
0 0

FMCAD 2025: Deadline Extension

by Daniela Kaufmann

================================================================================ Formal Methods in Computer-Aided Design (FMCAD) 2025 - Deadline Extension ================================================================================ FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and 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. ## General Information Conference Website: https://fmcad.org/FMCAD25/ Conference Location: SRI Headquarters, Menlo Park, California, US Conference Dates: October 6 - October 10, 2025 FMCAD 2025 includes the FMCAD Student Forum (https://fmcad.org/FMCAD25/student_forum/) and is co-located with VSTTE 2025. ## Topics of Interest FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Topics of interest include (but are not limited to): *Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. *Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. *Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. *Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, introduce new features, or substantially improve the automation of formal methods. *Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, block chains, and IoT devices. *Application of formal methods to the analysis of machine learning systems, and applications of machine learning to enhance formal methods techniques. ## Important Dates *Abstract Submission Deadline: April 28, 2025 (extended from April 20, 2025) *Paper Submission Deadline: May 5, 2025 (extended from April 27, 2025) *Author Response: June 17 - June 19, 2025 *Author Notification: July 1, 2025 All deadlines are 11:59 pm AoE (Anywhere on Earth) ### FMCAD/VSTTE Program Outline *Main VSTTE Day: October 6, 2025 *Joint FMCAD/VSTTE Tutorial Day: October 7, 2025 *Main FMCAD days: October 8 - October 10, 2025 ## Submission Guidelines Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences?conf=fmcad2025 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. **Regular papers*are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. **Tool & Case Study papers*are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case Study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size; preferably, use the FMCAD template for papers. Papers in both categories can be either 8 pages (long) or 4 pages (short) in length excluding references. Short papers that describe emerging results, practical experiences, or original ideas that can be described succinctly are encouraged. Authors will be required to select an appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in all categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. FMCAD employs a rigorous peer-review process and each submission will be reviewed by at least four members of the program committee. The review process is single-blind. The review process will incorporate a feedback and rebuttal period during which authors will have the opportunity to formally respond to reviewer comments. **New - Artifact Evaluation:**FMCAD 2025 introduces optional artifact evaluation to enhance transparency and the usability of research outcomes. Authors reporting experimental results are strongly encouraged to publish their final data in a long-term repository (e.g. zenodo (https://zenodo.org)). With artifacts serving as supplementary evidence, high-quality artifacts can improve the likelihood of paper acceptance. Artifact evaluation will be integrated into the main review process, with one selected program committee member assessing the quality of the artifact alongside the paper. Accepted artifacts require a DOI and will be clearly identified in the published paper. Details are available on the Artifacts Page (https://fmcad.org/FMCAD25/cfa). Accepted papers are published by TU Wien Academic Press under a Creative Commons license (the authors retain the copyright) and distributed through the IEEE XPlore digital library. IEEE CEDA is a technical co-sponsor of FMCAD. There are no publication fees. Authors of accepted contributions will be required to sign the FMCAD copyright transfer form found here: https://fmcad.or.at/pdf/copyright.pdf. For each accepted paper, at least one unique author must register for the conference. Moreover, authors of accepted papers ensure that at least one of them will attend the conference and present the work. ## Student Forum Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. Submissions for the student forum must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work that has been partly published previously might be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a selected group of FMCAD student forum committee members. Details are available on the Student Forum Page (https://fmcad.org/FMCAD25/student_forum). ## FMCAD 2025 Committees ### Program Chair Ahmed Irfan, SRI, CA, USA Daniela Kaufmann, TU Wien, Austria ### Program Committee Guy Amir, Cornell University Erika Ábrahám, RWTH Aachen University Kshitij Bansal, Google Haniel Barbosa, Universidade Federal de Minas Gerais Per Bjesse, Synopsys Inc. Nikolaj Bjørner, Microsoft Martin Blicha, University of Lugano Roderick Bloem, Graz University of Technology Rayna Dimitrova, CISPA Helmholtz Center for Information Security Supratik Chakraborty, IIT Bombay Aleksandar Chakarov, Phase Change Software LLC Pascal Fontaine, Université de Liège Katalin Fazekas, TU Wien Divya Gopinath, NASA Ames (KBR Inc.) Alberto Griggio, Fondazione Bruno Kessler Arie Gurfinkel, University of Waterloo Liana Hadarean, Amazon Web Services Paula Herber, University of Münster Osman Hasan, National University of Sciences and Technology (NUST) Marijn Heule, Carnegie Mellon University Antti Hyvärinen, Certora Alexey Ignatiev, Monash University Mitesh Jain, Rivos Inv. Mikolas Janota, Czech Technical University in Prague Susmit Jha, SRI International Martin Jonas, Masaryk University Jianwen Li, East China Normal University Enrico Magnago, Amazon Web Services Sergio Mover, Ecole Polytechnique Antonina Nepeivoda, Program System Institute of RAS Aina Niemetz, Stanford University Mathias Preiner, Stanford University Stefan Ratschan, Czech Academy of Sciences Kristin Rozier, Iowa State University Philipp Rümmer, University of Regensburg and Uppsala University Mark Santolucito, Barnard College Christoph Scholl, University of Freiburg Martina Seidl, Johannes Kepler University Linz Natarajan Shankar, SRI International Natasha Sharygina, University of Lugano Anna Slobodova, ARM Mate Soos, Ethereum Foundation Christoph Sticksel, The MathWorks Nestan Tsiskaridze, Stanford University Ashish Tiwari, Microsoft Georg Weissenbacher, TU Wien Andrew Wu, Amherst College Nisansala Yatapanage, Australian National University Emily Yu, Institute of Science and Technology Austria Cunxi Yu, University of Maryland Zhen Zhang, Utah State University Hongce Zhang, Hong Kong University of Science and Technology (Guangzhou) Yoni Zohar, Bar-Ilan University ### Local Chair Stéphane Graham-Lengrand, SRI, CA, USA ### Registration Chair Jenny McNeill, SRI, CA, USA ### Student Forum Chairs Tanja Schindler, University of Basel, Switzerland Lee A. Barnett, AWS, CA, USA ### Sponsorship Chair: Alex Ozdemir, Stanford University, CA, USA ### Publication Chair Georg Weissenbacher, TU Wien, Austria ### Web Chair Thomas Hader, TU Wien, Austria ### FMCAD Steering Committee Clark Barrett, Stanford University, CA, USA Armin Biere, University of Freiburg, Germany Ruzica Piskac, Yale University, USA Anna Slobodova, ARM, USA Georg Weissenbacher, TU Wien, Austria

9 months, 1 week

1
0
0 0

2026

2025

2024

2023

2022