November 2024 - FMIndia

Lead Software Engineer position in Jasper/Cadence

by Ravi Prakash

Hi, We have an open position in industry leading formal product Jasper from Cadence. The position is in Bangalore and we are interested in recently completed PhDs in formal domain. Looking for people who are passionate about formal/coding and making an impact with their knowledge in Jasper. Please write to me directly at ravipr(a)gmail.com or ravipr(a)cadence.com for further details. Thanks Ravi

4 months

1
0
0 0

ICISS 2024 - Call for Participation

by Madhavan Mukund

----- Forwarded message from Preetam Mukherjee <preetam.mukherjee(a)duk.ac.in> ----- From: Preetam Mukherjee <preetam.mukherjee(a)duk.ac.in> Date: Tue, 26 Nov 2024 23:32:25 +0530 Subject: ICISS 2024 - Call for Participation ============================ Dear Researcher, We warmly invite you to participate in ICISS 2024. By attending the conference you will not only be able to meet the authors and keynote speakers at the conference but also have access to four pre-conference events. If you are a full-time doctoral student, you may avail travel support available through the generous support of our sponsors. ICISS 2024 is hosted by LNMIIT Jaipur between December 16 and 19, 2024. Complete program is available here: https://iciss.isrdc.in/program/ By participating in ICISS 2024, apart from the technical sessions, you will have opportunity to hear the following Keynote & Invited talks: *Scams in the Cryptocurrency Market* *Alessandro Mei, Sapienza University of Rome**Security Tai Chi: The Art of Building and Attacking Secure Computing Systems* *Ahmad-Reza Sadeghi, TU Darmstadt**Data Security and Privacy in Emerging Scenarios* *Pierangela Samarati, University of Milan**Biometrics and AI: Challenges and Opportunities* *Vincenzo Piuri, University of Milan**From Security to Scalability: The Multifaceted Role of Cryptographic Primitives in XRPL R&D* *Aanchal Malhotra, Ripple**Modeling and Security Analysis of Attacks on Machine Learning Systems* *Anoop Singhal, NIST**Large language models: are guarded models safe?* *Atul Prakash, University of Michigan**Towards Regulated, Private and Robust Central Bank Digital Currency (CBDC)* *Kari Kostiainen, ETH Zurich* https://iciss.isrdc.in/keynotes/ You can also attend the following pre-conference Tutorials & Workshop: Tutorial 1: Deep Learning for Cybersecurity Tutorial 2: Android Security Tutorial 3: Malware Hunt-Demystifying the Invisible Threats A Workshop on Post-Quantum Cryptography https://iciss.isrdc.in/tutorials-workshops/ Conference website: https://iciss.isrdc.in Registration process: https://iciss.isrdc.in/fees-payment/ Best regards, -- Dr. Preetam Mukherjee Assistant Professor School of Computer Science & Engineering Kerala University of Digital Sciences, Innovation and Technology Thiruvananthapuram, Kerala, India https://duk.ac.in/personnel/dr-preetam-mukherjee/ <https://duk.ac.in/> ----- End forwarded message -----

4 months

1
0
0 0

Senior Project Associate/Postdoc Position - Model Checking and Formal Verification

by Arpit Sharma

Dear All, Hope this email finds you well. I am happy to share that a senior project associate/postdoc position is available in my research group at IISER Bhopal in the area of model checking and formal verification. This position is funded by the DST-SERB Core Research Grant project titled GALTOSM: A Graph and Logic Transformation Based Toolkit for Software Model Checking. I would request you to please share this information with your PhD/Postdoc students, and colleagues in academia. Candidates with a master's or bachelor's degree and 4 years of relevant research/industry experience will also be considered for this position. Interested candidates are encouraged to directly contact me at : arpit(a)iiserb.ac.in The details of this position are as follows: Duration: 2.2 years. Salary: INR 42,000 + HRA (as applicable) per month. Essential Qualifications: Doctoral Degree in Computer Science/Computer Engineering from a recognized University or equivalent (preferably in model checking/software verification/formal methods/process algebra/model-based testing). OR 1. Master of science degree in computer science or Master of Science in mathematics or Bachelor of Engineering/Technology degree in computer engineering/computer science from a recognized University/Institute and having minimum 60% marks or CGPA of 7.5 and above at a scale of 10. 2. Four years' experience in Research and Development in theoretical computer science (preferably in formal methods/model checking) in Industrial and Academic Institutions or Science and Technology Organisations and Scientific activities and services Desirable: 1. Candidates should have a strong background in logic, formal methods/model checking. 2. Candidates should have some prior experience in design and implementation of software tools for mathematical analysis of software systems. Age limit: Candidates should be below 40 years of age on the last date of application. Start Date: December 2024 or January 2025 Thanks. Regards, Arpit Arpit Sharma Associate Professor Department of Electrical Engineering & Computer Science Indian Institute of Science Education and Research, Bhopal Bhopal - 462066, Madhya Pradesh, India Homepage : https://sites.google.com/iiserb.ac.in/arpit-sharma/

