Summary
Arbeitsgemeinschaft Logik und Automaten
In der Arbeitsgemeinschaft Logik und Automaten des Lehrstuhls fr Informatik 7 und des
Lehr- und Forschungsgebiets Mathematische
Grundlagen der Informatik werden Vortrge zu aktuellen
Forschungsergebnissen in den Bereichen Theoretische Informatik, Logik und
Komplexittstheorie gehalten. Vortragende sind dabei MitarbeiterInnen,
DiplomandInnen und Gste. Entsprechend richtet sich die AG an MitarbeiterInnen
und interessierte Studierende und bietet ein Forum sich ber aktuelle
Entwicklungen zu informieren, sowie mgliche Themen fr eine Diplomarbeit zu
finden.
Weitere Informationen finden Sie auf der Webseite der AG.
In the Arbeitsgemeinschaft Logic and Automata of the Chair of Computer Science 7 and the
Research Group Mathematical
Foundations of Computer Science, topics of current research within the
areas of theoretical computer science, logic, and complexity theory are
presented. Presentations may be given by the members of our research groups,
students, and guests. Accordingly, this Arbeitsgemeinschaft offers the
opportunity to stay up-to-date on recent developments in the subject areas
mentioned above and, for students, to find possible topics for diploma theses.
For further information, please see the webpage of the Arbeitsgemeinschaft.
To contact the list owners, use the following email address: aglua-owner@lists.rwth-aachen.de
You have to sign in to visit the archives of this list.
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please sign in first. If you have not previously signed in, you may need to set up an account with the appropriate email address.
You can also subscribe without creating an account. If you wish to do so, please use the form below.