- Mathematical Summer School «Mudramakitra» for high school students (Cherkasy, Ukraine). I will be teaching there.
- Conference «Verified Software: Theories, Tools and Experiments» and colocated Summer School on Formal Reasoning & Representation of Complex Systems (Edinburgh, UK). I'm going to attend the summer school.
- FOSS Fest 2010 (Odessa, Ukraine). I will be unable to attend.
- Kiev Polytechnical University will be hosting Summer School «Achievements and applications of contemporary informatics, mathematics and physics». I'm surprised that there are such events in Ukraine. Again, I'll be unable to attend, but if someone reading this blog is going there, please share your impressions afterwards!
- Python conference PyCon Ukraine will be held in Kiev in October.
- And finally, while I'm writing this, Australian Haskell hackers are having a great time at the first Australian Hackathon, AusHac2010!
Update2. Hoodlums group (London Haskellers) will have (the first?) meeting on July 29. I'll be in London during that time, so will join them and have some fun!
It is a "Coding Dojo" format where we pick some interesting problem and solve it as a group.