4 months

1
0
0 0

Petri Nets 2025 - Call for Papers

by Étienne André

============================================================ Call for papers PETRI NETS 2025 46th international conference on application and theory of Petri nets and concurrency ============================================================ Paris, France 23-27 June 2025 https://petrinets25.github.io/web/ ## Paper Submission Petri Nets 2025 solicits high quality papers reporting research results and/or tools related to the topics mentioned below. * Regular papers (20 pages LNCS excluding references) must describe original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency. * Tool papers (10 pages LNCS excluding references) must describe a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be for free). The tool will be demonstrated in the Tool Exhibition, in addition to being presented in a conference talk. All papers must be original, unpublished, and not submitted for publication elsewhere. Papers must be written in English using the Springer LNCS format, including line numbers (e.g.,https://ctan.org/pkg/lineno LaTeX package) and submitted electronically (as a PDF file) by the deadline using EasyChair(https://easychair.org/conferences/?conf=petrinets2025). ## Important dates Abstract submission : 15 January 2025 Submission of papers : 22 January 2025 Notification : 10 March 2025 Final version due : 24 March 2025 Participation in tool exhibition: 30 May 2025 Workshops and Tutorials : 23-24 June 2025 Main Conference : 25-27 June 2025 The deadline is the end of day (AoE). ## Topics of Interest Topics specific to Petri Nets * Analysis and synthesis, structure and behavior of nets * System design and model-driven development using nets * Relationships between Petri nets and other approaches * Net-based semantical, logical and algebraic calculi * Higher-level net models (colored nets, timed nets, etc.) * Stochastic net models * Verification and model checking using nets * Process discovery and conformance checking * Computer tools for nets * Standardization of nets * Experience reports describing applications of nets to different kinds of systems and application fields (e.g., flexible manufacturing systems, office automation, real-time systems, workflows, embedded systems, process mining, biological systems, supervisory control, health and medical systems, protocols and networks, environmental systems, Internet and Web services, hardware, e-commerce and trading, telecommunications, programming languages, railway networks, performance evaluation, component based development, operations research) General topics of interest related to concurrency * Application of concurrency to system design: formal models for designing computer systems with concurrent behavior, applied research aimed at designing computer systems which exhibit concurrency, etc. * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems * Causality/partial order theory of concurrency * Educational issues related to concurrency * New developments in the theory of concurrency * Modeling of hardware and biological systems Papers presenting original research on application or theory of Petri nets, as well as contributions addressing topics relevant to the general field of distributed and concurrent systems or focused on applications of concurrency to system design are sought. The language of the conference is English, and its proceedings will be published by Springer-Verlag in LNCS. All accepted papers will be considered for an Outstanding Paper award. Authors of selected papers presented at the conference will be invited to submit an extended version that will be further reviewed for inclusion into a special issue of a renowned journal. ## Tool Exhibition An exhibition of Petri net tools will take place on Wednesday June 25. It consists of informal demonstrations for small groups/individuals and there are no scheduled talks. Requests for participation in the tool exhibition must be sent to the Tool Exhibition chairs by the deadline stated at the top of this Call for Papers. They should include a link to the Web pages for the tool (or a short description of the tool). The demonstrators should bring their own laptops, while the organisers may be requested to give access to the Internet. ## Courses, Workshops and Tutorials The main conference takes place from Wednesday 25 to Friday 27. The two days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Monday 23 to Tuesday 24. It offers a thorough introduction to Petri nets in half-days and full-day modules. For successful participation in the entire course, including preparation and examination, two credit points (ECTS) will be awarded. Each module of the course can also be taken separately, without any credit. Detailed descriptions of Workshops and Tutorials will be made available via the conference Web page. It is also possible to arrange Meetings and Courses related to Petri Nets. Submissions for such activities must contain a 2-5 page description. They must be received by the Workshops and Tutorials chairs via email no later than January 15, 2025. ## Organization The 46th annual international Petri Nets conference will be organised by the LoVe (Logics and Verification) team at the Université Sorbonne Paris Nord (France) jointly with members of the MeFoSyLoMa group. The conference will take place at the Campus Condorcet. ### Organization Committee * Étienne André (Université Sorbonne Paris Nord) * Carlos Olarte (Université Sorbonne Paris Nord) ### Program committee co-chairs * Elvio Amparore, Italy * Łukasz Mikulski, Poland ### Workshops co-chairs * Giuliana Franceschinis, Italy * Karsten Wolf, Germany ### Petri Net Course and Tutorials co-chairs * Jörg Desel, Germany * Lars Kristensen, Norway ### Publicity chair * Benoît Barbot, France ## Program committee * Elvio Amparore, Italy (co-chair) * Abel Armas Cervantes, Australia * João Paulo Barros, Portugal * Benoît Delahaye, France * João Miguel Fernandes, Portugal * Guiliana Franceschinis, Italy * Luis Gomes, Portugal * Xudong He, USA * Loïc Helouet, France * Wojciech Jamroga, Luxemburg * Gabriel Juhás, Slovakia * Anna Kalenkova, Australia * Michael Köhler-Bußmeier, Germany * Lars Kristensen, Norway * Lisa Mannel, Germany * Łukasz Mikulski, Poland (co-chair) * Andrew Miner, USA * Guillermo Alberto Perez, Belgium * Marta Pietkiewicz-Koutny, UK * Artem Polyvyanyy, Australia * Lucia Pomello, Italy * Andrey Rivkin, Denmark * Natalia Sidorova, The Netherlands * Jiří Srba, Denmark * Jeremy Sproston, Italy * Nathalie Sznajder, France * Remigiusz Wisniewski, Poland * Karsten Wolf, Germany

