
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div dir="auto" style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">[apologies for cross-postings]<br class=""><br class="">==================================================<br class=""><br class="">Call for Participation<br class="">FM 2023: 25th International Symposium on Formal Methods<br class=""><br class="">Lübeck, Germany, March 6-10, 2023<br class=""><a href="https://fm2023.isp.uni-luebeck.de/" class="">https://fm2023.isp.uni-luebeck.de/</a><br class=""><br class="">==================================================<div class=""><br class=""></div><div class="">==Registration==</div><div class=""><br class=""></div><div class="">Registration is now open (deadline early registration, 1st February, 2023)</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/registration/" class="">https://fm2023.isp.uni-luebeck.de/index.php/registration/</a></div><div class=""><br class=""></div><div class="">==Program==</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/overall-program/" class="">https://fm2023.isp.uni-luebeck.de/index.php/overall-program/</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">==Invited speakers for Main FM Conference==</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/" class="">https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/</a></div><div class=""><br class="">-- Jeannette M. Wing, Columbia University, Data Science Institute, US:</div><div class="">Trustworthy AI<br class=""><br class=""></div><div class="">-- Laura Kovács, Vienna University of Technology, Institute of Logic and Computation, Austria:</div><div class="">Symbolic Computation in Automated Program Reasoning</div><div class=""><br class=""></div><div class="">-- Harald Rueß, fortiss GmbH, Germany</div><div class="">The Next Big Thing</div><div class=""><br class=""></div><div class="">==Affiliated Workshops==</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#workshops" class="">https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#workshops</a></div><div class=""><br class=""></div><div class="">-- Applications of Formal Methods and Digital Twins</div><div class=""><br class=""></div><div class="">-- Formal Methods Teaching Workshop (FMTea)</div><div class=""><br class=""></div><div class="">-- The 21st Overture Workshop (Overture)</div><div class=""><br class=""></div><div class="">==Affiliated Tutorials==</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#tutorials" class="">https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#tutorials</a></div><div class=""><br class=""></div><div class="">-- Machine Learning Guided Program Synthesis</div><div class=""><br class=""></div><div class="">-- Hybrid System Falsification: Fundamentals and Advanced Topics</div><div class=""><br class=""></div><div class="">-- Verification of Deep Neural Networks</div><div class=""><br class=""></div><div class="">-- Reasoning with Quantified Boolean Formulas</div><div class=""><br class=""></div><div class="">==Co-located Events==</div><div class=""><br class=""></div><div class=""><a href="https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/" class="">https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/</a></div><div class=""><br class=""></div><div class="">-- Industry Day</div><div class=""><br class=""></div><div class="">-- Doctoral Symposium</div><div class=""><br class=""></div><div class="">-- D-Con</div><div class=""><br class=""></div><div class="">==================================================</div><div class=""><br class=""></div><div class="">--<br class="">Violet Ka I Pun / <a href="http://violet.foldr.org/" class="">http://violet.foldr.org/</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div></div></div></div></body></html>