Описание на проекта

Име на вносителя:	Велислава Тодорова
Име на проекта:	Hilbert Bernays Summer School on Logic and Computation 2016
Екип на проекта:	Велислава Тодорова
Екип потвърдил участие	Все още никой не е потвърдил участие.
МОЛ:	Велислава Тодорова
Статус:	Неодобрен на СИС May 10, 2016
Обсъждан на:	May 10, 2016
Отношение:	Прочети Отношение Моля Ви да вземете оферти за самолетни билети от фирмата, с която университета има обществена поръчка за самолетни билети. Прикачете покана или други документи, ако имате такива. Симеон Цветков ––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––– [Радостин Петров]: Проектът няма да бъде разглеждан, получено е съобщение от 21/05/2016: "Здравейте, Пиша ви във връзка с изпратения от мен проект за участие в лятно училище. Получих отговор, че са решили да не приемат докторанти, което означава, че проектът цялостно и окончателно пропада. Надявам се разглеждането му ви е отнело твърде много време. Препращам писмото с отговора от организаторите. Поздрави и хубави почивни дни! Слава"
Номер:	1-021/11.V.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€ за настаняване и дневни разходи. След средата на месец май ще знам дали получавам такъв грант. Таксата за участие не се предвижда да бъде поета от гранта, т.е. това е перото от бюджета на проекта ми, за което разчитам на финансиране единствено от Студентския съвет.