4 months, 1 week

1
0
0 0

Call for Participation: FSTTCS 2024 and allied workshops

by Shibashis Guha

*Apologies for cross-posting* Call for Participation: FSTTCS 2024 and allied workshops ========================================== QUICK LINKS: Website: https://www.fsttcs.org.in/2024/ Local website: https://fsttcs.info/ Registration: https://fsttcs.info/registration/ Early-bird registration deadline: 24th November, AoE Volunteer Program: https://fsttcs.info/volunteers/ Deadline to apply: 20th November, AoE Social Events: https://fsttcs.info/social/ Virtual Participation: https://fsttcs.info/online/ ========================================== WORKSHOPS: MM: Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds Dates: December 14 – 15, 2024 https://mmcomplexity.github.io/ RHPL: Research Highlights in Programming Languages Dates: December 16 – 18, 2024 https://fmindia.cmi.ac.in/rhpl2024/ WAGS: Workshop on Automata and Games for Synthesis Dates: December 19, 2024 https://sites.google.com/view/fsttcs2024bworkshop AMD: Workshop on Algorithmic Mechanism Design Dates: December 19 – 20, 2024 http://www.tcs.tifr.res.in/~amd-24 ========================================== FSTTCS 2024 is the 44th conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. Within Track B, there is a focus on soliciting submissions in the areas of Programming Languages and Practical Verification, in addition to theoretical results. FSTTCS 2024 will be held in IIT Gandhinagar during December 16–18, 2024. The conference is being organized as an in-person event. We also have several exciting workshops lined up! You can register for the conference and any subset of the workshops, or just for one or more of the workshops. We are also on a social media network near you. Please follow us to keep up with updates: https://mathstodon.xyz/@fsttcs https://bsky.app/profile/fsttcs.bsky.social https://x.com/fsttcs https://instagram.com/fst.tcs We look forward to welcoming you at IIT Gandhinagar this December!

4 months, 1 week

1
0
0 0

Call for ECOOP 2025 Workshop Proposals

