Handelsregister-Historie
-
Mutation
Mutation seL4 International, Küsnacht (ZH)
Publikationstext anzeigen
seL4 International, in Küsnacht (ZH), CHE-276.739.771, Verein (SHAB Nr. 217 vom 10.11.2025, Publ. 1006479525). Statutenänderung: 08.04.2026. Zweck neu: Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein verfolgt keine kommerziellen Zwecke und erstrebt keinen Gewinn. Der Verein ist gemeinnützig und politisch neutral. Eingetragene Personen neu oder mutierend: Hardin, David Scott, amerikanischer Staatsangehöriger, in Cedar Rapids / IA (US), Mitglied des Vorstandes, ohne Zeichnungsberechtigung; Wang, Qiyan, amerikanischer Staatsangehöriger, in Los Altos / CA (US), Mitglied des Vorstandes, ohne Zeichnungsberechtigung; Revipur AG (CHE-168.056.184), in Zürich, Revisionsstelle.
-
Neueintragung
Neueintragung seL4 International, Küsnacht (ZH)
Publikationstext anzeigen
seL4 International, in Küsnacht (ZH), CHE-276.739.771, c/o ALTENBURGER LTD legal + tax, Seestrasse 39, 8700 Küsnacht ZH, Verein (Neueintragung). Statutendatum: 08.10.2025. Zweck: Der Zweck des Vereins ist die Konzeption, Entwicklung und Implementierung von vertrauenswürdiger open-source Software sowie damit verbundenen formalen, mathematischen Beweisen, mit dem primären Schwerpunkt auf der Konzeption, Entwicklung und Implementierung des seL4 Microkernels sowie damit verbundener Beweise, Frameworks, Werkzeuge, Sprachen, Komponenten und Systeme, in Übereinstimmung mit den Bestimmungen dieser Statuten. Der Verein ist gemeinnützig. Der Verein ist politisch neutral. Mittel: Mittel: Mitgliederbeiträge; Spenden; Sponsoring; Erträge aus dem Vereinsvermögen; alle weiteren Mittel, die nicht im Widerspruch zum Gesetz oder zum gemeinnützigen Charakter stehen. Eingetragene Personen: Heiser, Gernot Alexander, deutscher Staatsangehöriger, in Sydney (AU), Präsident des Vorstandes, mit Einzelunterschrift; Klein, Gerwin Holger, deutscher Staatsangehöriger, in Sidney (AU), Mitglied des Vorstandes, mit Einzelunterschrift; Liege ép. Andronick, June, französische Staatsangehörige, in Bordeaux (FR), Mitglied des Vorstandes, mit Einzelunterschrift; Bertogg, Ekaterina, von Ilanz/Glion, in Maur, mit Einzelunterschrift.