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

Headings (most frequently used words):

in, theorietag, der, informatik, jahrestagung, logik, veranstaltungen, nächster, joint, workshop, logic, willkommen, bei, fachgruppe, aktuelle, mitteilungen, nächste, 89, 88, 87, 30, gesellschaft, für, düsseldorf, jahresversammlung, loginf, 2023, bochum, computer, science, and, deduction, systems, 2021, 2020, cookie, einstellungen, keine, geplant,

Text of the page (most frequently used words):
der (46), die (25), und (24), #informatik (15), logik (15), für (13), theorietag (12), weiterlesen (10), von (9), werden (9), jahrestagung (8), cookie (7), fachgruppe (7), wird (6), ist (6), workshop (6), logic (6), computer (6), 2025 (6), veranstaltungen (5), statt (5), mit (5), übersicht (5), dieses (4), matomo (4), zweck (4), laufzeit (4), anbieter (4), name (4), cookies (4), uns (4), webseite (4), september (4), science (4), 2023 (4), fand (4), eine (4), software (3), verwendet (3), diese (3), session (3), wie (3), nächste (3), 2020 (3), war (3), 2021 (3), https (3), loginf (3), the (3), bochum (3), 2024 (3), dem (3), vom (3), sind (3), den (3), seit (3), impressum (2), alle (2), open (2), source (2), statistische (2), auswertung (2), besucherzugriffe (2), 9dca (2), informationen (2), anzeigen (2), tracking (2), nutzererfahrung (2), website (2), verbessern (2), ein (2), benutzer (2), kann (2), aktuelle (2), einstellungen (2), benötigt (2), dadurch (2), auf (2), unserer (2), ihre (2), 2026 (2), gesellschaft (2), geplant (2), universität (2), märz (2), joint (2), and (2), deduction (2), place (2), nächster (2), sehr (2), thomas (2), düsseldorf (2), weitere (2), augsburg (2), unter (2), mitteilungen (2), wolfgang (2), interesse (2), methoden (2), rolle (2), durch (2), platz (2), informatikgrundausbildung (2), gebiet (2), wichtige (2), anwendungen (2), teilweise (2), neue (2), auch (2), bei (2), hat (2), sich (2), tagung (2), meine (2), mitglied (2), unterstütze (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, fe_typo_user, phpsessid, enthält, gewählten, optin, jahr, omcookieconsent, essentielle, grundlegende, funktionen, anmeldung, mitgliederbereich, gewährleistet, dass, einwandfrei, funktioniert, essenziell, einige, davon, zwingend, während, andere, ermöglichen, wir, bitten, hiermit, erlaubnis, folgenden, verwenden, dürfen, einwilligung, freiwillig, nicht, nutzung, erforderlich, jederzeit, widerrufen, problem, melden, datenschutz, mastodon, mail, mitteilen, teilen, vergangene, keine, letzte, erlangen, organisatoren, florian, rabe, sergey, goncharov, findet, kwarc, info, events, gi2020, index, html, call, for, dedsys, systems, 2022, annual, will, take, gelungener, herzlichen, dank, zeume, organisation, rahmen, jahresversammlung, took, combined, groups, algorithms, complexity, heinrich, heine, hhu, veranstaltung, gemeinsam, automaten, formale, sprachen, bis, göttingen, jena, stacs, konferenz, angegliedert, stacs2025, oktober, www, uni, fakultaet, fai, conferences, ilmenau, stattfinden, christoph, berkholz, organisiert, nähere, einzelheiten, geschrieben, franz, baader, mithilfe, manfred, droste, harald, ganzinger, peter, schmitt, schönfeld, ziel, informatikern, logischen, logikern, informatikanwendungen, organisatorische, heimat, geben, hierzu, sollen, kontakte, anderen, fachgruppen, denen, spielt, gepflegt, intensiviert, gemeinsame, außerdem, aufgabe, einen, festen, einzutreten, fortschreibung, neuentwicklung, curricula, diesem, aktiv, mitzuwirken, funktion, sichtbarkeit, erhöhen, praktische, relevanz, herauszustellen, kontext, ihrer, weiterzuentwickeln, entstanden, ganz, teilgebiete, aber, klassische, gebiete, modelltheorie, beweistheorie, erhielten, impulse, ausrichtungen, zukunft, bleiben, neuen, schwierigen, praktischen, problemstellungen, nötige, formalisierung, sowie, lösungsansätze, liefern, verteilte, systeme, spezifikation, verifikation, engineering, programmiersprachen, künstliche, intelligenz, komplexitätstheorie, hardware, entwurf, datenbanksysteme, mathematik, beispiele, anwendungsgebiete, viele, fragestellungen, logischer, natur, können, beschrieben, gelöst, tat, arbeiten, hilbert, gödel, church, turing, entstehung, wesentlich, beteiligt, vielen, orten, daher, ihren, trotzdem, als, eigenes, erst, vor, relativ, kurzer, zeit, etabliert, neben, einer, vielzahl, speziellen, konferenzen, teilbereichen, conference, automated, cade, aided, verification, cav, gibt, mitte, 1980er, jährliche, tagungen, explizit, ganzen, breite, gebietes, widmen, europäische, csl, 1987, internationale, lics, 1986, gehört, fachbereich, dabei, insbesondere, fachausschuss, theoretische, grundlagen, ginf, willkommen, kontakt, mailingliste, links, weiteres, jahrestagungen, leitungsgremium, aktivitäten, menü, zum, hauptinhalt, springen,

