Humboldt-Universität zu Berlin - Faculty of Mathematics and Natural Sciences - Logic in Computer Science

Logic in Computer Science | AG Logic and Complexity

Logic and Complexity

Head	Prof. Dr. Christoph Berkholz Haus III, 4. Etage, R.422 Tel.: (+49) (30) 2093 3079 berkholz (at) informatik.hu-berlin.de
Office	Gesine Pergl Haus III, R.402 Tel.: (+49) (30) 2093 3080 perggesi (at) informatik.hu-berlin.de

News: Enumeration Tutorial Feb 11, 2020; DB theory @ ESSLLI Jan 06, 2020; Open PhD position Dec 17, 2019