GI-Mitglieder einmal anders

Mehr über Heinrich Reinermann lesen Sie hier.

GI-Publikationsportal

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

GI-Umfrage

Nach dem Willen der Bundesregierung werden Gesundheitsdaten demnächst im starken Maße elektronisch verarbeitet (E-Health-Gesetz). Sehen Sie darin eher Chancen oder Risiken?

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

GI-Radar

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

 

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

Regionalgruppe Sachsen-Anhalt

Die Informatik in Sachsen-Anhalt ist – wie in keinem anderen Bundesland – durch junge, dynamische Unternehmen, Forschungsinstitute und Ausbildungsmöglichkeiten geprägt. Sind andere IT-Regionen geprägt durch internationale Großunternehmen, so wird dieser Wirtschaftszweig bei uns durch Ideen und Innovation junger Unternehmen und Forschungsinstitute sehr erfolgreich getragen. Die Regionalgruppe bietet Ihren Mitgliedern ein Netzwerk, interessante Möglichkeiten zur individuellen Weiterbildung, Möglichkeiten zur Kooperation auf Wirtschafts- wie auch Forschungsebene sowie eine partnerschaftliches Umfeld um sich mit Gleichgesinnten auszutauschen. 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 1.500 Studierende und knapp 300 Unternehmen und Institutionen, profitieren von unserem Netzwerk.