<div dir="ltr">                        FROM 2023<br>           Seventh Working Formal Methods Symposium<br><br>          September 21-22, 2023, Bucharest, Romania<br>               <a href="https://from2023.cs.unibuc.ro">https://from2023.cs.unibuc.ro</a><br>        co-located with the ILDS Coq and Lean Summer School<br>           <a href="https://events.ilds.ro/autumnschool2023/">https://events.ilds.ro/autumnschool2023/</a><br><br><br>DESCRIPTION<br>-----------<br><br>The Working Formal Methods Symposium (FROM) aims to bring together<br>researchers and practitioners who work on formal methods by contributing<br>new theoretical results, methods, techniques, and frameworks, and/or by<br>creating or using software tools that apply theoretical contributions.<br><br>The program of the symposium includes invited lectures and regular contributions.<br>Submissions on the general topics of formal methods, theoretical computer<br>science, logic and applications are welcome.<br><br>This event is co-located with the ILDS Coq and Lean Autumn School 2023<br>(see <a href="https://events.ilds.ro/autumnschool2023/">https://events.ilds.ro/autumnschool2023/</a>), for which there is a special<br>discounted fee for FROM 2023 participants.<br><br>ORGANIZERS<br>----------<br><br>Faculty of Mathematics and Computer Science of the University of Bucharest (<a href="https://fmi.unibuc.ro/">https://fmi.unibuc.ro/</a>)<br>Institute for Logic and Data Science (ILDS, <a href="https://ilds.ro/">https://ilds.ro/</a>)<br><br>IMPORTANT DATES<br>---------------<br><br>Deadline for paper/abstract submission: 25 July 2023<br>Deadline for author notification: 25 August 2023<br>Deadline for revised paper/abstract submission: 1 September 2023<br>Deadline for registration: 7 September 2023<br>Symposium: 21-22 September 2023<br><br>INVITED SPEAKERS<br>----------------<br><br>Radu Iosif (CNRS-VERIMAG)<br>Ulrich Kohlenbach (Technische Universität Darmstadt)<br>Eugenio Omodeo (Università degli Studi di Trieste)<br>Alicia Villanueva (Universitat Politècnica de València)<br><br>SUBMISSIONS<br>-----------<br><br>Papers of up to 16 pages prepared according to the EPTCS template <br>(see <a href="http://style.eptcs.org/">http://style.eptcs.org/</a>) must be submitted electronically<br>using the EasyChair submission system at:<br><a href="https://easychair.org/my/conference?conf=from2023">https://easychair.org/my/conference?conf=from2023</a><br><br>Research papers must contain original research results not submitted and not <br>published elsewhere. They will be considered for inclusion in the EPTCS proceedings<br>of the symposium. Authors who want to present work in progress or discuss <br>new aspects or a survey of their older research results at the workshop are welcome <br>to submit an extended abstract (up to 8 pages). Papers will be refereed and accepted <br>on the basis of their scientific merit and relevance to the workshop topics.<br><br>TOPICS OF INTEREST<br>------------------<br><br>The topics of interest for FROM 2023 include, but are not limited to:<br><br>Areas and formalisms:<br>+ Category theory in computer science<br>+ Distributed systems and concurrency<br>+ Domain science and engineering<br>+ Formal languages and automata theory<br>+ Formal modelling, verification and testing<br>+ Logic in computer science<br>+ Logical frameworks<br>+ Mathematical structures in computer science<br>+ Models of computation<br>+ Semantics of programming languages<br>+ Type systems<br><br>Methods:<br>+ Automated reasoning and model generation<br>+ Automated induction<br>+ Certified programs<br>+ Data-flow and control-flow analysis<br>+ Deductive verification<br>+ Mechanized proofs<br>+ Model checking<br>+ Proof mining<br>+ Symbolic computation<br>+ Term rewriting<br><br>Applications:<br>+ Computational logic<br>+ Computer mathematics<br>+ Knowledge representation, ontology reasoning, deductive databases<br>+ Program analysis<br>+ Verification and synthesis of software and hardware<br>+ Uncertainty reasoning and soft computing<br><br>Submissions on any other related topics are welcome.<br><br>PROGRAMME COMMITTEE<br>-------------------<br><br>Florin Crăciun (Babeș-Bolyai University of Cluj-Napoca)<br>Temur Kutsia (Johannes Kepler University Linz)<br>Laurențiu Leuștean (University of Bucharest & ILDS & IMAR) (co-chair)<br>Dorel Lucanu (Alexandru Ioan Cuza University of Iași)<br>Mircea Marin (West University of Timișoara)<br>David Nowak (CNRS & University of Lille)<br>Peter Csaba Ölveczky (University of Oslo)<br>Corina Păsăreanu (NASA & Carnegie Mellon University)<br>Andrei Popescu (University of Sheffield)<br>Thomas Powell (University of Bath)<br>Grigore Roșu (University of Illinois at Urbana-Champaign)<br>Vlad Rusu (INRIA Lille)<br>Andrei Sipoș (University of Bucharest & ILDS & IMAR) (co-chair)<br>Viorica Sofronie-Stokkermans (University of Koblenz and Landau)<br><br>REGISTRATION<br>------------<br><br>The registration fee is 100 EUR for the general public and<br>50 EUR for students. It covers the symposium kit, lunch, coffee breaks,<br>and the symposium dinner.<br><br>To register, please use the common registration form<br>(<a href="https://forms.gle/aZ7zqK3UNwLeGaRL6">https://forms.gle/aZ7zqK3UNwLeGaRL6</a>) for FROM 2023 and the<br>ILDS Coq and Lean Autumn School 2023<br>(<a href="https://events.ilds.ro/autumnschool2023/">https://events.ilds.ro/autumnschool2023/</a>), for which there is<br>a special discounted fee for FROM 2023 participants. Note that<br>one can still register later, separately, for the autumn school<br>and still benefit from the discount.<br><br>***************<br><br>Further information is available on our website,<br><a href="https://from2023.cs.unibuc.ro/">https://from2023.cs.unibuc.ro/</a><br></div>