by Clément Aubert

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % CALL FOR WORKSHOPS % ECOOP'25 % Mon 30 June - Fri 4 July 2025 Bergen, Norway <https://2025.ecoop.org/venue/ecoop-2025-venue>% https://2025.ecoop.org/ % https://2025.ecoop.org/track/ecoop-2025-workshops#Call-for-Workshops %%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Overview ------------- ECOOP (the European Conference on Object-Oriented Programming) hosts a diverse offering of workshops bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experiences. Topics for workshops may include, but are not limited to, the theory, design, implementation, optimization, testing, and analysis of programs and programming languages. Workshops will run after the program of the main conference (Thu. 3 − Fri. 4 July 2025). The organizers will investigate the possibility of organizing the publication of a single-volume peer-reviewed post-proceedings if there is enough interest. Submission link: https://framaforms.org/proposal-for-ecoop25-workshop-1729617158 Please contact ECOOP'25 workshops chair, Clément Aubert (caubert(a)augusta.edu or clement.aubert(a)math.cnrs.fr), if you have any questions. Timeline ------------- - Workshop proposal will be reviewed on a rolling basis, with the last submission date being on January 24, 2025. - Workshops must send notifications for accepted papers by June 21, 2025, which will be about one week before the early registration deadline. - The workshop’s website must be live within two weeks of notification of the workshop’s acceptance and include relevant information about the organizers and any call for contributions. To submit a proposal for an ECOOP'25 workshop, please complete the online form linked above. After submitting, you will receive an automated email confirmation of your submission and, within at most four weeks (or shortly after the final submission deadline), a formal response notifying you if the workshop has been accepted for ECOOP'25. -- Clément Aubert, Associate Professor of Computer Science, School of Computer and Cyber Sciences, Augusta University, https://spots.augusta.edu/caubert/

4 months, 2 weeks

1
0
0 0

Final Call for Submissions - WAGS@FSTTCS'24 - Deadline Extended!

by Suman Sadhukhan

[Apologies for multiple postings] Dear Colleagues, Please see below the call for submissions for Workshop on Automata and Games for Synthesis, and note that the submission deadline is extended to *20th November AOE*, as the early-bird registration of FSTTCS'24 has been pushed to 24th November AOE as well. Please distribute the call, consider submitting and encourage your fellow researchers and students to submit their best work of the year! -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- *Call for participation* Workshop on automata and games for synthesis <https://sites.google.com/view/fsttcs2024bworkshop> Gandhinagar, Gujarat, India December 19th, 2024 Co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024 --------------------------------------------------------------------------------------------- Submission of contributed talks at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation --------------------------------------------------------------------------------------------- =================== About the workshop =================== The first workshop on automata and games for synthesis is an on-site event happening on the 19th of December, 2024, in Gandhinagar, India. It is co-located with Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024, the premier international computer science conference in India, and takes place each year in December since 1981. Automated synthesis of systems from specifications has been a longstanding goal of computer science. The workshop focuses on various aspects by which automata and game solving are used to tackle problems motivated by synthesis. The workshop has several invited speakers and one session with short-presentations. For the short-presentation, *students, postdocs, and early-career researchers* are encouraged to talk about their research in 10-15 minute sessions (exact length will depend on the number of contributions). The workshop does not have any proceedings, and therefore previously published talks or ongoing work are both encouraged to be presented. Topics for the presentation at the workshop include, but are not limited to, the following: Automata Theory Synthesis Games on Finite and Infinite Graphs Computational aspects of Game Theory Concurrency and Distributed computation Formal Languages Games and Automata for Verification Specification and Verification of Finite and Infinite-state Systems ============================ Important dates and information ============================ Deadline: *November 20th 2024 (AoE) *(Extended from 14th Nov, 2024) Submit your contributions at: https://sites.google.com/view/fsttcs2024bworkshop/short-presentation Notifications: *November 25th 2024* Event: *19th December 2024* ============= Speakers ============= Dmitry Chistikov (University of Warwick) C. Aiswarya (Chennai Mathematical Institute) Youssouf Oualhadj (Université Paris-Est Créteil Val de Marne) and more to be announced. ============= Organisers ============= Sougata Bose Suman Sadhukhan K. S. Thejaswini ============= Program ============= The detailed program will be here <https://sites.google.com/view/fsttcs2024bworkshop/schedule> closer to the workshop. For any queries, contact the organisers: sougata.Bose(a)liverpool.ac.uk, ssadhukh(a)campus.haifa.ac.il, thejaswini.k.s(a)ista.ac.at Regards, Suman Sadhukhan Postdoctoral researcher University of Haifa

4 months, 2 weeks

1
0
0 0

Fwd: RE'25 Call for Papers and Contributions - 33rd IEEE International Requirements Engineering Conference

