November 2023 Archives by subject

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

Starting: Wed Nov 1 18:40:59 CET 2023
Ending: Thu Nov 30 15:23:00 CET 2023
Messages: 14

• [Om-announce] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024)   Serge Autexier
• [Om-announce] 2024 Alonzo Church Award Call for Nominations   geoff at cs.miami.edu
• [Om-announce] Call for Papers ARES 2024   SBA Research Events
• [Om-announce] Call for Papers DOD 2024   SBA Research Events
• [Om-announce] Call for Papers IEEE SMC-IT/SCC 2024   Simon Kolker
• [Om-announce] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers   geoff at cs.miami.edu
• [Om-announce] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals   Luis Magdalena
• [Om-announce] FMBC 2024 - First Call for Papers   Marmsoler, Diego
• [Om-announce] ICGT 2024: First Call for Papers   Jens Kosiol
• [Om-announce] IJCAR 2024: 2nd call for co-located events   Peter Lammich
• [Om-announce] IJCAR 2024: 2nd Call for Papers   Peter Lammich
• [Om-announce] LPAR-25 in 2024 - Mauritius   geoff at cs.miami.edu
• [Om-announce] Postdoc position in Formal Methods at University of Exeter   Marmsoler, Diego
• [Om-announce] VerifyThis 2024 : Call for Problems   Paula Herber

Last message date: Thu Nov 30 15:23:00 CET 2023
Archived on: Fri Dec 1 15:21:00 CET 2023

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