[Om-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://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/>





-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230108/0c2e853d/attachment-0001.htm>