Email Gateway (Jan 11 2023 at 10:44): Email Gateway (Jan 11 2023 at 10:44):From: Violet Ka I Pun <violetpun@gmail.com>
[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
==================================================
Last updated: Jan 04 2025 at 20:18 UTC