We come together to discuss advances in computer science, ground them down to applications, and see where to the wind is blowing. Read the papers at your own time and come discuss them with us. The talks will be given in English, discussion in En/Ru.
1. A Comparative Analysis of Stoicism and Cognitive Behavioural Therapy
We discuss how stoicism and logotherapy influenced modern CBT therapy. Quote:
Stoicism has three main tenets on which CBT was built and that is Logic, Acceptance and Control. It was discovered that despite the inuence of the stoics in curtailing human disorder, there is an incompatibility between a philosophy which is for life, and a therapy which is for a particular disorder.
2. An overview of formal methods (talk)
Virtually every Software Developer heard about Formal Verification, but not that many actually did it. That's why not everyone has a good idea what it is, what it does, what sorts there are, who and where apply it, and why. I'll try to paint an overall picture of the field without digging into too much detail. Hopefully enough to dismiss common misconceptions and provide waymarks for further exploration.
⏱ 12:00-14:30 Saturday, 10 February
📍 F0RTHSP4CE, Khorava St, 18
💰 free/donation
🗣 @munrocket, @gabrielfallen (lang: 🇬🇧)
👮 @cad215
💬 event chat
🎥 recordings