Sara Ayhan
@sara-ayhan.bsky.social
Logician & philosopher @ruhr-uni-bochum.de, Post-Doc. I like proof theory, proof-theoretic semantics, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)
It was amazing! And here's a picture with everyone (minus 4-5 that missed the photo time 😬)
September 4, 2025 at 6:14 PM
It was amazing! And here's a picture with everyone (minus 4-5 that missed the photo time 😬)
Very happy and excited to be in Banff,Canada, now for the BIRS workshop on "Proof Representations" starting tomorrow 😊
Amazing people are participating and all that taking place in this beautiful landscape!
Amazing people are participating and all that taking place in this beautiful landscape!
June 1, 2025 at 11:04 PM
Very happy and excited to be in Banff,Canada, now for the BIRS workshop on "Proof Representations" starting tomorrow 😊
Amazing people are participating and all that taking place in this beautiful landscape!
Amazing people are participating and all that taking place in this beautiful landscape!
Logicians on the Philosopher's Path in Kyoto 😁
(first time for me in Japan and so far it's been a blast 😊)
(first time for me in Japan and so far it's been a blast 😊)
March 2, 2025 at 1:08 AM
Logicians on the Philosopher's Path in Kyoto 😁
(first time for me in Japan and so far it's been a blast 😊)
(first time for me in Japan and so far it's been a blast 😊)
Logic Colloquium 2024 in Gothenburg: It's been such a great conference; I met so many old friends as well as lovely new people 😊 thanks again to the organizers for their amazing job!
July 1, 2024 at 11:25 AM
Logic Colloquium 2024 in Gothenburg: It's been such a great conference; I met so many old friends as well as lovely new people 😊 thanks again to the organizers for their amazing job!
Very much enjoying Gothenburg and the Logic Colloquium 2024 where I'll be giving a talk on obstacles of a truly bilateralist sequent calculus 😊
June 25, 2024 at 12:55 PM
Very much enjoying Gothenburg and the Logic Colloquium 2024 where I'll be giving a talk on obstacles of a truly bilateralist sequent calculus 😊
On my way to St Andrews for this exciting workshop on proofs, rules and meaning! Looking forward to the talks and (re-)meeting some great friends and colleagues 😊
www.st-andrews.ac.uk/arche/event/...
www.st-andrews.ac.uk/arche/event/...
April 10, 2024 at 6:30 AM
On my way to St Andrews for this exciting workshop on proofs, rules and meaning! Looking forward to the talks and (re-)meeting some great friends and colleagues 😊
www.st-andrews.ac.uk/arche/event/...
www.st-andrews.ac.uk/arche/event/...