26. Theorietag Automaten und Formale Sprachen 23. Jahrestagung Logik in der Informatik: Tagungsband

Der Theorietag ist die Jahrestagung der Fachgruppe Automaten und Formale Sprachen der Gesellschaft für Informatik und fand erstmals 1991 in Magdeburg statt. Seit dem Jahr 1996 wird der Theorietag von einem eintägigen Workshop mit eingeladenen Vorträgen begleitet. Die Jahrestagung der Fachgruppe Logik in der Informatik der Gesellschaft für Informatik fand erstmals 1993 in Leipzig statt. Im Laufe beider Jahrestagungen finden auch die jä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ässige Systeme des Instituts für Informatik an der Christian-Albrechts-Universität Kiel vom 4. bis 7. Oktober im Tagungshotel Tannenfelde bei Neumünster. Während des Tre↵ens wird ein Workshop für alle Interessierten statt finden. In Tannenfelde werden • Christoph Löding (Aachen) • Tomás Masopust (Dresden) • Henning Schnoor (Kiel) • Nicole Schweikardt (Berlin) • Georg Zetzsche (Paris) eingeladene Vorträge zu ihrer aktuellen Arbeit halten. Darüber hinaus werden 26 Vorträ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ält Kurzfassungen aller Beiträge. Wir danken der Gesellschaft für Informatik, der Christian-Albrechts-Universität zu Kiel und dem Tagungshotel Tannenfelde für die Unterstü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 Wilk

Der moderne Frege

Gottlob Frege ist einer der größten (der größte?) Wissenschaftler Mecklenburg-Vorpommerns. Als Mathematiker und Philosoph hat er die moderne mathematische Logik begründet, dazu Beiträge zur Mengenlehrer, Axiomatisierung sowie der Sprachphilosophie geleistet. Viele seiner Leistungen haben Spuren hinterlassen, die noch heute wirken, und dass nicht nur in der Mathematik und Philosophie sondern insbesondere auch in der Informatik. Diese Schrift möge dazu beitragen, den Namen Gottlob Frege und sein Schaffen stärker in das öffentliche Bewusstsein zu rücken. --

Annual Report 1999 / Department for Computer Science

Selbstdarstellung des Instituts für Informatik der BTU Cottbus und Berichte der Lehrstühle für das Jahr 1999.Presentation of the Department for Computer Science of the BTU Cottbus and reports of the chairs at the department for the year 1999

Verheißungsvolle Irritationen: eine feministische Auseinandersetzung mit unterschiedlichen Cyborg Fictions

Gegenstand des Artikels ist die Figur der Cyborg, wie sie auf Donna Haraways 'Cyborg-Manifest' von 1985 zurückgeht. Die Autorinnen lesen die Cyborg als ambivalente Figur, insofern sie einerseits Produkt unheimlicher gesellschaftlicher Wissenschafts- und Technologieverhältnisse ist, welche mit Haraways Begriff Informatik der Herrschaft zu charakterisieren sind, und insofern sie andererseits die Logik dieser Verhältnisse zu untergraben vermag, indem sie sich in der Struktur der hierarchisch angeordneten binären Oppositionen, die diese Logik konstituieren, nur widersprüchlich positionieren läßt. Die Autorinnen zeigen, daß die Cyborg damit etablierte Grenzen des zerstörerischen 'modernen' 'westlichen' Denkens - vor allem Grenzen, die auf der Natur/ Kultur- und auf der Frau/ Mann-Opposition basieren - in Frage stellt, und veranschaulichen dies anhand der exemplarischen Auseinandersetzung mit neueren Entwicklungen im Forschungsfeld der Künstlichen Intelligenz sowie mit einer Erzählung aus der feministischen Science Fiction

Analyse der politisch-administrativen Probleme und der Governance der öffentlichen Arbeitslosenkassen

Une des principales composantes de la politique de l'emploi, l'assurance chômage, est confrontée à de nombreux changements et pressions. On peut mentionner la révision de la LACI visant à réduire les déficits récurrents et la dette du fonds de l'assurance chômage, les pressions exercées par la Confédération pour réduire les coûts des caisses de chômage ou encore l'introduction d'un nouveau contrat de prestations. Combinés à une des particularités du système suisse de l'assurance chômage résidant dans le fait que les caisses de chômage sont mises partiellement en concurrence entre elles, ces éléments suscitent des interrogations sur les règles de gouvernance des caisses publiques et le degré d'autonomie de ces caisses pour remplir leur mission de manière efficiente. Cette analyse, mandatée par l'Association des caisses publiques de chômage, répond à ces questions