by Arpit Sharma

RE 2025 - The 33rd IEEE International Requirements Engineering Conference September 1-5, 2025 in Valencia, Spain Visit the official website: https://conf.researchr.org/home/RE-2025 Follow us on X: https://x.com/ieee_re The IEEE International Requirements Engineering Conference is the premier requirements engineering (RE) conference, where researchers, practitioners, students and educators meet, present and discuss the most recent innovations, trends, experiences and issues in the field of RE. RE'25 welcomes original contributions focusing on traditional RE topics, such as requirements elicitation, analysis, prioritisation, documentation, validation, evolution, and maintenance. It also highly encourages contributions covering novel areas at the boundary of RE and other disciplines, including but not limited to software engineering/computer science at large, mechanical/electronic/civil and other engineering, business, social science, psychology, anthropology, and the humanities. In addition, this year, we particularly encourage submissions addressing the theme “Future-proofing Requirements Engineering”. This theme focuses on innovating RE by embracing AI, DevOps, sustainability, security, personalization, and agile practices. It aims to equip professionals with the tools and methodologies needed to address the evolving challenges and opportunities in software development, ensuring robust, user-centric, and adaptable systems. Call for contributions: * Research Papers (Solution-focused and Evaluation-focused) * Industrial Innovation Papers (Full, Short, and Presentation-only) * RE@Next! Papers (Research Previews and Vision) * Posters and Tool Demonstrations * Journal-First Papers We also invite: * Tutorial Proposals * Workshop Proposals * Submissions to the Doctoral Symposium * (NEW) Submissions to RE Open Data Initiative (contact re-open-data-initiative(a)googlegroups.com<mailto: re-open-data-initiative(a)googlegroups.com> to know more) Submission Dates: * Dec 10, 2024: RE Open Data Initiative Submissions * Jan 20, 2025: Workshop Proposals * Mar 3, 2025: Research Paper Abstracts * Mar 10, 2025: Research Papers * Mar 24, 2025: RE@Next! & Industrial Innovation Paper Abstracts * Apr 07, 2025: RE@Next! & Industrial Innovation Papers * Apr 28, 2025: Journal-First & Tutorial Proposals * Jun 2, 2025: Workshop Papers * Jun 16, 2025: Doctoral Symposium Papers & Poster and Tool Demos All deadlines are 23:59 AoE (Standard Time). RE’25 will have a diverse program and interactive sessions attendees. We are looking forward to your submissions and an exciting conference! General Chairs - Jose Ignacio Panach Navarrete & Oscar Pastor Program Chairs - Alessio Ferrari & Norbert Seyff Program Committee Members: - João Araújo, NOVA LINCS, Portugal - Fatma B. Aydemir, Utrecht University, NL - Muneera Bano, CSIRO's Data61, Australia - Nelly Bencomo, Durham University, UK - Dan Berry, University of Waterloo, Canada - Domenico Bianculli, University of Luxembourg - Travis Breaux, Carnegie Mellon University, US - Giovanna Broccia, ISTI-CNR, FMT Lab, Italy - Ruzanna Chitchyan, University of Bristol, UK - Jane Cleland-Huang, University of Notre Dame, US - Benoit Combemale, Inria, CNRS, IRISA, France - Jacek Dąbrowski, Lero, Ireland - Maya Daneva, University of Twente, NL - Arpit Sharma, IISER Bhopal, India - Oscar Dieste, UPM, Spain - Neil Ernst, University of Victoria, Canada - Xavier Franch, UPC, Spain - Julian Frattini, BTH, Sweden - Vincenzo Gervasi, University of Pisa, Italy - Sepideh Ghanavati, University of Maine, US - Eduard C. Groen, Fraunhofer IESE, Germany - Iris Groher, JKU, Linz, Austria - Alicia M. Grubb, Smith College, US - Paul Grünbacher, JKU, Linz, Austria - Renata Guizzardi, University of Twente, NL - Irit Hadar, University of Haifa, Israel - Anne Hess, THWS, Germany - Jennifer Horkoff, Chalmers and GU, Sweden - Emilio Insfran, UPV, Spain - Klaas-Jan Stol, Lero, Ireland - Zhi Jin, Peking University, China - Oliver Karras, TIB, Germany - Eric Knauss, Chalmers and GU, Sweden - Sylwia Kopczyńska, PUT, Poland - Emmanuel Letier, UCL. UK - Tong Li, BJUT, China - Grischa Liebel, Reykjavik University, Iceland - Walid Maalej, University of Hamburg, Germany - Sabrina Marczak, PUCRS, Brazil - Mehdi Mirakhorli, University of Hawaii - Ana Moreira, NOVA University of Lisbon, Portugal - Nan Niu, University of Cincinnati, US - Nicole Novielli, University of Bari, Italy - Barbara Paech, Heidelberg University, Germany - Nitish Patkar, FHNW, Switzerland - Birgit Penzenstadler, Chalmers, Sweden - Anna Perini, FBK, Italy - Kurt Schneider, LUH, Germany - Paola Spoletini, Kennesaw State University, US - Jan-Philipp Steghöfer, XITASO GmbH IT, Germany - Angelo Susi, FBK, Italy - Michael Unterkalmsteiner, BTH, Sweden - Colin C. Venter, University of Huddersfield, UK - Michael Vierhauser, University of Innsbruck, Austria - Tao Yue, Beihang University, China - Liping Zhao, University of Manchester, UK - Waad Alhoshan, IMSIU, Saudi Arabia - James Tizard, University of Auckland, NZ - Christoph Becker, Univ. of Toronto, Canada - Laura Semini, Università di Pisa, Italy