Text of the page (random words):
startseite fg loginf zum hauptinhalt springen menü unterstütze uns mitglied werden meine gi startseite übersicht aktivitäten übersicht mitteilungen veranstaltungen fachgruppe übersicht leitungsgremium jahrestagungen logik in der informatik weiteres übersicht links mailingliste kontakt übersicht unterstütze uns mitglied werden meine gi willkommen bei der fachgruppe logik in der informatik die fachgruppe gehört dem fachbereich grundlagen der informatik ginf an und dabei insbesondere dem fachausschuss theoretische informatik an viele fragestellungen in der informatik sind logischer natur und können mit methoden der logik beschrieben und gelöst werden in der tat war die logik z b mit den arbeiten von hilbert gödel church und turing an der entstehung der informatik wesentlich beteiligt an vielen orten hat daher die logik ihren platz in der informatikgrundausbildung trotzdem hat sich die logik in der informatik als eigenes gebiet erst vor relativ kurzer zeit etabliert neben einer vielzahl von speziellen konferenzen zu teilbereichen wie der conference on automated deduction cade und der computer aided verification cav gibt es seit mitte der 1980er jährliche tagungen die sich explizit der ganzen breite dieses gebietes widmen die europäische tagung computer science logic csl seit 1987 und die internationale tagung logic in computer science lics seit 1986 beispiele für anwendungsgebiete der logik in der informatik sind computer mathematik datenbanksysteme hardware entwurf komplexitätstheorie künstliche intelligenz programmiersprachen software engineering spezifikation und verifikation verteilte systeme durch diese anwendungen entstanden teilweise ganz neue teilgebiete der logik aber auch klassische gebiete wie modelltheorie und beweistheorie erhielten dadurch neue impulse und ausrichtungen es wird auch in zukunft eine wichtige rolle der logik in der informatik bleiben bei neuen teilweise sehr schwierigen praktischen problemstellungen die nötige formalisierung sowie lösungsansätze zu liefern ziel der fachgruppe ist es den informatikern mit interesse an logischen methoden und den logikern mit interesse an informatikanwendungen eine organisatorische heimat zu geben hierzu sollen kontakte zu anderen gi fachgruppen in denen logik eine rolle spielt gepflegt und intensiviert werden z b durch gemeinsame veranstaltungen es ist außerdem aufgabe der fachgruppe für einen festen platz der logik in der informatikgrundausbildung einzutreten und an der fortschreibung und neuentwicklung von curricula in diesem gebiet aktiv mitzuwirken eine weitere wichtige funktion der fachgruppe ist es die sichtbarkeit der logik in der informatik zu erhöhen ihre praktische relevanz herauszustellen und die logik im kontext ihrer anwendungen in der informatik weiterzuentwickeln geschrieben von franz baader unter mithilfe von manfred droste harald ganzinger peter h schmitt wolfgang schönfeld und wolfgang thomas aktuelle mitteilungen 04 12 2025 89 theorietag der 89 theorietag wird am 31 03 und 01 04 2026 in ilmenau stattfinden er wird von christoph berkholz organisiert nähere einzelheiten sind unter weiterlesen 10 10 2025 88 theorietag der 88 theorietag fand vom 09 10 oktober 2025 in augsburg statt https www uni augsburg de de fakultaet fai conferences theorietag 2025 weiterlesen 04 03 2025 87 theorietag der 87 theorietag fand vom 03 04 märz 2025 in jena statt und war an die 42 stacs konferenz angegliedert https stacs2025 de workshop weiterlesen 01 07 2024 30 jahrestagung logik in der informatik der gesellschaft für informatik die veranstaltung fand gemeinsam mit dem 34 theorietag automaten und formale sprachen vom 17 bis 20 september 2024 in göttingen statt weitere weiterlesen 22 02 2024 nächster theorietag in düsseldorf the 86 theorietag took place as a combined workshop of the gi groups algorithms complexity and logic at heinrich heine universität düsseldorf hhu weiterlesen 27 09 2023 jahresversammlung loginf 2023 am 19 und 20 september 2023 fand in bochum ein sehr gelungener theorietag statt herzlichen dank an thomas zeume für die organisation im rahmen weiterlesen 19 06 2023 nächster theorietag joint workshop in bochum the annual workshop on logic in computer science jahrestagung will take place in bochum on september 19 20 weiterlesen 03 03 2022 joint logic workshop logic in computer science and deduction systems 26 jahrestagung fg loginf und workshop der fg dedsys weiterlesen 23 02 2021 jahrestagung 2021 die nächste jahrestagung der fachgruppe logik in der informatik findet am 26 märz 2021 statt https kwarc info events gi2020 index html call for weiterlesen 06 10 2020 jahrestagung 2020 die jahrestagung für 2020 war für september an der universität erlangen geplant organisatoren florian rabe und sergey goncharov die jahrestagung weiterlesen 1 2 nächste letzte nächste veranstaltungen keine veranstaltungen geplant vergangene veranstaltungen 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