March 2022 Archives by subject

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

Starting: Wed Mar 2 16:27:48 CET 2022
Ending: Wed Mar 30 15:16:53 CEST 2022
Messages: 10

• [Proof Complexity] [SPAM] Seminar tomorrow Tue Mar 22 at 14:00 CET with Allan Sapucaia: Solving large scale instances of a geometric set cover problem with coloring conflicts   Jakob Nordström
• [Proof Complexity] a position in the Insitute of Mathematics   Emil Jerabek
• [Proof Complexity] Call for papers: QBF '22   HUBERT MING CHEN
• [Proof Complexity] Fw: Seminar tomorrow Tue Mar 22 at 14:00 CET with Allan Sapucaia: Solving large scale instances of a geometric set cover problem with coloring conflicts   Jakob Nordström
• [Proof Complexity] new preprint   Arnold Beckmann
• [Proof Complexity] Permanent positions at University of Birmingham   Anupam das
• [Proof Complexity] Prague seminar on Monday - Erfan Khaniki   thapen
• [Proof Complexity] Prague seminar on Monday - Azza Gaysin   thapen
• [Proof Complexity] Prague seminar on Monday - Robert Robere   thapen
• [Proof Complexity] Pudlak workshop   thapen

Last message date: Wed Mar 30 15:16:53 CEST 2022
Archived on: Wed Mar 30 15:16:56 CEST 2022

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