January 2019 Archives by author

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

Starting: Wed Jan 2 10:44:14 CET 2019
Ending: Mon Jan 21 09:15:40 CET 2019
Messages: 5

• [Proof Complexity] preprint   Leszek Kolodziejczyk
• [Proof Complexity] postdoc position in Warsaw   Leszek Kolodziejczyk
• [Proof Complexity] DCOSS 2019 - EXTENDED DEADLINE: 1 February 2019 - Call for Papers   Theofanis Raptis
• [Proof Complexity] DCOSS 2019: just a few days to submission deadline (February 1st)   Theofanis Raptis
• [Proof Complexity] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science at TU Wien - November 30, 2019   Mihaela Rozman

Last message date: Mon Jan 21 09:15:40 CET 2019
Archived on: Mon Jan 21 09:15:48 CET 2019

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