Informal Systems AG
Informal Systems AG, public limited company in Lausanne (VD), software and IT. Registration active in the commercial register since 2019. Latest publication: Nov. 11, 2025. UID CHE-259.698.438.
Informal Systems works to foster trust in software and money. It does this through Quint, a specification language for designing reliable distributed systems, and Cycles, a clearing protocol for real-world payments.1
Commercial register
- Legal form
- Public limited company
- Registered office
- Avenue de l'Eglise-Anglaise 2, 1006 Lausanne
- Share capital
- CHF 100,000
- UID
- CHE-259.698.438
- Registered since
- 2019
- Registered purpose (original language)
- 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 other companies at this address
- Cycles Protocol SA Public limited company Computer programming, consultancy and related activities
- FWG Architects Sàrl Limited liability company Sàrl/GmbH Architectural and engineering activities; technical testing and analysis
- Helvetiq SA Public limited company Publishing activities
Similar companies
- Cycles Protocol SA Lausanne Computer programming, consultancy and related activities
- Quadrisoft SA Genève Computer programming, consultancy and related activities
- QR Pay Sàrl Les Ponts-de-Martel
- Quranium SA Rolle Computer programming, consultancy and related activities
- GEMARA SA Genève Activities auxiliary to financial services and insurance activities
- Dark Fusion SA Genève
A free account opens every company that looks like Informal Systems AG, and what they have in common. Create a free account
Register publications
-
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 This information was estimated by machine learning and may contain errors.