idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Vom 6. bis 9. Mai 2015 findet am Institut für Informatik der Universität Leipzig die internationale Tagung "Jewels of Automata: from Mathematics to Applications" statt. Thema der Tagung sind die Automatentheorie und verwandte mathematische Gebiete.
Der Automatenbegriff spielt in der theoretischen Informatik eine große Rolle. Es geht dabei um Modellrechner. In 26 Übersichtsvorträgen stellen international führende Experten wichtige Fortschritte auf diesem Gebiet vor. Gleichzeitig bietet die Tagung sowohl jüngeren als auch erfahrenen Forschern Gelegenheit, aktuelle Resultate zur Automatentheorie, ihre Verbindung mit der Mathematik und ihre Anwendungen zu diskutieren. Die Tagung wird von über 120 Teilnehmern aus 23 Ländern besucht.
Den Eröffnungsvortrag hält Prof. Dr. Dr. Moshe Vardi von der Rice University in Houston. Er wurde unter anderem mit dem Gödel Preis ausgezeichnet, der für herausragende Veröffentlichungen in der theoretischen Informatik vergeben wird und ist mehrfacher Preisträger der Association for Computing Machinery (ACM). Derzeit forscht er als Leibniz-Gastwissenschaftler an der Universität Leipzig.
Finanziell unterstützt wird die Tagung von der Deutschen Forschungsgemeinschaft, der Research Academy Leipzig und dem Leibniz-Programm der Universität Leipzig. Organisatoren der Tagung sind sind Prof. Dr. Dr. Werner Kuich (Paris), Prof. Dr. Jean-Eric Pin (Paris), Prof. Dr. Dr. Wolfgang Thomas (Aachen) sowie Prof. Dr. Manfred Droste von der Universität Leipzig.
Weitere Informationen:
Prof. Dr. Manfred Droste
Institut für Informatik / Automaten und Sprachen
Telefon: +49 341 97-32200
E-Mail: droste@informatik.uni-leipzig.de
http://www.informatik.uni-leipzig.de/theo/pers/droste
Merkmale dieser Pressemitteilung:
Journalisten, Wissenschaftler
Informationstechnik, Mathematik
überregional
Wissenschaftliche Tagungen
Deutsch
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
