Meta tags:
author=Gesellschaft für Informatik (GI);

Headings (most frequently used words):

veranstaltungen, willkommen, bei, der, fachgruppe, automaten, und, formale, sprachen, afs, nächste, meldungen, cookie, einstellungen, keine, geplant,

Text of the page (most frequently used words):
für (29), und (29), universität (25), der (21), informatik (19), die (18), #automaten (12), technische (11), von (9), theoretische (9), sprachen (9), formale (9), systeme (8), cookie (7), werden (7), arbeitsgruppe (7), professur (7), institut (6), lehrstuhl (6), veranstaltungen (6), grundlagen (5), logik (5), fachgruppe (5), übersicht (5), software (4), matomo (4), zweck (4), laufzeit (4), anbieter (4), name (4), cookies (4), ist (4), webseite (4), martin (4), fachgebiet (4), methoden (4), afs (4), dieses (3), wird (3), verwendet (3), session (3), auf (3), dresden (3), des (3), algebraische (3), semantik (3), aktivitäten (3), grammatiken (3), impressum (2), alle (2), open (2), source (2), statistische (2), auswertung (2), besucherzugriffe (2), 9dca (2), informationen (2), anzeigen (2), diese (2), tracking (2), uns (2), nutzererfahrung (2), website (2), verbessern (2), ein (2), benutzer (2), kann (2), einstellungen (2), wie (2), benötigt (2), unserer (2), andere (2), folgenden (2), gesellschaft (2), georg (2), max (2), planck (2), thomas (2), christian (2), albrechts (2), kiel (2), programmierung (2), münchen (2), dortmund (2), logische (2), markus (2), kassel (2), justus (2), liebig (2), gießen (2), henning (2), automatentheorie (2), zur (2), formalen (2), sie (2), konferenzen (2), theorietag (2), förderung (2), durch (2), netze (2), ihnen (2), schwerpunkte (2), keine (2), meine (2), spenden (2), mitglied (2), startseite (2), datenschutzerklärung, akzeptieren, nur, essenzielle, minuten, _pk_ses, monate, _pk_id, gruppe, beinhaltet, skripte, analytisches, zugehörige, hilft, statistik, standard, typo3, speichert, falle, eines, logins, eingeloggte, wiedererkannt, ihm, zugang, geschützten, bereichen, gewährt, aktuelle, fe_typo_user, phpsessid, enthält, gewählten, optin, jahr, omcookieconsent, essentielle, grundlegende, funktionen, anmeldung, mitgliederbereich, dadurch, gewährleistet, dass, einwandfrei, funktioniert, essenziell, einige, davon, zwingend, während, ermöglichen, ihre, wir, bitten, hiermit, erlaubnis, verwenden, dürfen, einwilligung, freiwillig, nicht, nutzung, erforderlich, jederzeit, widerrufen, problem, melden, datenschutz, 2026, mastodon, mail, mitteilen, teilen, zetzsche, models, computation, wilke, heiko, vogler, helmut, seidl, beschreibungsstrukturen, schwentick, klaus, reinhardt, luther, halle, joël, ouaknine, foundations, algorithmic, verification, and, theoretical, computer, science, dirk, nowotka, zuverlässige, daniel, neider, verifikation, garantien, maschinellen, lernens, roland, meyer, braunschweig, sebastian, maneth, bremen, datenbanken, florin, manea, august, göttingen, andreas, maletti, leipzig, lohrey, siegen, anthony, widjaja, lin, kaiserslautern, automated, reasoning, lange, kutrib, dietrich, kuske, ilmenau, stephan, kreutzer, berlin, holzer, grohe, rwth, aachen, theorie, diskreter, stefan, göller, komplexe, fernau, trier, javier, esparza, volker, diekert, stuttgart, bordihn, potsdam, christel, baier, franz, baader, unterstützt, thematik, veranstaltet, einmal, jährlich, einen, fühlt, sich, mitverantwortlich, regelmäßig, stattfindende, einschlägige, ncma, stacs, lehre, diesem, gebiet, vertretung, gebietes, innerhalb, außerhalb, bündelung, spezifische, koordinierung, forschungsprojekten, kommunikation, treffen, mitteilungen, den, zielen, dieser, gehören, übersetzerbau, programmschemata, kombinatorische, algorithmische, fragen, codes, pattern, matching, transitionssysteme, spezifikation, verteilter, programmverifikation, dynamische, logiken, halbgruppen, potenzreihen, bezüge, komplexitäts, rekursions, schaltkreistheorie, verteilte, automatenmodelle, darunter, zelluläre, systolische, evolutionärer, prozessoren, petrinetze, neuronale, zeichen, term, ersetzungssysteme, graph, kooperierende, oder, wörtern, bäumen, graphen, bildern, lindenmayer, sowie, erzeugte, akzeptierte, inhaltliche, liegen, unter, anderem, gebieten, forum, interessierten, informatiker, anderen, fachgruppen, fachbereichs, bestehen, enge, bindungen, arbeitsgruppen, mit, bezug, ziele, allgemein, nachrichten, verfügbar, meldungen, vergangene, geplant, nächste, willkommen, bei, kontakt, logo, mitgliedschaft, geschichte, leitungsgremium, bände, protokolle, rundbriefe, publikationen, theorietage, menü, zum, hauptinhalt, springen,

