AUTOUFOS - Fachgruppe Automaten und Formale Sprachen
←
→
Transkription von Seiteninhalten
Wenn Ihr Browser die Seite nicht korrekt rendert, bitte, lesen Sie den Inhalt der Seite unten
A UTO UF O S
24. Oktober 2019
Automaten und Formale Sprachen ist der Name unserer Fachgruppe innerhalb der
Gesellschaft für Informatik; daraus leitet sich auch das Akronym unserer in lockerer
Folge veröffentlichten Rundschreiben ab.
Dies ist der dritte Rundbrief im Jahr 2019. Er enthält eine Personalie (Glückwunsch
an Florin zur Professur), Konferenzberichte (DCFS, FCT, MFCS, FSMNLP und Theo-
rietag), eine Vorschau auf den formalsprachlichen Wiener Sommer 2020 und weitere
Tagungsankündigungen.
Personalia
Florin Manea ist seit 1. Oktober als Professor
für „Grundlagen der Informatik“ an der Georg-
August-Universität Göttingen tätig.
Florin Manea wurde im Jahr 2007 an der Fa-
kultät für Mathematik und Informatik an der Uni-
versität Bukarest promoviert, wo er bis 2009 wis-
senschaftlicher Mitarbeiter war. Dann bekam er
den Tudor-Tanasescu-Preis der Rumänischen Aka-
demie verliehen und wechselte mit einem Stipen-
dium der Alexander-von-Humboldt-Stiftung für
zwei Jahre an die Otto-von-Guericke-Universität
Magdeburg. Danach arbeitete er in einem DFG-
c Florin Manea
Forschungsprojekt an der Christian-Albrechts-Uni-
versität zu Kiel.
Florin Manea hat mehr als 100 wissenschaftli-
che Aufsätze veröffentlicht; seine Arbeiten wurden
mehr als 1000 Mal zitiert. Er forscht u. a. in den Bereichen Algorithmen und Kombi-
natorik auf Wörtern, effiziente Algorithmen und Datenstrukturen, formale Sprachen
und Automaten sowie Logik. Er ist Chair des Steering Committee der Konferenzrei-
he Computability in Europe (CiE) und im Leitungsgremium der European Association for
Computer Science Logic (EACSL). Außerdem war er Co-Chair im Programm-Komitee
der DCFS 2016 sowie in Programm-Komitees vieler weiterer internationaler Konfe-
renzen, darunter STACS, FCT, CPM und DLT.
1
Seine Schwerpunkte in der Lehre liegen auf den Grundlagen der Informatik wie
Algorithmen und Datenstrukturen, formale Sprachen und Logik. Darüber hinaus un-
terstützt er Studierende bei Programmierwettbewerben und hilft ihnen, sich darauf
vorzubereiten.
Wir wünschen Florin viel Erfolg bei seinen neuen Aufgaben!
Berichte von Konferenzen
Sommerzeit ist auch Konferenzzeit. Gern berichten wir hier von unterschiedlichen Ta-
gungen mit einem Fokus auf Automaten und Formale Sprachen. Hier könnten wir
sicher noch andere Tagungen würdigen. Die Auswahl hängt natürlich davon ab, zu
welchen Veranstaltungen wir Berichte erhalten.
DCFS in Košice
Die jährliche Konferenz „Descriptional Complexity of Formal Systems“ spricht Wis-
senschaftler aus vielen unterschiedlichen Bereichen der Informatik an und möchte
eine Gelegenheit zum wissenschaftlichen Austausch über Beschreibungskomplexität
und ihre Anwendungen bieten. Die DCFS 2019 fand als 21. Ausgabe dieser Konfe-
renzreihe im Hotel „TeleDom“ in Košice, Slowakei, vom 17. Juli bis 19. Juli 2019 statt.
Die Konferenz wurde gemeinsam von der IFIP Working Group 1.02 on Descriptional
Complexity, dem Mathematical Institute of the Slovak Academy of Sciences (Košice
branch) und der Slovak Artificial Intelligence Society (SAIS) organisiert. Das Orga-
nisationskomitee bestand aus Peter Gurský, Michal Hospodár, Jozef Jirásek, Galina
Jirásková, Ivana Krajňáková, Peter Mlynárčik, Viktor Olejár, Matúš Palmovský und
Juraj Šebej.
Das wissenschaftliche Programm bestand aus vier eingeladenen Vorträgen, gehal-
ten von
• Giovanni Pighizzini (Mailand, Italien) über „Limited Automata: Properties, Com-
plexity and Variants“
• Rudolf Freund (Wien, Österreich) über „General Framework for Sequential Gram-
mars with Control Mechanisms“
• Jarkko Kari (Turku, Finnland) über „Low-Complexity Tilings of the Plane“
• Benedek Nagy (Famagusta, Nord-Zypern) über „Union-Freeness, Deterministic
Union-Freeness and Union-Complexity“
sowie achtzehn Vorträgen angenommener Papiere, die vorher vom Programmkomitee
auf Grundlage von jeweils mindestens drei Gutachten pro Einreichung ausgewählt
worden waren. Das genaue Programm und weitere Informationen findet man auf der
Seite http://im.saske.sk/dcfs2019/.
Der Tagungsband wurde von Michal Hospodár, Galina Jirásková und Stavros Kon-
stantinidis editiert und erschien im Springer-Verlag als Band 11612 der Reihe Lecture
2
DCFS 2019 Gruppenbild — vor der Ochtinská Aragonithöhle.
Notes in Computer Science (LNCS). Er enthält alle eingeladenen und akzeptierten Arbei-
ten. Langfassungen ausgewählter Beiträge werden in einem Sonderband von Informa-
tion and Computation erscheinen.
Die nächste Konferenz, die DCFS 2020, wird von Rudi Freund organisiert und ist
für die Zeit vom 24. bis zum 26. August in Wien im Rahmen des „Summer of Formal
Languages“ geplant.
A. Malcher
FCT in Kopenhagen
Mitte August fand die FCT (Fundamentals of Computation Theory) in Kopenhagen
statt. Bis 2003 war die Tradition, diese Tagungsreihe im Bereich des ehemaligen Ost-
blocks oder Schwedens im zweijährigen Rhythmus zu veranstalten. Unter Beibehal-
tung des Rhythmus ist die FCT seit 2005 auch an anderen Orten Europas zu Hause, so
eben bei der 22. Auflage (das erste Mal) in Dänemark.
Während bei früheren FCTs die Formalen Sprachen eine deutliche Rolle gespielt
haben, war dieses Mal unter der Überschrift „Formal Methods“ nur eine vom Titel
her klar formalsprachliche Arbeit zu finden, auch wenn bei den anderen gewisse An-
klänge zweifelsfrei vorhanden waren. Es wäre sicher zu begrüßen, wenn sich bei der
nächsten FCT (2021 in Athen) wieder mehr formalsprachliche Arbeiten fänden.
3
Der Tagungsband der FCT erschien (wie üblich) im Springer-Verlag in der Reihe
Lecture Notes in Computer Science (LNCS), diesmal als Band 11651.
H. Fernau
MFCS in Aachen
Die 44. Auflage der „Mathematical Foundations of Computer Science“ fand in diesem
Jahr Ende August eine Woche lang in Aachen statt. Bis 2012 hielt sich ja die Tradition,
immer zwischen Polen und der Tschechoslowakei (später Tschechien und Slowakei)
zu pendeln, aber seit 2013 erkundet die MFCS auch das weitere europäische Umfeld.
So fand sie in diesem Jahr zum allerersten Male in Deutschland statt, und zwar in der
alten Kaiserstadt Aachen.
Mit Peter Rossmanith, Pinar Heggernes und Joost-Pieter Katoen an ihrer Spitze
haben über vierzig PC-Mitglieder aus knapp 200 Einreichungen 78 Beiträge ausge-
wählt. Diese wurden in Sessions, von denen jeweils zwei gleichzeitig stattfanden,
im SuperC-Gebäude der RWTH vorgestellt. Jeder Morgen wurde allerdings für al-
le gemeinsam durch einen einstündigen eingeladenen Vortrag eingeleitet, und zwar
durch Kurt Mehlhorn (Max-Planck-Institut Saarbrücken), Alexandra Silva (University
College London, UK), Daniel Lokshtanov (University of California at Santa Barbara,
USA), Kavitha Telikepalli (Tata Institute of Fundamental Research, Indien) sowie Jérô-
me Leroux (LaBRI, Frankreich).
Insbesondere der letztgenannte eingeladene Vortrag über das Erreichbarkeitspro-
blem bei Petrinetzen war sicher auch für Formalsprachler sehr interessant. Es hat doch
viele Jahrzehnte gedauert, bis die Komplexität dieses Problems tiefer verstanden wur-
de. Aber auch sonst wurde für die an AFS Interessierten viel geboten. So gab es am
Donnerstag auf drei Sitzungen insgesamt zehn Beiträge aus unserem Gebiet, über end-
liche Automaten und andere Automatenmodelle, einschließlich Zellularautomaten,
Petrinetze, Transduktoren. Bereits am Dienstag gab es zwei Beiträge zu Wortgleichun-
gen, quasi aus der Mitte unserer Fachgruppe. Aber auch bei den anderen Vorträgen
schimmerten immer wieder formalsprachliche Aspekte durch, beispielsweise nahmen
endliche Automaten auch einen breiten Raum im eingeladenen Vortrag von Alexan-
dra Silva ein, und auch die Varianten der Axiomatisierung Kleene’scher Algebren von
Salomaa sollte manchem Formalsprachler bekannt vorgekommen sein. Insgesamt wa-
ren auch etliche Leute auf der MFCS, die man sonst auf unseren Theorietagen antrifft.
Beispielsweise waren wir zu dritt aus Trier angereist.
Die Tagungsbände der MFCS werden seit 2016 vom Schloss Dagstuhl – Leibniz-
Zentrum für Informatik herausgegeben, konkret in diesem Jahr als LIPIcs Band 138.
H. Fernau
FSMNLP in Dresden
Vom 23. bis 25. September fand in Dresden die 14. internationale Konferenz „Finite-
State Methods and Natural Language Processing“ statt. Im zweijährigen Rhythmus
4
wird diese Tagung veranstaltet und nachdem Frank Drewes die Tagung 2017 in Um-
eå (Schweden) ausgerichtet hat, übernahm dieses Jahr Heiko Vogler als Ausrichter.
Obwohl für die Teilnahme keine Gebühr erhoben wurde, ermöglichte er eine hoch-
karätige Tagung mit ausgezeichneten eingeladenen Sprechern. Aarne Ranta (Göte-
borg, Schweden) präsentierte sein „Grammatical Framework“ (GF) im Rahmen ei-
nes mehrteiligen Tutorials. Frank Drewes (Umeå, Schweden) und Kilian Gebhardt
(Dresden) gaben uns in ihren eingeladenen Vorträgen Einblicke in das effiziente Par-
sing mit Graphgrammatiken und Grammatiken mit latenten Variablen. Die techni-
schen Beiträge beschäftigten sich hauptsächlich mit der Anwendung von endlichen
Zeichenreihenübersetzern in verschiedenen Gebieten der natürlichen Sprachverarbei-
tung. Für Formalsprachler gab es also sowohl theoretische Resultate wie auch An-
wendungen unserer Theorie zu bestaunen. Der Tagungsband ist unter der Adresse
https://www.aclweb.org/anthology/volumes/W19-31/ verfügbar. Wir freu-
en uns bereits auf die nächste FSMNLP, die 2021 in Stellenbosch (Südafrika) unter der
Ägide von Bruce Watson und Brink van der Merwe stattfinden wird.
A. Maletti
Theorietag in Bremen
Direkt im Anschluss (25.–27. September) an die FSMNLP fand unser diesjähriger Theo-
rietag der Fachgruppe in Bremen statt. Dem Organisator Sebastian Maneth gelang es,
Mikołaj Bojańczik (Warschau, Polen), Wim Martens (Bayreuth) und Thomas Schwen-
tick (Dortmund) als eingeladene Sprecher zu gewinnen. Wim Martens zeigte uns Opti-
mierungsprobleme für praxisnahe Graphanfragen auf und Thomas Schwentick führte
die dynamische Komplexität ein, die es uns erlaubt die Schwierigkeit von Anfragen
auf sich ändernden Daten zu messen. Beide Vorträge behandelten klassische Bezie-
hungen zwischen den formalen Sprachen und der Datenbanktheorie. In dem weiteren
Vortrag, gehalten von Mikołaj Bojańczik, wurden die polyregulären als Erweiterung
der regulären Funktionen vorgestellt. Die technischen Beiträge deckten die übliche
Breite der Formalsprachen ab und können unter
http://user.informatik.uni-bremen.de/smaneth/Theorietag2019.pdf
eingesehen werden. Ein gemütlicher Abend in einer Gaststätte mit Kegelbahn runde-
te den ersten Tag ab. Auch der zweite Tag war perfekt organisiert und wir danken
Sebastian Maneth für zwei wunderbare und lehrreiche Tage.
A. Maletti
Vorschau auf Konferenzen
Wir möchten hier als erstes auf den schon lange angekündigten und auch an an-
derer Stelle erwähnten „Summer of Formal Languages“ eingehen. Vom 17. August
bis 1. September 2020 wird Rudolf Freund an der TU Wien fünf internationale Ta-
gungen und den Theorietag unserer Fachgruppe organisieren. Damit man jetzt schon
seine Reisevorhaben planen kann, hier die Daten im Einzelnen:
5
Vom 17. bis 22. August werden die UCNC (Unconventional Computation and Na-
tural Computation) und die CMC (Conference on Membrane Computing) stattfinden.
Für die zweite Woche (vom 24. bis 29. August) sind die DCFS (Descriptional Comple-
xity of Formal Systems), NCMA (Non-Classical Models of Automata and Applicati-
ons) und MCU (Machines, Computations and Universality) geplant, wobei vorgese-
hen ist, dass sich die Tagungen teilweise überlappen. Der Theorietag ist für die beiden
Tage 31. August und 1. September geplant. Es wird also einen heißen formalsprachli-
chen Hochsommer in Wien geben.
Wir werden im nächsten Rundbrief auf dieses Thema zurückkommen und dann
weitere Daten (z. B. zu den Einsendefristen) und Neuigkeiten verkünden.
Tagungen mit nahendem Einsendeschluss
Die Tagungen der folgenden Liste sind nach dem Datum des Einsendeschlusses sor-
tiert. In dieser Jahreszeit ist die Liste deutlich kürzer als z. B. im Januar.
• LATA 2020 — Einsendeschluss: 26. Oktober 2019
14th International Conference on Language and Automata Theory and Applications
http://lata2020.irdta.eu/
2. – 6. März 2020, Mailand, Italien
• STOC 2020 — Einsendeschluss: 4. November 2019
52nd Annual ACM Symposium on Theory of Computing
http://acm-stoc.org/stoc2020/
22. – 26. Juni 2020, Chicago, USA
• TAMC 2020 — Einsendeschluss: 1. Dezember 2019
16th Annual Conference on Theory and Applications of Models of Computation
http://tamc2020.csu.edu.cn
23. – 25. Mai 2020, Changsha, China
• CiE 2020 — Einsendeschluss: 3. Januar 2020 (Abstracts), 17. Januar 2020 (Papers)
16th International Conference on Computability in Europe
https://cie2020.wordpress.com/
29. Juni – 3. Juli 2020, Salerno, Italien
• CSR 2020 — Einsendeschluss: 10. Januar 2020
15th International Computer Science Symposium in Russia
https://csr2020.sciencesconf.org/
29. Juni – 3. Juli 2020, Jekaterinburg, Russland
Hinweis: Mit Henning Fernau und Michail Volkov wird die Tagung von zwei
Formalsprachlern geleitet, die sicher entsprechende Einreichungen willkommen
heißen werden. Es gibt übrigens Direktflüge nach Peking (ICALP).
• DLT 2020 — Einsendeschluss: 10. Januar 2020
24th International Conference on Developments in Language Theory
http://knot.math.usf.edu/dlt2020/
11. – 15. Mai 2020, Tampa, USA
6
• AUTOMATA 2020 — Einsendeschluss (12 Seiten): 4. Februar 2020
Einsendeschluss für Kurzbeiträge (8 Seiten): 3. Mai 2020
26th International Workshop on Cellular Automata and Discrete Complex Sy-
stems
https://automata2020.weebly.com/
10. – 12. August 2020, Stockholm, Schweden
• ICALP 2020 — Einsendeschluss: 12. Februar 2020
47th International Colloquium on Automata, Languages and Programming
http://econcs.pku.edu.cn/icalp2020/
8. – 12. Juli 2020, Peking, China
Schlusswort
Seit der letzten Wahl auf dem Theorietag 2018 in Lutherstadt Wittenberg bilden wir
die Fachgruppenleitung:
Henning Fernau, Trier Bianca Truthe, Gießen Suna Bensch, Umeå Andreas Malcher, Gießen Andreas Maletti, Leipzig
(Sprecher) (Stellvertretender Sprecher)
Wir sind weiterhin gespannt auf Ihre Rückmeldungen und Anregungen sowie selbst-
verständlich auch auf Beiträge zu unserem Rundbrief. Für Nachrichten an die gesamte
Fachgruppenleitung oder nur an Sprecher und Stellvertreter dürfen vorzugsweise die
generischen e-Mail-Adressen
fg-afs-leitung@gi.de bzw. fg-afs-sprecher@gi.de
verwendet werden.
l eitu ng
en
c h g rupp
a
Ihre F
7Sie können auch lesen
