<html><head></head><body><div class="yahoo-style-wrap" style="font-family:verdana, helvetica, sans-serif;font-size:16px;"><div dir="ltr" data-setdir="false"><div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif">Dear all,</font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif"><br></font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif">join us at the <b>Working Formal Methods Symposium (FROM) 2024</b> and be part of a groundbreaking initiative to <b>build and strengthen a vibrant community of formal methods enthusiasts in Romania</b>! The workshop is organized by Romanians working in formal methods and this year, the eight edition, is held in Timisoara, Romania.</font><br></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif"><br></font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif">Hope to see you there!</font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif"><br></font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif">===</font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><font face="comic sans ms, sans-serif"><br></font></div><div class="ydpc1c8f128gmail_default" style="color: rgb(34, 34, 34); font-family: "comic sans ms", sans-serif; font-size: small; orphans: 2; widows: 2; text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;">(Apologies for the cross-postings.)<br>============================================================<br> FROM 2024<br> Eighth Working Formal Methods Symposium<br><br> September 16-18, 2024, Timisoara, Romania<br> <a href="https://urldefense.com/v3/__http://from2024.uvt.ro/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOG2CURfA$" data-saferedirecturl="https://www.google.com/url?q=http://from2024.uvt.ro&source=gmail&ust=1718087754704000&usg=AOvVaw1s5tArO8Nvp6sO_Fa--abl" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">http://from2024.uvt.ro</a><br> co-located with SYNASC 2024<br> <a href="https://urldefense.com/v3/__https://synasc.ro/2024/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwPHmYKKMw$" data-saferedirecturl="https://www.google.com/url?q=https://synasc.ro/2024/&source=gmail&ust=1718087754704000&usg=AOvVaw1W3AxQ4e9lWPu1FkqR3UFp" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">https://synasc.ro/2024/</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 26th International Symposium on Symbolic and<br>Numeric Algorithms for Scientific Computing (SYNASC 2024).<br><br>ORGANIZERS<br>----------<br><br>Faculty of Mathematics and Computer Science of West University of Timisoara (<a href="https://urldefense.com/v3/__https://info.uvt.ro/en/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwPMfePOfA$" data-saferedirecturl="https://www.google.com/url?q=https://info.uvt.ro/en/&source=gmail&ust=1718087754704000&usg=AOvVaw2dloS86e1LY86hppcZS6En" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">https://info.uvt.ro/en/</a>)<br>Institute for Logic and Data Science (ILDS, <a href="https://urldefense.com/v3/__https://ilds.ro/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOIbMNrTA$" data-saferedirecturl="https://www.google.com/url?q=https://ilds.ro/&source=gmail&ust=1718087754704000&usg=AOvVaw16px9BcWZngwczFhCGcDOd" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">https://ilds.ro/</a>)<br><br>IMPORTANT DATES<br>---------------<br><br>Deadline for paper/abstract submission: June 30, 2024 (extended)<br>Deadline for author notification: July 19, 2024<br>Deadline for revised paper/abstract submission: August 29, 2024<br>Deadline for registration: September 5, 2024<br>Symposium: September 16-18, 2024<br><br>INVITED SPEAKERS<br>-----------<br>Dines Bjorner (Technical University of Denmark)<br>Nikolaj Bjorner (Microsoft Research, USA)<br>Laura Kovacs (Technical University of Vienna)<br><br>Tutorial speakers<br>~~~~~~~~~~~~~<br>Andrei Voronkov (University of Manchester, England)<br>Vlad Rusu (Inria Lille, France)<br><br>SUBMISSIONS<br>-----------<br><br>Papers of up to 16 pages prepared according to the EPTCS template<br>(see <a href="https://urldefense.com/v3/__http://style.eptcs.org/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOjAmhFIQ$" data-saferedirecturl="https://www.google.com/url?q=http://style.eptcs.org/&source=gmail&ust=1718087754704000&usg=AOvVaw2SWXM6BungTirLx-34kquL" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">http://style.eptcs.org/</a>) must be submitted electronically<br>using the EasyChair submission system at:<br><br><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=synasc2024__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOPvCteiw$" data-saferedirecturl="https://www.google.com/url?q=https://easychair.org/my/conference?conf%3Dsynasc2024&source=gmail&ust=1718087754704000&usg=AOvVaw1i4l720MQ367PT1ca2si9p" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">https://easychair.org/my/conference?conf=synasc2024</a><br><br>and choosing the track "Working Formal Methods Symposium"<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, which will be indexed in the Web of Science. Authors who want to<br>present work in progress or discuss new aspects or a survey of their older research<br>results at the workshop are welcome to submit an extended abstract (up to 8 pages).<br>Papers will be refereed and accepted on the basis of their scientific merit and relevance<br>to the topics of the symposium.<br><br>TOPICS OF INTEREST<br>------------------<br><br>The topics of interest for FROM 2024 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 Craciun (Babes-Bolyai University of Cluj-Napoca)<br>Volker Diekert (Universitaet Stuttgart)<br>Temur Kutsia (Johannes Kepler University Linz)<br>Laurentiu Leustean (University of Bucharest & ILDS & IMAR) (co-chair)<br>Dorel Lucanu (Alexandru Ioan Cuza University of Iasi)<br>Mircea Marin (West University of Timisoara) (co-chair)<br>David Nowak (CNRS & University of Lille)<br>Corina Pasareanu (NASA & Carnegie Mellon University)<br>Andrei Popescu (University of Sheffield)<br>Thomas Powell (University of Bath)<br>Grigore Rosu (University of Illinois at Urbana-Champaign)<br>Vlad Rusu (Inria Lille)<br>Andrei Sipos (University of Bucharest & ILDS & IMAR)<br>Viorica Sofronie-Stokkermans (University of Koblenz and Landau)<br>Alicia Villanueva (Universitat Politecnica de Valencia)<br>Radu Iosif (CNRS-VERIMAG)<br><br>***************<br><br>Further information is available on our website,<br><a href="https://urldefense.com/v3/__http://from2024.uvt.ro/__;!!IBzWLUs!Wkqz69i-Ir20lH2xrIS54Kjb2_EWNcPOra10dSZ0didsx6DYvHn57it9Lm2UuNozYx1z9SePWKudZrKXhb1DNwOG2CURfA$" data-saferedirecturl="https://www.google.com/url?q=http://from2024.uvt.ro&source=gmail&ust=1718087754704000&usg=AOvVaw1s5tArO8Nvp6sO_Fa--abl" style="color: rgb(17, 85, 204);" rel="nofollow" target="_blank">http://from2024.uvt.ro</a><br></div></div></div></div></body></html>