Этим летом в Новосибирске проходит интересная летняя школа по компьютерным наукам, в частности, будет много курсов про применения логических методов в программировании. На сайте http://cssr.nsu.ru/school/ru подробно написано, что за курсы и преподаватели. Часть курсов на английском, часть на русском. Большая часть материала будет понятна студентам, окончившим первый курс. Организаторы обещают тревел-гранты на поездку. Если пересечётся с экзаменами, договоримся о более поздней, либо досрочной сдаче (при достаточных академических успехах). После школы ещё будет научная конференция CSR, уже полностью на английском и в целом сложнее. Но зато будут учёные с мировым именем. В общем, кому интересно - подавайтесь и держите нас в курсе.