@Misc{macau_mods_00002013, author = {{26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik}}, editor = {Manea, Florin and Nowotka, Dirk and Wilke, Thomas}, title = {26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband}, year = {1992}, publisher = {Institut f{\"u}r Informatik}, address = {Kiel}, volume = {1606}, abstract = {Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft f{\"u}r Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eint{\"a}gigen Workshop mit eingeladenen Vortr{\"a}gen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft f{\"u}r Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die j{\"a}hrliche Fachgruppensitzungen statt. In diesem Jahr wird der Theorietag der Fachgruppe Automaten und Formale Sprachen erstmalig zusammen mit der Jahrestagung der Fachgruppe Logik in der Informatik abgehalten. Organisiert wurde die gemeinsame Veranstaltung von der Arbeitsgruppe Zuverl{\"a}ssige Systeme des Instituts f{\"u}r Informatik an der Christian-Albrechts-Universit{\"a}t Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neum{\"u}nster. W{\"a}hrend des Treāµens wird ein Workshop f{\"u}r alle Interessierten statt finden. In Tannenfelde werden {\textbullet} Christoph L{\"o}ding (Aachen) {\textbullet} Tom{\'a}s Masopust (Dresden) {\textbullet} Henning Schnoor (Kiel) {\textbullet} Nicole Schweikardt (Berlin) {\textbullet} Georg Zetzsche (Paris) eingeladene Vortr{\"a}ge zu ihrer aktuellen Arbeit halten. Dar{\"u}ber hinaus werden 26 Vortr{\"a}ge von Teilnehmern und Teilnehmerinnen gehalten, 17 auf dem Theorietag Automaten und formale Sprachen und neun auf der Jahrestagung Logik in der Informatik. Der vorliegende Band enth{\"a}lt Kurzfassungen aller Beitr{\"a}ge. Wir danken der Gesellschaft f{\"u}r Informatik, der Christian-Albrechts-Universit{\"a}t zu Kiel und dem Tagungshotel Tannenfelde f{\"u}r die Unterst{\"u}tzung dieses Theorietags. Ein besonderer Dank geht an das Organisationsteam: Maike Bradler, Philipp Sieweck, Joel Day. Kiel, Oktober 2016 Florin Manea, Dirk Nowotka und Thomas Wilke}, issn = {2192-6247}, url = {https://macau.uni-kiel.de/receive/macau_mods_00002013}, file = {:https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00003079/tr-1606.pdf:PDF}, language = {de} }