Renseignements sur seL4 International
Contrôle de solvabilité
Évaluation de la solvabilité à l'aide d'un feu tricolore comme indicateur de risque et de plus amples informations sur l'entreprise.En savoir plus
Renseignement économique
Renseignement complète sur la situation économique d'une entreprise.En savoir plus
Pratiques de paiement
Évaluation des pratiques de paiement sur la base des factures passées.En savoir plus
Extrait du registre des poursuites
Aperçu des procédures de recouvrement actuelles et passées.En savoir plus
Dossier d'entreprise en PDF
Coordonnées, changements dans l'entreprise, chiffre d'affaires et nombre d'employés, gestion, propriétaires, structure de l'actionnariat et autres données de l'entreprise.Consulter le dossier d'entreprise
À propos de seL4 International
- seL4 International est active dans le secteur «Exploiter d'un édition (analogue/digitale)» et est actuellement actif. Le siège social se trouve à Küsnacht ZH.
- La direction de l’organisation seL4 International est composée de 4 personnes. L'inscription de l’organisation au registre du commerce a été effectuée le 05.11.2025.
- Tous les changements passés peuvent être affichés sous la rubrique «Notifications» et sauvegardés en format PDF. Le dernier changement dans le registre du commerce a eu lieu le 10.11.2025.
- L'IDI d'organisation est CHE-276.739.771.
- Entreprises avec la même adresse: 18 Capital GmbH, 2Xideas AG, Adag Agricultural Development AG.
Direction (4)
les plus récents membres du comité
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick
les plus récents personnes habilitée à signer
Gernot Alexander Heiser,
Gerwin Holger Klein,
June Liege Andronick,
Ekaterina Bertogg
Informations du registre du commerce
Inscription au registre du commerce
05.11.2025
Forme juridique
Association
Siège social de l'entreprise
Küsnacht (ZH)
Registre du commerce
ZH
Numéro au registre du commerce
CH-020.6.003.776-8
IDE/TVA
CHE-276.739.771
Secteur
Exploiter d'un édition (analogue/digitale)
But (Langue d'origine)
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.
Plus de noms d'entreprises
Es sind keine früheren oder übersetzten Firmannamen vorhanden.
Souhaitez-vous actualiser la raison sociale de la société? Cliquez ici.Filiales (0)
Titulaires
Participations
Dernières notifications FOSC pour seL4 International
Les notifications les plus récentes de la feuille officielle suisse du commerce (FOSC) ne sont disponibles que dans la langue d’origine de l’office du registre du commerce respectif. Visualiser toutes publications
Numéro de publication: HR01-1006479525, Registre du commerce Zurich, (20)
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.
Liste de résultats
Vous trouvez ici un lien de la direction vers une liste de personnes avec le même nom, qui sont enregistrées dans le registre du commerce.