Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. All courses will be made compatible in terms of schedule. Courses and Professors: -Franz Baader (Dresden), Automata and Logic [advanced, 4 hours
[Leer más]