Eingetragene Personen (4)
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 verfolgt keine kommerziellen Zwecke und erstrebt keinen Gewinn. Der Verein ist gemeinnützig und politisch neutral.
SHAB-Chronik
05.06.2026
#8008fb6f-d8d5-4a9d-a686-b15a8bee7e02
Mutation
Mutation seL4 International, Küsnacht (ZH)
Die Mutation der aufgeführten Rechtseinheit wurde im Handelsregister vorgenommen. <br />Publikation nach HRegV Art. 9 und Art. 35.
↓ Details
seL4 International
c/o ALTENBURGER LTD legal + tax
Seestrasse 39
8700 Küsnacht ZH
c/o ALTENBURGER LTD legal + tax
Seestrasse 39
8700 Küsnacht ZH
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.
Tagesregister-Nr. 26012 vom 02.06.2026
Vorangehende Publikation im SHAB: Nr. 217, Datum: 10.11.2025
Kontaktstelle: Handelsregisteramt des Kantons Zürich
Revisionsstelle
Weitere Unternehmen an dieser Adresse
18 Capital GmbH
GmbH Aktiv
2Xideas AG
AG Aktiv
Adag Agricultural Development AG
AG Aktiv
All-In-One-Plus AG
AG Aktiv
ALTENBURGER LTD legal + tax
AG Aktiv
Amenti Invest GmbH
GmbH Aktiv
Apex - Paval Waldhaus GmbH
GmbH Aktiv
Arché Immobilien Schweiz GmbH
GmbH Aktiv
B19 Real Estate AG
AG Aktiv
Bridging Nations Stiftung
Stift Aktiv
Alle Firmen an dieser Adresse →