[TYPES/announce] FM 2023 - Call for Participation

[Violet Ka I Pun]

[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$ >





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230108/0c2e853d/attachment-0001.htm>