Введение

Дагстуль — исследовательский центр в области компьютерных наук в Германии, расположенный в районе города Вадерн, Мерциг-Вадерн, земля Саар.

Местоположение

Следуя модели математического центра в Обервольфахе, центр размещен в очень уединенном и спокойном месте в сельской местности. Центр Лейбница находится в исторической усадьбе, замке Дагстуль (Schloss Dagstuhl), вместе с современными зданиями, построенными специально для этих целей, соединенными крытым пешеходным переходом. Недалеко расположены руины замка Дагстуль XIII века, до которых можно дойти пешком по холму от замка.

Библиотека

В библиотеке Dagstuhl по информатике насчитывается более 50 000 книг и других материалов, включая полный комплект серии Springer Verlag "Lecture Notes in Computer Science" (LNCS) и электронный доступ ко многим журналам по компьютерным наукам.

Семинар

Dagstuhl поддерживает информатику, организуя высокорейтинговые семинары по актуальным темам в области информатики. Семинары Dagstuhl, учреждаемые после рассмотрения и утверждения Научным дирекцией, собирают лично приглашенных ученых из академических кругов и промышленности со всего мира для обсуждения их новейших идей и проблем. Помимо семинаров Dagstuhl, центр также проводит летние школы, выездные мероприятия для групп и другие научные события, все посвященные информатике. Каждый год около 3500 ученых останавливаются в Дагстуле для участия примерно в 100 семинарах, мастер-классах и других научных мероприятиях. Количество участников ограничено для обеспечения дискуссии и доступностью жилья. Проживание включает полный пансион: участники размещаются в основном здании или в современном пристройке, и все их приемы пищи организованы в центре. Семинары обычно проводятся в течение недели: участники прибывают в воскресенье вечером и отъезжают в пятницу вечером или в субботу утром. Одновременно с семинарами могут проводиться одно или иногда два небольших совещания. Криптографический метод DP5 (Dagstuhl Privacy Preserving Presence Protocol P) получил свое название в честь замка Дагстуль.

Публикации

Помимо публикации материалов своих собственных семинаров, Центр Лейбница публикует Международные материалы Лейбница по информатике (LIPIcs) – серию материалов конференций открытого доступа, представляющих компьютерные науки со всего мира. В эту серию входят материалы Симпозиума по теоретическим аспектам информатики (STACS), проводимого ежегодно в Германии и Франции, конференции по основам программных технологий и теоретической информатики (FSTTCS), проводимой ежегодно в Южной Азии, Конференции по вычислительной сложности (CCC), место проведения которой каждый год меняется, Симпозиума по вычислительной геометрии (SoCG), Международного коллоквиума по автоматике, языкам и программированию (ICALP), Международного симпозиума по математическим основам информатики (MFCS), Международной конференции по теории параллелизма (CONCUR) и Конференции по теории баз данных.