4 months, 2 weeks

1
0
0 0

[FormaliSE 2025]: Final CfP with Deadlines Extension

by Arpit Sharma

*Call for Papers: FORMALISE 2025* 13th International Conference on Formal Methods in Software Engineering 27 and 28 April, 2025 co-located with ICSE 2025 (April 27-May 3, 2025), Ottawa, Canada https://conf.researchr.org/home/Formalise-2025 *Overview* Historically, formal methods academic research and practical software development have had limited mutual interactions — except possibly in specialized domains such as safety-critical software. In recent times, the outlook has considerably improved: on the one hand, formal methods research has delivered more flexible techniques and tools that can support various aspects of the software development process: from user requirements elicitation, to design, implementation, verification and validation, as well as the creation of documentation. On the other hand, software engineering has developed a growing interest in rigorous techniques applied at scale. The FormaliSE conference series promotes work at the intersection of the formal methods and software engineering communities, providing a venue to exchange ideas, experiences, techniques, and results. We believe more collaboration between these two communities can be mutually beneficial by fostering the creation of formal methods that are practically useful and by helping develop higher-quality software. Originally a workshop event, since 2018 FormaliSE has been organized as a conference co-located with ICSE. The 13th edition of FormaliSE will also take place as a co-located conference of ICSE 2025. *Areas of interest* include but are not limited to: - requirements formalization and formal specification; - approaches, methods and tools for verification and validation; - formal approaches to safety and security related issues; - analysis of performance and other non-functional properties based on formal approaches; - scalability of formal method applications - integration of formal methods within the software development lifecycle (e.g., change management, continuous integration, regression testing, and deployment) - model-based engineering approaches; - correctness-by-construction approaches for software and systems engineering; - application of formal methods to specific domains, e.g., autonomous, cyber-physical, intelligent, and IoT systems; - formal methods for AI-based systems (FM4AI), and AI applied in formal method approaches (AI4FM); - formal methods in a certification context - case studies developed/analyzed with formal approaches - experience reports on the application of formal methods to real-world problems; - guidelines to use formal methods in practice; - usability of formal methods. *Important dates*: - Abstracts due: 18 November 2024 (AoE) - EXTENDED DEADLINE - Submissions: 25 November 2024 (AoE) - EXTENDED DEADLINE - Notifications: 13 January 2025 - Camera ready copies: 5 February 2025 - FormaliSE conference: 27-28 April 2025 *Paper submission guidelines *We accept papers in three categories: - *Full research papers* describing original research work and results. We encourage authors to include validation of their contributions by means of a case study or experiments. We also welcome research papers focusing on tools and tool development. - *Case study papers* discussing a significant application that suggests general lessons learned and motivates further research, or empirically validates theoretical results (such as a technique's scalability). - *Research ideas papers* describing new ideas in preliminary form, in a way that can stimulate interesting discussions at the conference, and suggest future work. All papers submitted to the FormaliSE 2025 conference must be written in English, must be unpublished original work, and must not be under review or submitted elsewhere at the time of submission. Submissions must comply with the FormaliSE's lightweight double-anonymous review process (see below). Full research papers and case study papers can take up to 10 pages including all text, figures, tables and appendices, but excluding references. Research ideas papers can take up to 4 pages, plus up to 1 additional page solely for references. To avoid that authors waste time fitting their papers into the stated limit at the expense of presentation clarity, paper lengths slightly exceeding the stated limit will still be considered, provided that the reviewers find that the presentation is of high quality. All submissions must be in PDF format and must conform to the IEEE conference proceedings template, specified in the IEEE Conference Proceedings Formatting Guidelines (i.e., title in 24pt font and full text in 10pt type): https://www.ieee.org/conferences/publishing/templates.html In LaTeX, use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options. To submit a paper to FormaliSE 2025 use thisHotCRP link: https://formalise25.hotcrp.com/ *Lightweight Double-Blind Review Process for Papers *As in recent editions, FormaliSE 2025 will use a lightweight double-anonymous process. Authors must omit their names and institutions from the title page, cite their own work in the third person, and omit acknowledgments that may reveal their identity or affiliation. The purpose is reducing chances of reviewer bias influenced by the authors’ identities. The double-anonymous process is, however, lightweight, which means that it should not pose a heavy burden for authors, nor should make a paper's presentation weaker or more difficult to review. Also, advertising the paper as part of your usual research activities (for example, on your personal web-page, in a pre-print archive, by email, in talks or discussions with colleagues) is permitted without penalties. *Paper selection *Each paper will be reviewed by at least three program committee members that will judge its overall quality in terms of its soundness, significance, novelty, verifiability, and presentation clarity. FormaliSE 2025 will adopt a lightweight response process: if all the reviewers of a given paper agree that a clarification from the authors regarding a specific question could move the paper from "borderline" to "accept", the chairs will relay the reviewers' questions to the authors by email, and then share their reply with the reviewers in HotCRP. The goal of lightweight responses is reducing the chance of random decisions on borderline papers. Hence, they will only be used for a minority of submissions; most papers will not require such an author response. Nevertheless, we would ask the corresponding authors of all submissions to make sure that they are available to answer questions by email upon request. *Artifact Evaluation *Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, FormaliSE 2025 continues its Artifact Evaluation (AE) procedure. An artifact is any additional material (software, data sets, machine-checkable proofs, etc.) that substantiates the claims made in the paper and ideally makes them fully reproducible. Submission of an artifact is optional but encouraged for all papers where it can support the results presented in the paper. Artifact review is single-anonymous (the paper corresponding to an artifact must still follow the double-anonymous submissions requirements) and will be conducted concurrently with the paper reviewing process. Artifacts will be handled by a separate Artifact Evaluation Committee, and the Artifact Evaluation process will be set up such that the anonymization of the corresponding papers will not be compromised. Accepted papers with a successfully evaluated artefact will be awarded the [EAPLS badges ( https://eapls.org/pages/artifact_badges/) that apply (among "Functional", "Reusable", and "Available"). Awarded badges are to be added to the camera-ready version of the paper. Artifacts will be assessed with respect to their consistency with the results presented in the paper, their completeness, their documentation, and their ease of use. The Artifact Evaluation will include an initial check for technical issues; authors of artifacts may be contacted by email within the first two weeks after artifact submission to help resolve any technical problems that prevent the evaluation of an artifact if necessary. The results of an artifact evaluation will not be available to the reviewers of the corresponding paper; hence, they will not affect the paper's acceptance decision. However, reviewers will know whether a paper has submitted *any* artifacts; this piece of information may be taken into account to decide whether the paper should be accepted. Thus, if there are justifiable reasons why a paper's artifacts cannot be submitted, they should be pointed out in the paper so that the reviewers can appreciate them and adjust their expectations accordingly. Detailed guidelines for preparation and submission of artifacts will be described in a dedicated page inFormaliSE 2025's website. *Publication *All accepted papers are published as part of the ICSE 2025 Proceedings in the ACM and IEEE Digital Libraries. At least one author of each accepted paper is required to register for the conference and present the paper at the conference — physically or, if the circumstances do not allow so, virtually. Failure to register an author will result in a paper being removed from the proceedings. *General Chairs* - Stefania Gnesi, Istituto di Scienza e Tecnologie dell’Informazione, Italy - Nico Plat, Thanos, The Netherlands *Program Chairs* - Anastasia Mavridou, KBR / NASA Ames Research Center, USA - Gwen Salaün, University Grenoble Alpes, France *Artifact Evaluation Chairs* - Ákos Hajdu, Meta, UK - Lina Marsso, University of Toronto, Canada *Social Media Chair* - Quentin Nivon, University Grenoble Alpes, France *Program committee* - Bernhard Aichernig, TU Graz, Austria - Toshiaki Aoki, Japan Advanced Institute of Science and Technology, Japan - Kyungmin Bae, Pohang University of Science and Technology, Korea - Domenico Bianculli, University of Luxembourg, Luxembourg - Simon Bliudze, INRIA Lille - Nord Europe, France - Giovanna Broccia, ISTI - CNR, Italy - Radu Calinescu, University of York, UK - Pablo Castro, National University of Rio Cuarto, Argentina - Zhenbang Chen, NUDT, China - Nancy Day, University of Waterloo, Canada - Francisco Durán, University of Málaga, Spain - Marie Farrell, University of Manchester, UK - Carlo A. Furia, USI Lugano, Switzerland - Fatemeh Ghassemi, University of Tehran, Iran - Divya Gopinath, KBR/ NASA Ames Research Center, USA - Yann-Gaël Guéhéneuc, Concordia University, Canada - Paula Herber, University of Münster, Germany - Marieke Huisman, University of Twente, The Netherlands - Fuyuki Ishikawa, National Institute of Informatics, Japan - Xiaoqing Jin, Apple Inc., USA - Violet Ka I Pun, Western Norway University of Applied Sciences, Norway - Oleksandr Kolchyn, Glushkov Institute of Cybernetics, Ukraine - Antónia Lopes, University of Lisbon, Portugal - Larissa Meinicke, University of Queensland, Australia - Camilo Rocha, Pontificia Universidad Javeriana, Colombia - Cristina Seceleanu, Mälardalen University, Sweden - Arpit Sharma, EECS Department, IISER Bhopal, India - Allison Sullivan, University of Texas, Arlington, USA - Heike Wehrheim, University of Oldenburg, Germany

