GI-Mitglieder einmal anders

Mehr über Daniel Versick lesen Sie hier.

Zur Diskussion gestellt

Hier stellen wir Positionen unserer Gliederungen vor, die breit diskutiert werden können (und sollen).

Mehr Beiträge lesen Sie hier...

GI-Publikationsportal

GI-Zeitschriften online lesen und über Neuigkeiten aus der Informatik informieren. Weiter geht´s hier.

GI-Umfrage

Wie wird sich die IT-Branche im kommenden Jahr 2017 entwickeln?

Alle Fragen, alle Antworten seit Juni 2012 finden Sie hier.

GI-Radar

GI-Radar mit Neuigkeiten aus der GI und der Informatik unverbindlich testen

 

Spannende Informatiker!?!

Wir suchen Sie, spannende Informatikerinnen und Informatiker, die uns anhand von fünf Fragen und einem Foto „in Aktion“ ein wenig von sich erzählen. Neugierig?  Lust? Zum Fragebogen geht es hier.

 

Publikationen

Vielfalt der Themen - Fachgruppen in der GI

Die Fachgruppe Deduktionssysteme (DedSys)

Die Fachgruppe Deduktionssysteme ist Teil des Fachbereichs Künstliche Intelligenz der Gesellschaft für Informatik. Sie fördert den Wissenstransfer im Bereich formaler Beweisverfahren zur Lösung von Aufgabenstellungen, die in der Mathematik und Informatik Verwendung finden. Die Fachgruppe fördert dabei insbesondere den Austausch von theoretischen und praktischen Ergebnissen sowie von Werkzeugen. Themenschwerpunkte der Fachgruppe sind zum Beispiel: Automatisches Beweisen, Programmverifikation und -synthese, Term-Ersetzungssysteme, Unifikationstheorie, Programmieren und Planen mit Logik. Die Fachgruppe veranstaltet regelmässig Klausurtagungen, sowie Arbeitstreffen zu speziellen Themen aus dem Bereich der Deduktionssysteme. Die Fachgruppe bietet außerdem fachliche Unterstützung bei Ausbildungs-, Unterrichts-, und Berufsfragen im Bereich Deduktionssysteme. Mehr hier.

Vielfalt der Regionen und Orte - GI/ACM-Regionalgruppen

Die Regionalgruppe Karlsruhe

Die Gruppe hat das Ziel, die GI-Mitglieder vor Ort anzusprechen und für Entwicklungen und Belange der Informatik zu interessieren. Wie alle Regionalgruppen der GI wird sie gemeinschaftlich mit dem German Chapter of the ACM betrieben. Die Region verfügt über eine starke IT-Struktur mit vielen Wissenschaft- und Forschungseinrichtungen sowie zahlreichen KMU's aus der IT-Branche. Deshalb legt die RG besonderen Wert auf die Vernetzung und den Wissenstransfer. Mehr hier.

Das ist die GI

Die Gesellschaft für Informatik e.V. (GI) ist die größte Vereinigung von Informatikerinnen und Informatikern im deutschsprachigen Raum. Sie versteht sich als Plattform für Informatikfachleute aus Wissenschaft und Wirtschaft, Lehre und Öffentlicher Verwaltung und versammelt eine geballte Konzentration an Wissen, Innovation und Visionen. Kernthemen unserer Arbeit sind unter anderem die Nachwuchsförderung, der Wissenstransfer von der Forschung in die Anwendung, Fragen des Datenschutzes und der Sicherheit von Informatiksystemen. Rund 20.000 persönliche Mitglieder, darunter etwa 1.000 Studierende und knapp 250 Unternehmen und Institutionen, profitieren von unserem Netzwerk.