April 2023 - finite-model-theory - lists.rwth-aachen.de

Special Issue on Dynamic Logics at JLAP - Deadline Extension
by Carlos Areces 01 May '23

01 May '23

Call for Papers (apologies for multiple copies of this email) *** DaLí - Dynamic Logic: new trends and applications *** special issue of the Journal of Logical and Algebraic Methods in Programming === Updated Deadlines === * Deadline for submission of papers: June 15th, 2023 Notification of acceptance/rejection: November 1st, 2023 Submission of final versions: December 1st, 2023* === General Description === Dynamic Logic (DL), a generalization of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behavior of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time DL grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. This special issue is dedicated to new advances in Dynamic Logic. Its aim is to bring together papers on both pure and applied aspects of various branches of DL, and foster the exchange of ideas between researchers working in DL and other disciplines. We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.) in connection with DL, as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). === Topics of Interest === We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics === Submissions === Papers should be submitted via EasyChair ( https://easychair.org/conferences/?conf=dalsi2023). The submissions should be formatted according to the Journal's guidelines ( https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions ). All submissions will undergo the usual peer-review process by the standards of the Journal of Logical and Algebraic Methods in Programming. === Guest editors === Diana Costa (LASIGE, University of Lisbon, Portugal) Carlos Areces (FAMAF, Universidad Nacional de Córdoba, Argentina) === A related conference === This special issue is a follow-up of the workshop “DaLí - Dynamic Logic: new trends and applications” (affiliated with LICS, as part of FLOC) that took part on the 31st of July and 1st of August 2022, ( http://dali2022.campus.ciencias.ulisboa.pt/). Although the scope of the special issue coincides with that of the workshop, submissions are not restricted to papers presented there or papers by the participants. Rather, the call is open and all papers within the scope of the special issue are welcome. Best regards, Diana & Carlos DaLí 2022 special issue editors.

1 0

GandALF 2023: Call For Papers
by Gabriele Puppis 27 Apr '23

27 Apr '23

[apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on *September 18-20, 2023*. The aim of GandALF 2023 <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: · Automata Theory · Automated Deduction · Computational aspects of Game Theory · Concurrency and Distributed computation · Decision Procedures · Deductive, Compositional, and Abstraction Techniques for Verification · Finite Model Theory · First-order and Higher-order Logics · Formal Languages · Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems · Game Semantics · Games and Automata for Verification · Logical aspects of Computational Complexity · Logics of Programs · Modal and Temporal Logics · Model Checking · Models of Reactive and Real-Time Systems · Probabilistic Models (Markov Decision processes) · Program Analysis and Software Verification · Reinforcement Learning · Run-time Verification and Testing · Specification and Verification of Finite and Infinite-state Systems · Synthesis Important Dates · Abstract submission deadline: 23 June 2023 · Paper submission deadline: 30 June 2023 · Acceptance notification: 7 August 2023 · Camera-ready deadline: 6 September 2023 · Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftime.is%2…> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.eptcs.…>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flmcs.epis…> . The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fstyle.eptc…>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…> Invited Speakers · Laure Daviaud <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.city.…> – City, University of London (UK) · Juha Kontinen <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fresearchp…> – University of Helsinki (Finland) · Sophie Pinchinat <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpeople.ir…> – IRISA/University of Rennes (France) · Alexander Rabinovich <https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.cs.tau…> – Tel Aviv University (Israel) Program Committee · Dario Della Monica (co-chair) – University of Udine (Italy) · Antonis Achilleos (co-chair) – Reykjavik University (Iceland) · Parosh Aziz Abdulla – Uppsala University (Sweden) · Christel Baier – Technische Universität Dresden (Germany) · Valentina Castiglioni – Reykjavik University (Iceland) · Giorgio Delzanno – University of Genova (Italy) · Léo Exibard – Université Gustave Eiffel (France) · Gabriele Fici – University of Palermo (Italy) · Dana Fisman – Ben-Gurion University (Israel) · Nicola Gigante – Free University of Bozen-Bolzano (Italy) · Miika Hannula – University of Helsinki (Finland) · Naoki Kobayashi – The University of Tokyo (Japan) · Orna Kupferman – Hebrew University (Israel) · Martin Leucker – University of Lübeck (Germany) · Fabio Mogavero – University of Napoli (Italy) · Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) · Pawel Parys – University of Warsaw (Poland) · Guillermo Pérez – University of Antwerp (Belgium) · Giovanni Pighizzini – University of Milano (Italy) · Gabriele Puppis – University of Udine (Italy) · Joshua Sack – California State University Long Beach (USA) · Ocan Sankur – CNRS/Irisa (France) · Patrick Totzke – University of Liverpool (UK) · Jana Wagemaker – Radboud University (Netherlands) · Martin Zimmermann – Aalborg University (Denmark) · *(to be completed)* Steering Committee · Luca Aceto – Reykjavik University (Iceland) · Javier Esparza – University of Munich (Germany) · Salvatore La Torre – University of Salerno (Italy) · Angelo Montanari – University of Udine (Italy) · Mimmo Parente – University of Salerno (Italy) · Jean-François Raskin – Université libre de Bruxelles (Belgium) · Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/ <https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgandalf23…>

1 0

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory
by Phokion G. Kolaitis 27 Apr '23

27 Apr '23

LICS 2023 Workshop on Combinatorial Games in Finite Model Theory June 24-25, 2023, Boston, USA https://gamesandfmt.org/workshop2023/ Updated Call for Contributions and Participation The goal of this workshop is to promote work at the interface of complexity and logic. The workshop has two main foci: the first is recent progress in using combinatorial games to prove logical (in)expressiblity results, the second is limitations in the method of combinatorial games as a tool for establishing lower bounds in computational complexity. Invited Speakers: Yijia Chen (Shanghai Jiao Tong University) Erich Grädel (RWTH Aachen) Neil Immerman (University of Massachusetts Amherst) Antonina Kolokolova (Memorial University of Newfoundland) Submission Guidelines: Those wishing to speak at the workshop on any topic related to combinatorial games in finite model theory are invited to submit an Extended Abstract of up to three pages (including references) describing the content of the contributed presentation. At least one author from each accepted abstract must register for the workshop. *Presenters at the workshop are expected to be in person.* For additional information, please visit the workshop webpage https://gamesandfmt.org/workshop2023/ Important Dates (Updated): Abstract Submission: May 5, 2023 Author Notification: May 11, 2023 Early Registration Deadline: May 12, 2023 Regular Registration Deadline: June 9, 2023 Participation: Participation in person is strongly encouraged. However, the LICS 2023 conference also offers a basic virtual attendance option for all the workshops and the main conference (video broadcasting + chat for questions) for people that are not presenting and who will not be able to attend in person. For details, see the main LICS Registration Page <https://lics.siglog.org/lics23/registration.php>. Organizing and Program Committee: Marco Carmosino (IBM Research), Ronald Fagin (IBM Research), Phokion Kolaitis (UC Santa Cruz and IBM Research), Jonathan Lenchner (IBM Research), Ryan Williams (MIT) -- Phokion Kolaitis http://users.soe.ucsc.edu/~kolaitis/

1 0

Call for Papers -- Formal Techniques for Java-Like Programs 2023
by Aaron Tomb 26 Apr '23

26 Apr '23

========================================================== CALL FOR PAPERS FTfJP 2023 25th Workshop on Formal Techniques for Java-like Programs July 18th, 2023, Seattle, WA, USA https://2023.ecoop.org/track/ftfjp-2023 =========================================================== === Important Dates === * Paper submission: May 22nd, 2023 (AoE) * Author notification: June 23rd, 2023 (AoE) * Workshop date: July 18th, 2023 (co-located with ECOOP 2023) Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ftfjp2023 === Objectives and Scope === Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to their ubiquity and wide user base, stable and well-defined interfaces and platforms, and powerful (but also complex) libraries. New languages and applications in this space are continually arising, resulting in new programming languages (PL) research challenges. Work on formal techniques and tools and on the formal underpinnings of programming languages themselves naturally complement each other. FTfJP is an established workshop which has run annually since 1999 alongside ECOOP, with the goal of bringing together people working in both fields. The workshop has a broad PL theme. The most important criterion is that submissions will generate interesting discussions within this community. The term “Java-like” is somewhat historic and should be interpreted broadly: FTfJP solicits and welcomes submissions relating to programming languages in general, beyond Java, including submissions related to C#, Scala, and similar languages, and submissions on more general topics that may be relevant to such languages. Example topics of interest include: * Language design and semantics * Type systems * Concurrency and new application domains * Specification and verification of program properties * Program analysis (static or dynamic) * Program synthesis * Security * Pearls (programs or proofs) FTfJP welcomes submissions on technical contributions, case studies, experience reports, challenge proposals, and position papers. Webpages for previous workshops in this series are available at: https://ftfjp.github.io/ === Paper Categories === Contributions are sought in two categories: * Full Papers (6 pages, excluding references) present a technical contribution, case study, or detailed experience report. We welcome both complete and incomplete technical results; ongoing work is particularly welcome, provided it is substantial enough to stimulate interesting discussions. * Short Papers (2 pages, excluding references) should advocate a promising research direction, or otherwise present a position likely to stimulate discussion at the workshop. We encourage, e.g., established researchers to set out a personal vision, and beginning researchers to present a planned path to a Ph.D. Both types of contributions will benefit from feedback received at the workshop. Submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Reviewing will be single blind, there is no need to anonymize submissions. The format of the workshop encourages interaction. FTfJP is a forum in which a wide range of people share their expertise, from experienced researchers to beginning PhD students. === Submission Guidelines === All submissions and reviews will be managed within EasyChair. Submissions should be made via https://easychair.org/conferences/?conf=ftfjp2023 There is no need to indicate the paper category (long/short). Submissions should be in acmart/sigplan style, 10pt font. Formatting requirements are detailed on the SIGPLAN Author Information page (https://www.sigplan.org/Resources/Author). We plan that, as in previous years, accepted papers will be published in the ACM Digital Library, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper must register to the conference by the early registration date and attend the workshop to present the work and participate in the discussions. Selected papers will also be considered for extended versions to be submitted to the Journal of Object Technology (JOT).

1 0

VMW at CAV 2023: Call for Scholarship Applications - DEADLINE
by Sammartino, Matteo 24 Apr '23

24 Apr '23

Verification Mentoring Workshop (VMW) 2023 http://www.i-cav.org/2023/workshops/mentoring/ July 18, 2023 Paris, France Co-located with the 35th International Conference on Computer Aided Verification (CAV) http://www.i-cav.org/2023/ We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2023. The deadline for applications is extended to May 5th. Applications are received via the form at https://forms.gle/Yh9rrCdPB2UhrWaq7 ABOUT THE MENTORING WORKSHOP The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the participation of women and underrepresented minorities. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied CAV related topics. Other talks will provide mentoring and career advice, from academia and industry. CONTACT In case of questions, please contact the VMW organizers: Ankush Densai <ankushdesai(a)gmail.com> Eric Koskinen <ekoskine(a)stevens.edu> Burcu Kulahcioglu Ozkan <B.Ozkan(a)tudelft.nl> Marijana Lazić <lazic(a)in.tum.de> Matteo Sammartino <Matteo.Sammartino(a)rhul.ac.uk> ============================== Matteo Sammartino, Lecturer Royal Holloway University of London Department of Computer Science Tel.: (+44) (0) 1784 44 3690 Office: 2-07, Bedford Building https://matteosammartino.com/ This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

WiL 2023: Call for contributions
by Sandra Kiefer 22 Apr '23

22 Apr '23

------------------------------------------------------------------------------------------------------------ --> Please feel free to forward this e-mail to interested persons! <-- Are you a woman working in logic? Please join us on July 1 at WiL, give a talk, and enjoy a day with Women in Logic! Please submit an abstract of 1-2 pages by April 30, 2023, via EasyChair. This will help us provide an interesting program, with only a light-weight selection procedure. More information below: ------------------------------------------------------------------------------------------------------------ Call for Contributions WiL 2023: 7th Women in Logic Workshop https://sites.google.com/view/wil2023 July 1, 2023 Co-located with FSCD 2023 * Everybody is welcome! Funding available for participants! * Please apply here: https://forms.gle/JgiPbjNWRzvkfiyu6 ------------------------------------------------------------------------------------------------------------ Women in Logic 2023 is a satellite event of the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) to be held in Rome, Italy, from July 1 to July 6, 2023. 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 female 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, and Haifa 2022) 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 * Sandra Alves (Universidade de Porto, Portugal) * Marie Kerjean (CNRS, Université Sorbonne Paris Nord) IMPORTANT DATES Abstract submission deadline: April 30, 2023 Notification: May 19, 2023 Funding application: see the website Contribution for informal proceedings: June 25, 2023 Workshop: July 1, 2023 SUBMISSIONS Abstracts should be written in English (1-2 pages), and prepared using the Easychair style (https://easychair.org/publications/for_authors). The abstracts should be uploaded to the WiL 2023 Easychair page as a PDF file (https://easychair.org/my/conference?conf=wil2023) before the submission deadline on April 30, 2023, anywhere on Earth. FUNDING Due to the generous support of our sponsors, we have limited funding available for speakers and other participants. If you would like to apply for it, please fill out the funding application on our website. ORGANIZING AND PROGRAM COMMITTEE * Agata Ciabattoni (Vienna University of Technology) * Zoé Christoff (University of Groningen) * Amy Felty (University of Ottawa) * Marie Fortin (IRIF) * Sujata Ghosh (ISI Chennai) * Sandra Kiefer (Co-chair, University of Oxford) * Cláudia Nalon (University of Brasília) * Daniele Nantes-Sobrinho (Co-chair, Imperial College London) * Valeria de Paiva (Topos Institute) * Catuscia Palamidessi (INRIA) * Tephilla Prince (Co-chair, IIT Dharwad) * Krishna S. (IIT Bombay) * Alexandra Silva (Cornell University) * Renata Wassermann (University of São Paulo)

1 0

3-year Research Associate or Research Assistant position in formal
by Andrei Popescu 20 Apr '23

20 Apr '23

Dear colleagues, We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested. The closing date for applications is *** 23rd May 2023 *** More details can be found here: https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-… and here: https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG… Best wishes, Andrei Popescu https://www.andreipopescu.uk/

1 0

Structure meets Power (LICS workshop) CfC
by Anuj Dawar 14 Apr '23

14 Apr '23

**************************************** STRUCTURE MEETS POWER 2023 (LICS workshop) Call for Contributions **************************************** Workshop dates: 25 June 2023 (Boston and online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2023 Scope ----- There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (“Structure”), the other on expressiveness and complexity (“Power”). These two traditions are studied by almost disjoint research communities using almost disjoint technical languages and methods. We believe that bringing these communities and research fields together is an important objective in Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested in establishing new connections. Previous workshops on this theme were held as affiliated workshops of LiCS 2021 and ICALP 2022. This is a LiCS 2023 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged. Important dates --------------- Abstract submission: 14th May 2023 Author notification: 22nd May 2023 Registration: TBA Invited speakers ---------------- * Alexandra Silva (Cornell University) * Howard Straubing (Boston College) Submissions ----------- Those wishing to give a talk at the workshop are invited to submit an Extended Abstract of up to three pages (including references) describing the key points of the presentation. Submissions should only have a single author — the speaker. Any co-authors should be clearly credited in the abstract and on the slides. For submissions please follow the instructions on the workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2023#submission We encourage talks at all levels of progress, including novel contributions, already published results, works in progress, as well as survey-type contributions. Depending on the number of submissions, contributed talks will be 20-30 minutes long. Registration ------------ There will be two types of participation, online and in person. Online participants are required to fill out the provided form on: https://www.cst.cam.ac.uk/conference/structure-meets-power-2023#registration For in-person participation, you must register for the workshop on the LICS website: https://lics.siglog.org/lics23/ Organising and Programme Committee: ----------------------------------- * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden * Yoàv Montacute * Nihil Shah

1 0

MFCS 2023: 2nd Call for Papers
by Sylvain Lombardy 13 Apr '23

13 Apr '23

================= MFCS 2023 ================= 48th International Symposium on Mathematical Foundations of Computer Science August 28 — September 1, 2023, Bordeaux, France The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches the longest history in the field-the first conference in the series was held already in 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since 2013, the conference has traveled around Europe. MFCS 2023 will be held in Bordeaux, France. https://mfcs2023.labri.fr/ <https://mfcs2023.labri.fr/> Barring substantial and unforeseen developments, MFCS will be organized as a physical event, and at least one author of each accepted paper must register at the conference. Invited speakers Marthe Bonamy (University of Bordeaux, France) Joan Boyar (University of Southern Denmark), Online Algorithms with Predictions Artur Czumaj (University of Warwick, UK) Laura Kovacs (TU Wien, Austria), Algebraic Reasoning for (Un)Solvable Loops Paul Spirakis (university of Liverpool, UK) Important Dates Abstract submission deadline: April 24th (AoE) Paper submission deadline: April 28th (AoE) Notification of authors: June 27th Camera-ready: July 18th Conference dates: August 28th - September 1st Submission Guidelines Papers should be submitted electronically through EasyChair. https://easychair.org/conferences/?conf=mfcs2023 <https://easychair.org/conferences/?conf=mfcs2023> Submissions should be formatted using the LIPIcs style with length not exceeding 12 pages (excluding references and an optional appendix). References and an optional appendix can go beyond the 12 pages; the appendix will be consulted at the discretion of the program committee. It is mandatory to use the LIPIcs style for submissions. No prior publication or simultaneous submission to other conferences or journals are allowed (except preprint repositories such as arXiv or workshops without formal published proceedings). Publication As in previous years, MFCS 2023 proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics) under an open access license. List of Topics We encourage submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following: algebraic and co-algebraic methods in computer science algorithms and data structures automata and formal languages bioinformatics combinatorics on words, trees, and other structures computational complexity (structural and model-related) computational geometry computer-aided verification computer assisted reasoning concurrency theory cryptography and security cyber physical systems, databases and knowledge-based systems formal specifications and program development foundations of computing logics in computer science mobile computing models of computation networks parallel and distributed computing quantum computing semantics and verification of programs theoretical issues in artificial intelligence and machine learning types in computer science Program Committee Parosh Aziz Abdulla (Uppsala University) Akanksha Agrawal (Indian Institute of Technology Madras) Susanne Albers (Technical University of Munich) Josh Alman (Columbia University) Christel Baier (Technische Universität Dresden) Laurent Bienvenu (University of Bordeaux) Hans Bodlaender (Utrecht University) Olivier Bournez (Ecole Polytechnique) Véronique Bruyère (University of Mons) Ioannis Caragiannis (Aarhus University) Keerti Choudhary (Indian Institute of Technology Delhi) Vincent Cohen-Addad (Google Research) Thierry Coquand (University of Gothenburg) Stéphanie Delaune (University of Rennes, CNRS, IRISA) Javier Esparza (Technische Universität München) Piotr Faliszewski (AGH University of Science and Technology) Michal Feldman (Tel-Aviv University) Paola Flocchini (University of Ottawa) Luisa Gargano (Università di Salerno) Leszek Gasieniec (University of Liverpool) Jean Goubault-Larrecq (ENS Paris-Saclay) Petr Jancar (Palacky University) Lefteris M. Kirousis (National and Kapodistrian University of Athens) Sándor Kisfaludi-Bak (Aalto University) Lukasz Kowalik (University of Warsaw) Daniel Kráľ (Masaryk University) Rastislav Královič (Comenius University) Ranko Lazic (University of Warwick) Christof Löding (RWTH Aachen University) Pinyan Lu (Shanghai University of Finance and Economics) Elvira Mayordomo (Universidad de Zaragoza) Paolo Milazzo (University of Pisa) Simon Perdrix (Inria, Loria) Sophie Pinchinat (University of Rennes) Jörg Rothe (Heinrich-Heine-Universität Düsseldorf) Jiri Sgall (Charles University) Mahsa Shirmohammadi (CNRS, IRIF, University Paris Cité) Michał Skrzypczak (University of Warsaw) Shay Solomon (Tel Aviv University) Dimitrios M. Thilikos (CNRS, LRIMM, University of Montpellier) Patrik Totzke (University of Liverpool) Ashutosh Trivedi (University of Colorado Boulder) James Worrell (University of Oxford) Xiaoming Sun (Chinese Academy of Sciences) Meirav Zehavi (Ben-Gurion University) Marius Zimand (Towson University) Martin Zimmermann (Aalborg University) Organising Committee Hugo Gimbert Sylvain Lombardy Anca Muscholl Vincent Penelle

1 0

[fm-announcements] FMICS 2023 - Second call for papers
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 06 Apr '23

06 Apr '23

Second Call for Papers FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw… The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in the industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. IMPORTANT DATES: Paper submission: 15 May 2023 Authors’ response period: 28-30 June 2023 Notification: 14 July 2023 Camera-ready version: July 31, 2023 Conference: 20-22 September 2023 TOPICS: Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification). - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forum. PAPER SUBMISSION: Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and should be submitted as PDF files using the EasyChair submission site: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair…. PROCEEDINGS: The conference proceedings will be published by Springer in the LNCS series. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant. BEST PAPER AWARD: An award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2023 Best Paper. This submission will be awarded a 1.000 Euro prize sponsored by Springer. SPECIAL ISSUE: The Program Committee of FMICS 2023 will invite a selection of accepted papers to submit extended versions to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). PC CHAIRS: Alessandro Cimatti, FBK, Italy Laura Titolo, NIA/NASA LaRC, USA PROGRAM COMMITTEE: Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands) Supratik Chakraborty (IIT Bombay, India) Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina) Jennifer Davis (Collins Aerospace, USA) David Deharbe (Federal University of Rio Grande do Norte, Brazil) Alexandre Duret-Lutz (Laboratoire de Recherche et Développement de l'Epita, France) Alessandro Fantechi (University of Florence, Italy) Alessio Ferrari (CNR, Italy) Hubert Garavel (INRIA, France) Pierre-Loic Garoche (ENAC, France) Klaus Havelund (JPL, USA) Jean-Baptiste Jeannin (University of Michigan, USA) Barbara Jobstmann (EPFL, Switzerland) Laura Kovac (TU Wien, Austria) Tiziana Margaria (University of Limerick and LERO, Ireland) Paolo Masci (NIA/NASA Langley, USA) Stefan Mitch (CMU, USA) Rosemary Monahan (Maynooth University, Ireland) David Monniaux (VERIMAG, France) Sergio Mover (Ecole Politechnique, France) Yannick Moy (ADACORE, France) Jorge Navas (Certora, USA) Dejan Nickovic (Austrian Institute of Technology, Austria) Kristine Yvonne Rozier (Iowa State University, USA) Cristina Seceleanu (Malardalen University, Sweden) Martina Seidl (Johannes Kepler University, Austria) Jaco van de Pol (Aarhus University, Denmark) Alicia Villanueva (Universitat Politecnica de Valencia, Spain) Virginie Wiels (Onera, France) FMICS STEERING COMMITTEE: Maurice ter Beek (ISTI-CNR, Italy) Alessandro Fantechi (University of Florence, Italy) Hubert Garavel (INRIA, France) Tiziana Margaria (University of Limerick and LERO, Ireland) Radu Mateescu (INRIA, France) Jaco van de Pol (Aarhus University, Denmark) VENUE: As in previous years, FMICS 2023 is part of the CONFEST umbrella conference. In addition to FMICS, CONFEST also comprises CONCUR, FORMATS, and QEST, as well as workshops and tutorials. CONFEST will be held in Antwerp, Belgium on 18-23 September 2023. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0