Logic List Mailing Archive

CfP [Deadline Extension]: FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems, 9-11 September 2024, Milan (Italy)

*** FMICS 2024 - DEADLINE EXTENSION *** 29th International Conference on Formal Methods for Industrial Critical Systems 
 
New abstract submission deadline: 4 May 2024 New full paper submission deadline: 8 May 2024 

For more info, see: https://fmics.inria.fr/2024/ <https://fmics.inria.fr/2024/>  

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php