[apologies for cross-postings] ==================================================
Call for Participation FM 2023: 25th International Symposium on Formal Methods Lübeck, Germany, March 6-10, 2023 https://fm2023.isp.uni-luebeck.de/ <https://fm2023.isp.uni-luebeck.de/> ================================================== ==Registration== Registration is now open (deadline early registration, 1st February, 2023) https://fm2023.isp.uni-luebeck.de/index.php/registration/ <https://fm2023.isp.uni-luebeck.de/index.php/registration/> ==Program== https://fm2023.isp.uni-luebeck.de/index.php/overall-program/ <https://fm2023.isp.uni-luebeck.de/index.php/overall-program/> ==Invited speakers for Main FM Conference== https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/ <https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/> -- Jeannette M. Wing, Columbia University, Data Science Institute, US: Trustworthy AI -- Laura Kovács, Vienna University of Technology, Institute of Logic and Computation, Austria: Symbolic Computation in Automated Program Reasoning -- Harald Rueß, fortiss GmbH, Germany The Next Big Thing ==Affiliated Workshops== https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#workshops <https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#workshops> -- Applications of Formal Methods and Digital Twins -- Formal Methods Teaching Workshop (FMTea) -- The 21st Overture Workshop (Overture) ==Affiliated Tutorials== https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#tutorials <https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/#tutorials> -- Machine Learning Guided Program Synthesis -- Hybrid System Falsification: Fundamentals and Advanced Topics -- Verification of Deep Neural Networks -- Reasoning with Quantified Boolean Formulas ==Co-located Events== https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/ <https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/> -- Industry Day -- Doctoral Symposium -- D-Con ================================================== -- Violet Ka I Pun / http://violet.foldr.org/ <http://violet.foldr.org/>
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
