January 2025 Archives by thread

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

Starting: Thu Jan 2 03:54:48 CET 2025
Ending: Sun Jan 12 20:06:27 CET 2025
Messages: 4

• [Proof Complexity] 30th IEEE Symposium on Computers and Communications (ISCC) 2025, Deadline: Friday, 10 January 2025   Eirini Eleni Tsiropoulou
• [Proof Complexity] Call for papers for SAT 2025   Jakob Nordström
• [Proof Complexity] CiE 2025, 14-18 July 2025, Lisbon (Portugal) - Final CfP   Arnold Beckmann
• [Proof Complexity] Danish Data Science Academy postdoc and PhD positions (deadline March 5, 2025)   Jakob Nordström

Last message date: Sun Jan 12 20:06:27 CET 2025
Archived on: Sun Jan 12 20:06:38 CET 2025

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