May 2024 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Tue May 14 16:59:55 CEST 2024
Ending: Thu May 23 08:46:15 CEST 2024
Messages: 5

• [Om] IEEE Publication chance- Electrical and Computer Engineering conference   ICECER 2024
• [Om] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024   Serge Autexier
• [Om] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024   Serge Autexier
• [Om] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024   Serge Autexier
• [Om] FSEN 2025 - Call for Papers   Bos, Petra van den (UT-EEMCS)

Last message date: Thu May 23 08:46:15 CEST 2024
Archived on: Mon Jun 10 11:52:02 CEST 2024

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...