Arbeitsgemeinschaft Logik und Automaten

<p>In der Arbeitsgemeinschaft <em>Logik und Automaten</em> des <a
href="">Lehrstuhls fr Informatik 7</a> und des
<a href="">Lehr- und Forschungsgebiets Mathematische
Grundlagen der Informatik</a> 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
Weitere Informationen finden Sie auf der <a
href="">Webseite der AG</a>.

In the Arbeitsgemeinschaft <em>Logic and Automata</em> of the <a
href="">Chair of Computer Science 7</a> and the
<a href="">Research Group Mathematical
Foundations of Computer Science</a>, 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 <a
href="">webpage of the Arbeitsgemeinschaft</a>.

To contact the list owners, use the following email address:

You have to login to visit the archives of this list.

Subscription / Unsubscription

To subscribe or unsubscribe from this list, please log in first. If you have not previously logged in, you may need to set up an account with the appropriate email address. By submitting this form, you agree to the storage of your data for the purpose of delivering the e-mails from the mailing list in accordance with Article 6 paragraph 1 lit. a of the General Data Protection Regulation (GDPR).

Log In

You can also subscribe without creating an account. If you wish to do so, please use the form below.