Hilbert Bernays Summer School on Logic and Computation 2016 Неодобрен

Вносител

Велислава Тодорова

Титуляр

Велислава Тодорова

Номер

1-021/11.V.2016 г.

Обсъждан на

10.05.2016

Екип на проекта

Велислава Тодорова

Потвърдили участие

Все още никой не е потвърдил участие.

Рецензия

Описание на проекта
Лятното училище по логика и изчисления (Hilbert Bernays Summer School on Logic and Computation) се организира от Института по математика към Университета в Гьотинген, Германия с подкрепата на Немската служба за академичен обмен (DAAD). Курсовете, които предлагат, са насочени именно към студенти и докторанти като мен - такива, които учат математика, философия или компютърни науки и се занимават основно с логика и нейните приложения. Уеб сайтът на училището може да се види ето тук: http://www.uni-goettingen.de/en/530211.html
Цели на проекта
Да разширя и задълбоча познанията си в тематичната сфера на докторантурата си.
Задачи на проекта
Посещение на едноседмични курсове по ламбда смятане и теория на доказателствата. По-конкретно: - From Hilbert to Gentzen and beyond (Reinhard Kahle, Lisbon) - Proof mining (Ulrich Kohlenbach, Darmstadt) - Lambda-calculus (Simona Ronchi della Rocca, Turin) - Computational contents of proofs (Helmut Schwichtenberg, Munich)
Целева група
Аз представлявам цялата целева група на проекта.
График
до 30.04.2016г.: Кандидатстване за участие в лятното училище (завършено) до 30.04.2016г.: Кандидатстване за грант за път и настаняване пред организаторите на лятното училище (завършено) до средата на май 2016г.: Получаване на отговор за приемането за участие в училището и за получаването на гранта (в процес) 25-29 юли 2016г.: Провеждане на лятното училище
Необходими ресурси
Финансови: - такса за участие; - пътни разходи; - разходи за настаняване.
Финансово описание
Такса за участие: 100€ Пътни разходи (по данни към момента): 241€ - самолетен билет София-Дортмунд (24.07, WizzAir): 65€ - билет за влак Дортмунд-Гьотинген (24.07, DeutscheBahn): 29€ - билет за влак Гьотинген-Дортмунд (30.07, DeutscheBahn): 29€ - самолетен билет Дортмунд-София (30.07, WizzAir): 118€ Разходи за настаняване в Гьотинген: 210€ - шест нощувки по 35€ Общо: 551€
Партньори
Огранизаторите на лятното училище предоставят гратнове за ограничен брой участници в размер на 175€ за пътни разходи и 250€ за настаняване и дневни разходи. След средата на месец май ще знам дали получавам такъв грант. Таксата за участие не се предвижда да бъде поета от гранта, т.е. това е перото от бюджета на проекта ми, за което разчитам на финансиране единствено от Студентския съвет.