[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[apologies for cross-postings]
==================================================
Call for Participation
FM 2023: 25th International Symposium on Formal Methods
Lübeck, Germany, March 6-10, 2023
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK-rWxshK$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK-rWxshK$
>
==================================================
==Registration==
Registration is now open (deadline early registration, 1st February, 2023)
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/registration/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKxCjFGjW$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/registration/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKxCjFGjW$
>
==Program==
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/overall-program/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKzZj8EEC$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/overall-program/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKzZj8EEC$
>
==Invited speakers for Main FM Conference==
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKyJoNf2E$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/invited-speakers/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKyJoNf2E$
>
-- 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://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/*workshops__;Iw!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKz-vJqnU$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/*workshops__;Iw!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeKz-vJqnU$
>
-- Applications of Formal Methods and Digital Twins
-- Formal Methods Teaching Workshop (FMTea)
-- The 21st Overture Workshop (Overture)
==Affiliated Tutorials==
https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/*tutorials__;Iw!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK5N71oV1$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/workshops-tutorials/*tutorials__;Iw!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK5N71oV1$
>
-- 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://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK_lhdFJQ$
<https://urldefense.com/v3/__https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK_lhdFJQ$
>
-- Industry Day
-- Doctoral Symposium
-- D-Con
==================================================
--
Violet Ka I Pun /
https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK1H4b7dq$
<https://urldefense.com/v3/__http://violet.foldr.org/__;!!IBzWLUs!TRDZcDAJaD7YfcAchKbZnzqJ9M931AXxGGuCvUYEzz3oY2RzuIDl9XDyzuhb2zEJabOpWR5jWLjo2Gx_yU5OnTEeK1H4b7dq$
>
