February 2025 Archives by date

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

Starting: Thu Feb 6 15:13:14 GMT 2025
Ending: Thu Feb 27 12:10:40 GMT 2025
Messages: 4

• [msp-interest] [MSP101] Ezra Schoen: Coequations via proof systems (LT209, 3pm Mon 10-Feb)   Dilsat Yuksel
• [msp-interest] [MSP101] Clovis Eberhart: Weakest Precondition of Open Coalgebras (LT1414a, 3pm Mon 17-Feb)   Dilsat Yuksel
• [msp-interest] [MSP101] Robert Atkey: Semantic proofs of Cut-elimination for Deep Infererence (LT412, 3pm Mon 24-Feb)   Dilsat Yuksel
• [msp-interest] [MSP101] Fredrik Nordvall Forsberg: Representing type theory in type theory (LT412, 3pm Mon 3-Mar)   Dilsat Yuksel

Last message date: Thu Feb 27 12:10:40 GMT 2025
Archived on: Thu Feb 27 12:11:43 GMT 2025

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