Кіріспе

Дагстуль – Германиядағы компьютерлік ғылымдарды зерттеу орталығы, Вадерн қаласының, Мерциг-Вадерн ауданының, Саарланд жерінің ішінде орналасқан және сол ауданның атымен аталған.

Орналасқан жері

Обервольфахтағы математикалық орталықтың үлгісімен, орталық елдің өте шалғай және тыныш жерінде құрылған. Лейбниц орталығы тарихи Дагстюль сарайында (Dagstuhl сарайы) және жабық көпірмен байланысқан, арнайы салынған заманауи ғимараттарда орналасқан. Сарайдан қысқа ғана серуенде 13 ғасырға дейін сақталған Дагстюль қамалының қираған қалдықтарын көруге болады.

Кітапхана

Dagstuhl компьютерлік кітапханасында 50 000-нан астам кітап пен басқа да медиа материалдары бар, оның ішінде Springer Verlag баспасының «Компьютер ғылымы бойынша дәрістер» (LNCS) сериясының толық жиынтығы және көптеген компьютерлік ғылым журналдарына электрондық қол жеткізілім бар.

Семинарлар сериясы

Dagstuhl компьютерлік ғылымды информатиканың өзекті тақырыптары бойынша жоғары деңгейдегі семинарларды ұйымдастыру арқылы қолдайды. Ғылыми дирекция қарап, бекіткеннен кейін ұйымдастырылатын Дагстуль семинарлары, бүкіл әлемнен академиялық және өнеркәсіптік ғалымдарды жаңа идеялар мен мәселелерді талқылауға жеке шақырады. Дагстуль семинарларынан өзге, орталықта жазғы мектептер, топтық жиындар және басқа да ғылыми шаралар өткізіледі, олардың барлығы информатика саласын қамтиды. Жыл сайын шамамен 3500 ғалым Дагстульде 100-ге жуық семинар, шеберхана және басқа да ғылыми шараларға қатысады. Талқылау мүмкіндігін және қолжетімді тұрғын үй сыйымдылығын қамтамасыз ету үшін қатысушылар саны шектеулі. Қонақ үйде толық пансион ұсынылады; қатысушылар негізгі ғимаратта немесе заманауи қосымшада орналасады және барлық тамақтарын орталықта ішеді. Семинарлар әдетте бір аптаға созылады: қатысушылар жексенбі күні кешке келіп, жұма күні кешке немесе сенбі күні таңертең кетеді. Кейде бір немесе екі семинар басқа шағын жиындармен бір уақытта өткізіледі. DP5 (Dagstuhl Privacy Preserving Presence Protocol P) криптографиялық техникасы Дагстуль сарайының құрметіне аталған.

Жарияланымдар

Өз семинарларының материалдарын жариялаумен қатар, Лейбниц орталығы компьютерлік ғылым саласындағы әлемдік конференциялардың ашық қолжетімді жинақтарынан тұратын Лейбниц халықаралық информатика құжаттарын (LIPIcs) жариялайды. Осы серияда жарияланған конференциялардың ішінде: Германия мен Францияда жыл сайын өткізілетін Компьютер ғылымының теориялық аспектілері жөніндегі симпозиум (STACS), Оңтүстік Азияда жыл сайын өтетін Бағдарламалық жасақтама технологиялары және теориялық компьютер ғылымы негіздері жөніндегі конференция (FSTTCS), әр жыл сайын әртүрлі халықаралық жерде өткізілетін Есептеу күрделігі конференциясы (CCC), Есептеу геометриясы жөніндегі симпозиум (SoCG), Автоматтар, тілдер және бағдарламалау жөніндегі халықаралық коллоквиум (ICALP), Компьютер ғылымының математикалық негіздері жөніндегі халықаралық симпозиум (MFCS), Параллелизм теориясы жөніндегі халықаралық конференция (CONCUR) және Деректер базасы теориясы жөніндегі конференция бар.