Home
|
Impressum
|
Sitemap
|
KIT
Verifikation trifft Algorithmik
Home
Call for Presentations
Anmeldung/Unterkunft
Programm
Anreise
Komitee
Organisation und Kontakt
Termine
bis 09. Okt. 2011
Einreichung von Vorträgen
20. Okt. 2011
Anmeldung: ab 11:30 Uhr
Beginn: 12:45 Uhr
21. Okt. 2011
Ende: 18 Uhr
Deduktionstreffen 2011
Organisation
Organisation
Carsten Sinz
Florian Merz
Thorsten Bormer