Informal Systems AG
Informal Systems AG, Aktiengesellschaft in Lausanne (VD), Informatik. Eintrag im Handelsregister seit 2019 aktiv. Letzte Publikation: 11. November 2025. UID CHE-259.698.438.
Informal Systems fördert das Vertrauen in Software und Geld mit Quint, einer Spezifikationssprache für den Entwurf zuverlässiger verteilter Systeme, und Cycles, einem Clearing-Protokoll für Zahlungen in der realen Welt.1
Handelsregister
- Rechtsform
- Aktiengesellschaft
- Sitz
- Avenue de l'Eglise-Anglaise 2, 1006 Lausanne
- Aktienkapital
- CHF 100'000
- UID-Nummer
- CHE-259.698.438
- Eingetragen seit
- 2019
- Zweck (Originalsprache)
- le but de la société est de promouvoir et de développer de nouvelles technologies et applications, en particulier dans le domaine des nouvelles architectures logicielles ouvertes et décentralisées (pour but complet cf. statuts).
8 weitere Unternehmen an dieser Adresse
- Cycles Protocol SA Aktiengesellschaft Erbringung von Dienstleistungen der Informationstechnologie
- FWG Architects Sàrl Gesellschaft mit beschränkter Haftung GmbH/Sàrl Tätigkeiten von Architektur- und Ingenieurbüros
- Helvetiq SA Aktiengesellschaft Verlagswesen
Ähnliche Unternehmen
- Cycles Protocol SA Lausanne Erbringung von Dienstleistungen der Informationstechnologie
- Quadrisoft SA Genève Erbringung von Dienstleistungen der Informationstechnologie
- QR Pay Sàrl Les Ponts-de-Martel
- Quranium SA Rolle Erbringung von Dienstleistungen der Informationstechnologie
- GEMARA SA Genève Mit Finanz- und Versicherungsdienstleistungen verbundene Tätigkeiten
- Dark Fusion SA Genève
Mit einem kostenlosen Konto sehen Sie alle Unternehmen, die Informal Systems AG ähneln, und was sie gemeinsam haben. Kostenloses Konto erstellen
Handelsregister-Publikationen
-
Informal Systems AG, à Lausanne, CHE-259.698.438 (FOSC du 19.09.2025, p. 0/1006437998). Niederer Michael Peter est nommé membre du conseil d'administration.
-
Informal Systems AG, à Lausanne, CHE-259.698.438 (FOSC du 20.12.2024, p. 0/1006212413). Rüetschi Romain Roland n'est plus administrateur; sa signature est radiée. La signature de Zamfir Anca est radiée. Flemming Arianne Virginia est maintenant à Venice (USA). Signature individuelle est conférée à Niederer Michael Peter, de Wolfhalden, à Wigoltingen.
-
Informal Systems AG, à Lausanne, CHE-259.698.438 (FOSC du 14.09.2023, p. 0/1005838381). Rüetschi Romain Roland, de Aarau, à Lausanne, est membre du conseil d'administration avec signature individuelle.
-
Informal Systems AG, à Ecublens (VD), CHE-259.698.438 (FOSC du 20.01.2020, p. 0/1004809291). Statuts modifiés le 02.08.2021. Siège transféré à Lausanne. Nouvelle adresse: Avenue de l'Eglise-Anglaise 2, 1006 Lausanne.
-
Informal Systems AG (Informal Systems SA) (Informal Systems Inc.), à Ecublens (VD), Bâtiment EPFL Innovation ParkC, 1015 Lausanne, CHE-259.698.438. Nouvelle société anonyme. Statuts: 24 décembre 2019. But: le but de la société est de promouvoir et de développer de nouvelles technologies et applications, en particulier dans le domaine des nouvelles architectures logicielles ouvertes et décentralisées (pour but complet cf. statuts). Capital-actions: CHF 100'000, entièrement libéré, divisé en 100'000 actions nominatives de CHF 1, avec restrictions quant à la transmissibilité selon statuts. Organe de publication: Feuille officielle suisse du commerce. Communications aux actionnaires: par écrit. Administration: Buchman Ethan Harrison, à Guelph (Canada), président, et Flemming Arianne Virginia, à Toronto (Canada), tous deux du Canada, avec signature individuelle. Signature individuelle est conférée à Zamfir Anca, de Roumanie, à Cheyres-Châbles. Selon déclaration du 24 décembre 2019, la société n'est pas soumise à une révision ordinaire et renonce à une révision restreinte.
1 Diese Angabe wurde durch maschinelles Lernen geschätzt und kann Fehler enthalten.