Text of the page (random words):
startseite fg afs zum hauptinhalt springen menü mitglied werden spenden meine gi startseite übersicht aktivitäten übersicht veranstaltungen konferenzen theorietage publikationen übersicht rundbriefe protokolle theorietag bände fachgruppe übersicht leitungsgremium geschichte mitgliedschaft logo kontakt übersicht mitglied werden spenden meine gi willkommen bei der fachgruppe automaten und formale sprachen afs nächste veranstaltungen keine veranstaltungen geplant vergangene veranstaltungen meldungen keine nachrichten verfügbar allgemein schwerpunkte ziele arbeitsgruppen mit afs bezug die fachgruppe automaten und formale sprachen afs ist ein forum der gesellschaft für informatik für die an automaten und formalen sprachen interessierten informatiker zu anderen fachgruppen des fachbereichs grundlagen der informatik bestehen enge bindungen inhaltliche schwerpunkte liegen unter anderem auf folgenden gebieten automaten und von ihnen akzeptierte sprachen grammatiken und lindenmayer systeme sowie von ihnen erzeugte sprachen formale sprachen von wörtern bäumen graphen bildern zeichen und term ersetzungssysteme graph grammatiken kooperierende systeme von automaten oder grammatiken verteilte automatenmodelle darunter zelluläre automaten systolische automaten netze evolutionärer prozessoren petrinetze neuronale netze bezüge zur komplexitäts rekursions und schaltkreistheorie algebraische methoden u a halbgruppen formale potenzreihen automaten und logik automaten und semantik u a transitionssysteme in semantik und spezifikation verteilter systeme programmverifikation dynamische logiken kombinatorische und algorithmische fragen u a codes pattern matching automatentheorie und programmierung u a übersetzerbau programmschemata zu den zielen dieser fachgruppe gehören die förderung der kommunikation durch treffen und mitteilungen die bündelung von aktivitäten durch spezifische veranstaltungen und koordinierung von forschungsprojekten die vertretung des gebietes innerhalb und außerhalb der gi die förderung der lehre in diesem gebiet die fachgruppe unterstützt veranstaltungen und andere aktivitäten zur thematik der automaten und formalen sprachen sie veranstaltet einmal jährlich einen theorietag automaten und formale sprachen sie fühlt sich mitverantwortlich für regelmäßig stattfindende einschlägige konferenzen wie die stacs und die ncma professur für automatentheorie technische universität dresden franz baader professur für algebraische und logische grundlagen der informatik technische universität dresden christel baier institut für informatik universität potsdam henning bordihn institut für formale methoden der informatik theoretische informatik universität stuttgart volker diekert lehrstuhl für theoretische informatik technische universität münchen javier esparza lehrstuhl für theoretische informatik universität trier henning fernau fachgebiet theoretische informatik komplexe systeme universität kassel stefan göller lehrstuhl für logik und theorie diskreter systeme rwth aachen martin grohe professur für formale methoden justus liebig universität gießen markus holzer fachgebiet logik und semantik technische universität berlin stephan kreutzer fachgebiet automaten und logik technische universität ilmenau dietrich kuske institut für informatik justus liebig universität gießen martin kutrib fachgebiet theoretische informatik formale methoden universität kassel martin lange arbeitsgruppe automated reasoning technische universität kaiserslautern anthony widjaja lin lehrstuhl für theoretische informatik universität siegen markus lohrey professur für algebraische und logische grundlagen universität leipzig andreas maletti professur für grundlagen der informatik georg august universität göttingen florin manea arbeitsgruppe datenbanken universität bremen sebastian maneth institut für theoretische informatik technische universität braunschweig roland meyer professur für verifikation und formale garantien des maschinellen lernens technische universität dortmund daniel neider arbeitsgruppe zuverlässige systeme christian albrechts universität zu kiel dirk nowotka arbeitsgruppe foundations of algorithmic verification and theoretical computer science max planck institut für software systeme joël ouaknine arbeitsgruppe theoretische informatik martin luther universität halle klaus reinhardt lehrstuhl für logik in der informatik technische universität dortmund thomas schwentick lehrstuhl für sprachen und beschreibungsstrukturen in der informatik technische universität münchen helmut seidl professur für grundlagen der programmierung technische universität dresden heiko vogler arbeitsgruppe theoretische informatik christian albrechts universität zu kiel thomas wilke arbeitsgruppe models of computation max planck institut für software systeme georg zetzsche teilen mitteilen mail mastodon 2026 gesellschaft für informatik e v impressum datenschutz problem melden cookie einstellungen auf unserer webseite werden cookies verwendet einige davon werden zwingend benötigt während es uns andere ermöglichen ihre nutzererfahrung auf unserer webseite zu verbessern wir bitten hiermit um erlaubnis die folgenden cookies verwenden zu dürfen diese einwilligung ist freiwillig nicht für die nutzung der website erforderlich und kann jederzeit widerrufen werden essenziell essentielle cookies werden für grundlegende funktionen der webseite wie z b für die anmeldung im mitgliederbereich benötigt dadurch ist gewährleistet dass die webseite einwandfrei funktioniert cookie informationen anzeigen name omcookieconsent anbieter gi de laufzeit 1 jahr zweck enthält die gewählten tracking optin einstellungen name fe_typo_user phpsessid anbieter gi de laufzeit aktuelle session zweck dieses cookie ist ein standard session cookie von typo3 es speichert im falle eines benutzer logins die session id so kann der eingeloggte benutzer wiedererkannt werden und es wird ihm zugang zu geschützten bereichen gewährt statistik diese gruppe beinhaltet alle skripte für analytisches tracking und zugehörige cookies es hilft uns die nutzererfahrung der website zu verbessern cookie informationen anzeigen name _pk_id 1 9dca anbieter matomo laufzeit 13 monate zweck dieses cookie wird von der open source software matomo für die statistische auswertung der besucherzugriffe verwendet name _pk_ses 1 9dca anbieter matomo laufzeit 30 minuten zweck dieses cookie wird von der open source software matomo für die statistische auswertung der besucherzugriffe verwendet nur essenzielle alle akzeptieren impressum datenschutzerklärung