4 months, 2 weeks

1
0
0 0

MMComplexity 2024: Call for Participation

by Akshay S

(Apologies for multiple/cross-posting) =================== Call for participation =================== Milestones and Motifs in the Theory of Proofs, Algebraic Computation, and Lower Bounds (MMComplexity 2024) <https://mmcomplexity.github.io/> IIT Gandhinagar, Gujarat, India December 14th, 15th, 2024.Co-located with the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS) 2024 <https://www.fsttcs.org.in/2024/>. The goal of this workshop is to explore recent advancements in circuit complexity, algebraic complexity, and proof complexity. We envisage this event to be relevant for both Algorithms and Complexity as well as Logic and Verification audiences. We have a stellar list of speakers lined up for the event; a partial list is given below: * V. Arvind, Visiting Professor at Chennai Mathematical Institute (CMI), India and Ex-Director of Indian Institute of Mathematical Sciences (IMSc), India * Olaf Beyersdorff, Professor of Theoretical Computer Science at Friedrich Schiller University Jena, Germany * Supratik Chakraborty, Bajaj Group Chair Professor at Indian Institute of Technology Bombay, India * Susanna De Rezende, Assistant Professor at Lund University, Sweden * Sumegha Garg, Assistant professor at Rutgers University, USA * Jakob Nordström,Professor at University of Copenhagen, Denmark and Lund University, Sweden * Madhu Sudan,Gordon McKay Professor, Harvard University, USA ============================ Important dates and information ============================ Early Registration Deadline:November 15th 2024 Registration link:https://events.iitgn.ac.in/apply/application_fsttcs.php?eventid=26092024 <https://events.iitgn.ac.in/apply/application_fsttcs.php?eventid=26092024> Event:14th and 15th December 2024 Webpage: https://mmcomplexity.github.io/ <https://mmcomplexity.github.io/> If you have any queries, please write to the organisers at mmcomplexity(a)gmail.com <mailto:mmcomplexity@gmail.com> ============================ Organisers ============================ S. Akshay (Indian Institute of Technology Bombay) Olaf Beyersdorff (Friedrich Schiller University Jena) Nutan Limaye (Indian Institute of Technology, Bombay, IT University of Copenhagen) Prajakta Nimbhorkar (Chennai Mathematical Institute)

4 months, 2 weeks

1
0
0 0

2025

2024

2023

2022

FMIndia November 2024